Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm von Dezani, H., Gomes, L., Damiani, F., Marranghello, N.

Volltext

Finding best urban routes based on analyses of high level and IOPT Petri net models von Dezani, H., Gomes, L., Damiani, F., Marranghello, N.

Volltext

Lamivudine permeability study: A comparison between PAMPA, ex vivo and in situ Single-Pass Intestinal Perfusion (SPIP) in rat jejunum von Reis, J.M., Dezani, A.B., Pereira, T.M., Avdeef, A., Serra, C.H.R.

Volltext

Encoding ℂDuce in the ℂπ-Calculus von Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Varacca, Daniele

Volltext

Shortest paths without a map: Extended abstract von Papadimitriou, Christos H., Yannakakis, Mihalis

Volltext

A filter lambda model and the completeness of type assignment von Barendregt, Henk, Coppo, Mario, Dezani-Ciancaglini, Mariangiola

Volltext

Tuning algebraic specifications by type merging von Laut, A., Partsch, H.

Volltext

Efficient text searching of regular expressions: Preliminary version von Baeza-Yates, Ricardo A., Gonnet, Gaston H.

Volltext

A singly-exponential stratification scheme for real semi-algebraic varieties and its applications von Chazelle, Bernard, Edelsbrunner, Herbert, Guibas, Leonidas J., Sharir, Micha

Volltext

On recent trends in algebraic specification von Ehrig, H., Pepper, P., Orejas, F.

Volltext

Automata with storage on infinite words von Engelfriet, Joost, Hoogeboom, Hendrik Jan

Volltext