BIBLIOGRAPHY of Ugo Montanari

2003 - October 2007

Papers published in international scientific journals
=====================================================

1	Bruni, R. and Montanari, U., Concurrent Models for Linda with 
Transactions, MSCS 14(3), pp.421-468, 2004. 

2.	Montanari, U. and Pistore, M., Structured Coalgebras and Minimal 
HD-Automata for the Pi-Calculus, TCS 340 (3), pp. 539-576, 2005.

3.	Ferrari, G., Gnesi, S., Montanari, U. and Pistore, M., A Model Checking 
Verification Environment for Mobile Processes, ACM Transactions on 
Software Engineering and Methodology, (TOSEM) Vol.12 (4), pp. 440 - 473, 
2003.

4.	Bistarelli, S., Montanari, U. and Rossi, F., Soft Concurrent Constraint 
Programming, ACM Transactions on Computational Logic, Vol. 7, No. 3, July 
2006, Pages 1Ð27.

5.	Ferrari, G., Montanari, U. and Tuosto, E., Coalgebraic Minimization of 
HD-Automata for the ¹-Calculus Using Polymorphic Types, TCS Vol.331 (2-3) 
pp. 325-365, 2005.

6.	Bruni, R., Montanari, U. and Sassone, V., Observational Congruences For 
Dynamically Reconfigurable Tile Systems, TCS Vol.335/2 pp 331-372, 2005.

7.	Lluch Lafuente, A. and Montanari, U., Quantitative mu-Calculus and CTL 
Defined over Constraint Semirings, TCS, Vol. 346 pp.135-160, 2005.

8.	Gadducci, F., Miculan, M. and Montanari, U., About Permutation 
Algebras, (Pre)Sheaves and Named Sets, Higher-Order Symb Comput (2006) 
19:283Ð304.

9.	Bruni, R., Lanese, I. and Montanari, U., A Basic Algebra of Stateless 
Connectors, TCS, Vol. 366,1-2 (2006), pp 98-120.

10.	Lanese, I. and Montanari, U., Mapping Fusion and Synchronized 
Hyperedge Replacement into Logic Programming, Theory and Practice of Logic 
Programming. Volume 7, Issue 1 & 2. January 2007, 44pp.

11.	Baldan, P., Corradini, A, Montanari, U. and Ribeiro. L., Unfolding 
Semantics of Graph Transformation, Information and Computation 205 (2007) 
733Ð782.

12.	Buscemi, M.G. and Montanari, U., A Compositional Coalgebraic Model of 
Fusion Calculus, JLAP, 72 (2007) pp. 78Ð97.


Papers published in the proceedings of international scientific 
===============================================================
conferences or in edited collections of contributions
=====================================================

13.	Baldan, P., Bruni, R. and Montanari, U., Pre-nets, Read Arcs and 
Unfolding: a Functorial Presentation, in: Martin  Wirsing, Dirk Pattinson 
and Rolf Hennicker, Eds., Recent Trends in Algebraic Develeopment 
Techniques---16th International Workshop, WADT 2002, Springer LNCS 2755, 
November 2003.

14.	Baldan, P., Corradini, A.,  Montanari, U. and Ribeiro, L., 
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars, in: 
Martin  Wirsing, Dirk Pattinson and Rolf Hennicker, Eds., Recent Trends in 
Algebraic Develeopment Techniques---16th International Workshop, WADT 
2002, Springer LNCS 2755, November 2003.

15.	Baldan, P., Corradini, U., Montanari, U. and Ribeiro, L., From the 
Functorial Semantics of Petri Nets to that of Algebraic Graph Grammars, 
Proc. UNIGRA 2003.

16.	De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R. and Tuosto, 
E., A Formal Basis for Reasoning on Programmable QoS, in: Nachum 
Dershowitz, Ed., Verification--Theory and Practice: Proceedings of an 
International Symposium in Honor of Zohar Manna's 64th Birthday, Springer 
LNCS 2722, pp. 436-479.

17.	Bruni, R., Meseguer, J., Montanari, U. and Sassone, V., Algebraic 
Theories for Contextual Pre-Nets, in: Carlo Blundo and Cosimo Laneve, 
Eds., Proc. ICTCS 2003, Springer LNCS 2841, 256--270.

