Вы здесь

Montanari U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Concurrent Rewriting for Graphs with Equivalences 2006 Baldan P., Gadducci F., Montanari U. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Event Structure Semantics for Nominal Calculi 2006 Bruni R., Melgratti H., Montanari U. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ From Co-algebraic Specifications to Implementation: The Mihda Toolkit 2003 Ferrari G., Montanari U., Raggi R., Tuosto E. Lecture Notes in Computer Science 31.01.2004
СТ AGILE: Software Architecture for Mobility 2003 Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. Lecture Notes in Computer Science 14.01.2004
СТ Pre-nets, Read Arcs and Unfolding: A Functorial Presentation 2003 Baldan P., Bruni R., Montanari U. Lecture Notes in Computer Science 14.01.2004
СТ Coreflective Concurrent Semantics for Single-Pushout Graph Grammars 2003 Baldan P., Corradini A., Montanari U., Ribeiro L. Lecture Notes in Computer Science 14.01.2004
СТ Graph-Based Models of Internetworking Systems 2003 Ferrari G., Montanari U., Tuosto E. Lecture Notes in Computer Science 25.12.2003
СТ A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence 2002 Buscemi., Montanari U. Lecture Notes in Computer Science 04.09.2002
СТ Soft Concurrent Constraint Programming 2002 Bistarelli S., Montanari U., Rossi F. Lecture Notes in Computer Science 08.05.2002
СТ Bisimulation Equivalences for Graph Grammars 2002 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 14.03.2002
СТ A LTS Semantics of Ambients via Graph Synchronization with Mobility 2001 Ferrari G., Montanari U., Tuosto E. Lecture Notes in Computer Science Lecture Notes in Computer Science 02.11.2001
СТ Reconfiguration of Software Architecture Styles with Name Mobility 2000 Hirsch D., Inverardi P., Montanari U. Lecture Notes in Computer Science 05.10.2000
СТ Finite State Verification for the Asynchronous pi-Calculus 1999 Montanari U., Pistore M. Lecture Notes in Computer Science 08.04.1999
СТ Executable Tile Specifications for Process Calculi 1999 Bruni R., Meseguer J., Montanari U. Lecture Notes in Computer Science 06.04.1999
СТ Unfolding and Event Structure Semantics for Graph Grammars 1999 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 02.04.1999
СТ A Comparison of Petri Net Semantics under the Collective Token Philosophy 1998 Bruni R., Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 18.12.1998
СТ Concatenable Graph Processes: Relating Processes and Derivation Traces 1998 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 11.08.1998
СТ Axioms for Contextual Net Processes 1998 Gadducci F., Montanari U. Lecture Notes in Computer Science 11.08.1998
СТ Mapping Tile Logic into Rewriting Logic 1998 Meseguer J., Montanari U. Lecture Notes in Computer Science 07.05.1998
СТ An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures 1998 Baldan P., Corradini A., Montanari U. Lecture Notes in Computer Science 18.04.1998
СТ Representation Theorems for Petri Nets 1997 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 28.11.1997
СТ Axiomatizing the Algebra of Net Computations and Processes 1996 Degano P., Meseguer J., Montanari U. Acta Informatica 23.11.1996
СТ Graph Rewriting and Constraint Solving for Modeling Distributed Systems with Synchronization 1996 Montanari U., Rossi F. Lecture Notes in Computer Science 21.05.1996
СТ Efficient Minimization up to Location Equivalence 1996 Montanari U., Pistore M., Yankelevich D. Lecture Notes in Computer Science 18.05.1996
СТ Contextual nets 1995 Montanari U., Rossi F. Acta Informatica 20.10.1995
СТ The Weak Late Pi-calculus Semantics as Observation Equivalence 1995 Ferrari G. -L., Montanari U., Quaglia P. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ Dynamic Matrices and the Cost Analysis of Concurrent Programs 1995 Ferrari G., Montanari U. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Towards an Algebraic Theory of Concurrency 1990 Ferrari G. L., Montanari U. Univ. di Pisa Concurrency and Compositionality 30.06.1995
П CEDISYS Compositional Distributed Systems. State of the Art, Research Goals, References 1989 Montanari U. Univ. di Pisa 21.06.1995
П Petri Nets Are Monoids 1989 Meseguer J., Montanari U. SRI Intern. 20.06.1995
СТ CCS is an (Augmented) Contact Free C/E System 1986 Degano P., De Nicola R., Montanari U. Univ. di Pisa 02.06.1995
СТ Relating Two Categorical Models of Term Rewriting 1995 Corradini A., Gadducci F., Montanari U. Lecture Notes in Computer Science 27.04.1995
СТ Concurrency and Concurrent Constraint Programming 1995 Montanari U., Rossi F. Lecture Notes in Computer Science 19.04.1995
СТ True Concurrency in Concurrent Constraint Programming 1991 Montanari U., Rossi F. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995
СТ Towards a Concurrent Semantics Based Analysis of CC and CLP 1994 Montanari U., Rossi F., Bueno F., De La Banda M. G., Hermenegildo M. Lecture Notes in Computer Science 22.12.1994
СТ CC Programs with Both In- and Non-determinism: A Concurrent Semantics 1994 Montanari U., Rossi F., Saraswat V. Lecture Notes in Computer Science 22.12.1994
СТ An Algebraic Semantics of Logic Programs as Structured Transition Systems 1990 Corradini A., Montanari U. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics 1994 Bueno F., Hermenegildo M., Montanari U., Rossi F. Lecture Notes in Computer Science 01.11.1994
СТ A -calculus with Explicit Substitutions: the Late Semantics 1994 Ferrari G., Montanari U., Quaglia P. Lecture Notes in Computer Science 29.09.1994
СТ Perfect Relaxation in Constraint Logic Programming 1991 Montanari U., Rossi F. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ On the Model of Computation of Place/Transition Petri Nets 1994 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 21.07.1994
СТ Universal Axioms for Bisimulations 1993 Degano P., De Nicola R., Montanari U. Theoretical Computer Science 01.07.1994
СТ Contextual Occurrence Nets and Concurrent Constraint Programming 1994 Montanari U., Rossi F. Lecture Notes in Computer Science 27.04.1994
СТ Distributed Implementation of CCS 1993 Gorrieri R., Montanari U. Lecture Notes in Computer Science 26.06.1993
СТ True Concurrency: Theory and Practice 1993 Montanari U. Lecture Notes in Computer Science 29.04.1993
СТ On the Semantics of Petri Nets 1992 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 16.10.1992
СТ Mobility in the cc-Paradigm 1992 Laneve C., Montanari U. Lecture Notes in Computer Science 17.09.1992
СТ An Extended Expansion Theorem 1991 Ferrari G., Gorrieri R., Montanari U. Lecture Notes in Computer Science 18.05.1991
СТ SCONE: A Simple Calculus of Nets 1990 Corrieri R., Montanari U. Lecture Notes in Computer Science 31.01.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Recent Trends in Algebraic Development Techniques: Revised Selected Papers/19th International Workshop, WADT 2008. Pisa, Italy, June 2008 2009 Lecture Notes in Computer Science
  1. Corradini A.
  2. Montanari U.
