Models of computation von Bruni, Roberto, Montanari, Ugo 1943-

Volltext öffnen Volltext öffnen

Axiomatizing the algebra of net computations and processes von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

Axiomatizing the algebra of net computations and processes von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

An abstract machine for fast parallel matching for linear patterns von Montanari, Ugo 1943-, Goguen, Joseph 1941-2006

L' analisi di scene von Montanari, Ugo 1943-

Bartolomeo Campagnoli violinista compositore ; (1751-1827) von Montanari, Ugo 1943-, Campagnoli, Bartolomeo 1751-1827

Cento città nella storia, già nel futuro von Cecchelli, Marco, Montanari, Ugo 1943-

Volltext öffnen

Back and forth bisimulations von De Nicola, Rocco, Montanari, Ugo 1943-, Vaandrager, Frits W.

Volltext öffnen

Petri nets are monoids von Meseguer, José, Montanari, Ugo 1943-

Additive and / or graphs von Martelli, Alberto, Montanari, Ugo 1943-

Optimal matching of wheat chromosomes von Aiello, Mario, Lami, C., Montanari, Ugo 1943-

Dynamic programming schemata von Martelli, Alberto, Montanari, Ugo 1943-

Bartolomeo Campagnoli violinista, comp. ; (1751 - 1827) von Montanari, Ugo 1943-

Proving structured programs correct, level by level von Infante, R., Montanari, Ugo 1943-

Optimization methods in image processing von Montanari, Ugo 1943-

Towards a formal definition of the control in structured programs von Aiello Carlucci, L., Montanari, Ugo 1943-

Trustworthy global computing [extended versions of the best papers presented at the 2nd International Symposium on Trustworthy Global Computing (TGC 2006), held in Lucca during 7 -...

Weitere Verfasser: “… Montanari, Ugo 1943- …”