18.	Ferrari, G., Montanari. U, Raggi, R. and Tuosto, E., From Co-algebraic 
Specifications to Implementation: The MIHDA Toolkit, in: Frank S. de Boer, 
Marcello M. Bonsangue, Susanne Graf and Willem-Paul de Roever, Eds., Proc. 
FMCO 2002, Springer LNCS 2852, pp. 319-338, 2003.

19.	Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De 
Nicola, R., Fiadeiro, J., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., 
Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., 
Massink, M., Mazzanti, F., Montanari, U., Oliveira, C., Pugliese, R., 
Tarlecki, A., Wermelinger, M., Wirsing, M. and  Zawlocki, A., AGILE: 
Software Architecture for Mobility, in: Martin  Wirsing, Dirk Pattinson 
and Rolf Hennicker, Eds., Recent Trends in Algebraic Develeopment 
Techniques---16th International Workshop, WADT 2002, Springer LNCS 2755, 
November 2003.

20.	Bruni, R., Melgratti, H. and Montanari, U., Flat Committed Join in 
Join, in: Furio Honsell, Marina Lenisa and Marino Miculan, Eds., Proc. 
Workshop Cometa on Computational Metamodels, ENTCS 104, pp.39--59 (2004).

21.	Lanese, I. and Montanari, U., A Graphical Fusion Calculus,  in: Furio 
Honsell, Marina Lenisa and Marino Miculan, Eds., Proc. Workshop Cometa on 
Computational Metamodels, ENTCS 104, pp.199-215 (2004).

22.	Gadducci, F., MIculan, M. and Montanari, U., Some Characterization 
Results for Permutation Algebras, in: Furio Honsell, Marina Lenisa and 
Marino Miculan, Eds., Proc. Workshop Cometa on Computational Metamodels, 
ENTCS 104, pp.129-147 (2004).

23.	Hirsch, D. and Montanari, U., Shaped Hierarchical Architectural 
Design, in Reiko Heckel, Ed.: Proc. GT-VMT 2004, ENTCS 109, pp 97--109.

24.	Bruni, R., Melgratti, H. and Montanari, U., Nested Commits for Mobile 
Calculi: Extending Join, in: Levy, J.-J., Mayr, E.W. and Mitchell, J.C., 
Eds., Proceedings of IFIP TCS 2004, 3rd IFIP International Conference on 
Theoretical Computer Science, Kluwer Academics, pp. 563--576, 2004.

25.	Bruni, R., Fiadeiro, J., Lanese, I., Lopez, A. and Montanari., U., New 
Insights on Architectural Connectors, in: Levy, J.-J., Mayr, E.W. and 
Mitchell, J.C., Eds., Proceedings of IFIP TCS 2004, 3rd IFIP International 
Conference on Theoretical Computer Science, Kluwer Academics, pp. 
367--379, 2004.

26.	Boreale, M., Buscemi, M.G. and Montanari, U., D-Fusion: a Distinctive 
Fusion Calculus, in: W.-N. Chin, Ed., APLAS 2004, Springer LNCS 3302, 
pp.296-310, 2004.

27.	Baragatti, A., Bruni, R., Melgratti, H., Montanari, U. and Spagnolo, 
G., Prototype Platforms for Distributed Agreements, in: Antonio Brogi, 
Jean-Marie Jacquet and Ernesto Pimentel, Eds., ENTCS 180. pp.41--54, 2007.

28.	Lluch-Lafuente, A. and Montanari, U., Quantitative µ-calculus and CTL 
based on constraint semirings, in: Antonio Cerone and Alessandra Di 
Pierro, Eds., Procs. QAPL 2004, ENTCS 112, pp.37-59 (2005).

29.	Ivan Lanese, I. and Montanari, U., Synchronization Algebras with 
Mobility for Graph Transformations, in: Julian Rathke, Ed., Proc FGUC 
2004,ENTCS 138, pp.43--60, 2004.

30.	Bruni, R., Melgratti, H. and Montanari, U., Extending the Zero-Safe 
Approach to Coloured, Reconfigurable and Dynamic Nets,  in: Jšrg Desel, 
Wolfgang Reisig and Grzegorz Rozenberg, Eds.,  Lectures on Concurrency and 
Petri Nets, Springer LNCS 3098, pp. 291-328.