21.11.2009
СБ Trustworthy Global Computing: Revised Selected Papers/Second Symposium, TGC 2006. Lucca, Italy, November 2006 2007 Lecture Notes in Computer Science
  1. Montanari U.
  2. Sannella D.
  3. Bruni R.
05.03.2008
СБ Algebra and Coalgebra in Computer Science: Proc./Second International Conference, CALCO 2007. Bergen, Norway, August 2007 2007 Lecture Notes in Computer Science
  1. Mossakowski T.
  2. Montanari U.
  3. Haveraaen M.
20.11.2007
СБ Graph Transformations: Proc./Third International Conference, ICGT 2006. Natal Rio Grande de Norte, Brazil, September 2006 2006 Lecture Notes in Computer Science
  1. Corradini A.
  2. Ehrig H.
  3. Montanari U.
  4. Ribeiro L.
11.01.2007
СБ Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday 2005 Lecture Notes in Computer Science
  1. Kreowski H. -J.
  2. Montanari U.
  3. Orejas F.
  4. Rozenberg G.
19.05.2005
СБ Automata, Languages and Programming: Proc./ 27th Intternational Colloquium, ICALP 2000. Geneva, Switzerland, July 2000 2000 Lecture Notes in Computer Science
  1. Montanari U.
  2. Rolim J.D. P.
  3. Welzl E.
19.08.2000
СБ CONCUR 96: Concurrency Theory: Proc./7th International Conference. Pisa,Italy,August 1996 1996 Lecture Notes in Computer Science
  1. Montanari U.
  2. Sassone V.
04.10.1996
СБ Principles and Practice of Constraint Programming - CP 95: Proc./First International Conference, CP 95. Cassis, France, September 1995 1995 Lecture Notes in Computer Science
  1. Montanari U.
  2. Rossi F.
15.11.1995