Suchergebnisse - Montanari, Ugo 1943-

Axiomatizing the algebra of net computations and processes

von Degano, Pierpaolo 1950-, Meseguer, José, Montanari, Ugo 1943-

Towards a formal definition of the control in structured programs

von Aiello Carlucci, L., Montanari, Ugo 1943-

Back and forth bisimulations

von De Nicola, Rocco, Montanari, Ugo 1943-, Vaandrager, Frits W.

Online lesen (frei zugänglich)

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-

Models of computation

von Bruni, Roberto, Montanari, Ugo 1943-

Bartolomeo Campagnoli: violinista compositore ; (1751-1827)

von Montanari, Ugo 1943-, Campagnoli, Bartolomeo 1751-1827

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-

Proving structured programs correct, level by level

von Infante, R., Montanari, Ugo 1943-

Optimization methods in image processing

von Montanari, Ugo 1943-

Cento: città nella storia, già nel futuro

von Cecchelli, Marco, Montanari, Ugo 1943-

Petri nets are monoids

von Meseguer, José, Montanari, Ugo 1943-

Bartolomeo Campagnoli: violinista, comp. ; (1751 - 1827)

von 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 - 9 November 2006]

Weitere beteiligte Personen: “… Montanari, Ugo 1943- …”