31.	Bruni, R., Melgratti, H and Montanari, U., Theoretical Foundations for 
Compensations  in Flow Composition Languages, in: Martin Abadi, Ed., Proc. 
POPL 2005, ACM Press, pp. 209-220.

32.	Montanari, U., Web Services and Models of Computation, invited talk, 
in: Mario Bravetti and Gianluigi Zavattaro, Eds., Proc. WSMF, ENTCS 105 
pp. 5--9, 2004.

33.	Gadducci., F. and Montanari, U., Graph Processes with Fusions: 
Concurrency by Colimits, Again, in: Hans-Jšrg Kreowski, Ugo Montanari, 
Fernando Orejas, Grzegorz Rozenberg and Gabriele Taentzer, Eds., Formal 
Methods in Software and System Modeling, Spriger LNCS 3393, pp. 84Ð100, 
2005.

34.	Ferrari, G., Montanari, U. and Tuosto, E., Model Checking for Nominal 
Calculi, invited talk, in: Vladimiro Sassone, Ed., FOSSACS 2005, Springer 
LNCS 3441, 2005, pp. 1-24.

35.	Montanari, U. and Pistore, M., History-Dependent Automata: An 
Introduction, in:  M. Bernardo and A. Bogliolo, Eds., SFM-Moby 2005, LNCS 
3465, pp. 1Ð28, 2005.

36.	De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R. and Tuosto, 
E., A Process Calculus for QoS-Aware Applications, in:  Jean-Marie Jacquet 
and Gian Pietro Picco, Eds., COORDINATION 2005, LNCS 3454, pp. 33Ð48, 2005.

37.	Lanese, I. and Montanari, U., Hoare vs Milner: Comparing 
Synchronizations in a Graphical Framework With Mobility, in: Arend 
Rensink, Reiko Heckel and Barbara Koenig, Eds., Proc. GT-VC 2005, ENTCS 
154, pp.55-72, 2006.

38.	Bruni, R., Butler, M, Ferreira, C., Hoare, T., Melgratti, H. and 
Montanari, U., Comparing Two Approaches to Compensable Flow Composition, 
in: Martin Abadi and Luca De Alfaro, Eds., CONCUR 2005, Springer LNCS 
3653, 383Ð397, 2005.

39.	Bruni, R., Gadducci, F., Montanari, U. and Sobocinski, P., Deriving 
Weak Bisimulation Congruences from Reduction Systems, in: Martin Abadi and 
Luca De Alfaro, Eds., CONCUR 2005, Springer LNCS 3653, pp.293-307, 2005.

40.	Bruni, R., Lanese, I. and Montanari, U., Complete Axioms for Stateless 
Connectors, in: JosŽ Luiz Fiadeiro, Neil Harman, Markus Roggenbach and Jan 
Rutten, Eds., CALCO 2005, Springer LNCS 3629, pp.98Ð113, 2005.

41.	Ferrari, G., Montanari, U., Tuosto, E., VIctor, B. and Yemane, K., 
Modelling Fusion Calculus Using HD-automata, in: JosŽ Luiz Fiadeiro, Neil 
Harman, Markus Roggenbach and Jan Rutten, Eds., CALCO 2005, Springer LNCS 
3629, pp.142Ð156, 2005.

42.	Baldan, P., Corradini, A. and Montanari, U., Relating SPO and DPO 
Graph Rewriting with Petri nets Having Read, Inhibitor and Reset Arcs, in: 
Hartmut Ehrig, Julia Padberg and Grzegorz Rozenberg, Eds., Proc. PNGT 
2004, ENTCS 127, pp.5-28,2005.

43.	Gadducci, F. and Montanari, U., Observing Reductions in Nominal 
Calculi via a Graphical Encoding of Processes, in: Middeldorp, A., van 
Oostrom, V., van Raamsdonk, F. and de Vrijer, R.C., Eds., Processes, Terms 
and Cycles (Klop Festschrift), Springer LNCS 3838,  pp 106-126, 2005.

44.	Boreale, M. Buscemi, M.G. and Montanari, U., A General Name Binding 
Mechanism, in: Rocco De Nicola and Davide Sangiorgi, Eds., TGC 2005, 
Springer LNCS 3705, pp. 61-74, 2005.

45.	Bonchi, F., Koenig, B. and Montanari, U., Saturated Semantics for 
Reactive Systems, Proc. LICS 2006, pp.69-78.

46.	Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U.,and Tuosto, 
E.,Synchronized Hyperedge Replacement as a Model for Service Oriented 
Computing, in: Frank S. de Boer Marcello M. Bonsangue, Susanne Graf and 
Willem-Paul de Roever, Eds., FMCO 2005, Springer LNCS 4111, pp. 22-43.

47.	Bruni, R., Melgratti, H. and Montanari, U., Event Structure Semantics 
for Nominal Calculi, in: Chrisatel Baier and Holger Hermanns, Eds., CONCUR 
2006, Springer LNCS 4137,4137 pp.295-309.

48.	Baldan, P., Gadducci, F. and Montanari, U., Modelling Calculi with 
Name Mobility using Graphs with Equivalences, in: Ian Mackie, Ed., Proc. 
TERMGRAPH 2006, ENTCS 176, pp.85-97, 2007.

49.	Baldan, P., Gadducci, F. and Montanari, U., Concurrent Rewriting for 
Graphs with Equivalences, in: Christel Baier and Holger Hermanns, Eds., 
CONCUR 2006, pp.274-294.

50.	Bruni, R., Melgratti, H. and Montanari, U., Event Structure Semantics 
for Dynamic Graph Grammars, Proceedings of the Workshop on Petri Nets and 
Graph Transformation (PNGT 2006), Electronic Communications of the EASST 
Volume 2 (2006), 19 pages.

51.	Buscemi, M.G. and Montanari, U., A Compositional Coalgebraic Model of 
a Fragment of Fusion Calculus, in: Luca Aceto and Andy Gordon, APC 25, 
ENTCS 162, pp.135-139, 2006.


52.	Buscemi, M.G. and Montanari, U., CC-Pi: A Constraint-Based Language 
for Specifying Service Level Agreements, in: Rocco De Nicola, Ed., 
Programming Languages and Systems (ESOP 2007), Springer LNCS  pp. 18-32. 

53.	Buscemi, M., Ferrari, L., Moiso, C. and  Montanari, U., 
Constraint-Based Policy Negotiation and Enforcement for Telco Services, 
in: He Jifeng and Jeff Sanders, Eds., Proc. of the 1st IEEE & IFIP 
Theoretical Aspects of Software Engineering Conference (TASE 2007), 
Shanghai, IEEE Computer Society, pp. 463-472, 2007.

54.	Bonchi, F and Montanari, U., Coalgebraic Models for Reactive Systems, 
in Luis Caires and Vasco T. Vasconcelos, Eds., CONCUR 2007, Springer LNCS 
4703, pp.364-379, 2007.

55.	Bruni, R., Lluch Lafuente, A., Montanari, U. and Tuosto, E., Service 
Oriented Architectural Design, in Proc. TGC 2007, Springer LNCS, to appear.

56.	 Bistarelli, S., Montanari, U., Rossi, F. and Santini, F., Modelling 
Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft 
Constraint Logic Programming, in: Alessandro Aldini and Franck van 
Breugel, Eds., Proc. QAPL 2007, ENTCS 190, pp.111-127, 2007.


Books and special issues
========================

57.	Andrea Corradini, Marina Lenisa and Ugo Montanari, Eds., Special issue 
dedicated to CMCS 2001, MSCS, Vol.13, 2, April 2003.

58.	Ricardo Baeza-Yates, Ugo Montanari, and Nicola Santoro, Eds., 
Foundations of Information Technology in the Era of Network and Mobile 
Computing, TCS 2002, Kluwer, 2002.

59.	Gadducci, F. and Montanari, U., Proc. WRLA 2002, Rewriting Logic and 
Its Applications, 19-21 September 2002, Pisa, ENTCS 71, pp.1-300, 2004.

60.	Hans-Jšrg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg 
and Gabriele Taentzer, Eds., Formal Methods in Software and System 
Modeling, Springer LNCS 3393.

61.	Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L. and Rozenberg, 
G., ICGT 2006, Springer LNCS 4178.

62.	Mossakowski, Till, Montanari, U. and Haveraaen, Magne, CALCO 2007, 
Springer LNCS 4624, 2007.