Maurizio Cimadamore

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

5 Maurizio Cimadamore, Mirko Viroli: Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205

4 Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore: Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. Electr. Notes Theor. Comput. Sci. 194(4): 111-132 (2008)

3 Maurizio Cimadamore, Mirko Viroli: On the reification of Java wildcards. Sci. Comput. Program. 73(2-3): 59-75 (2008)

2007

2 Maurizio Cimadamore, Mirko Viroli: A Prolog-oriented extension of Java programming based on generics and annotations. PPPJ 2007: 197-202

1 Maurizio Cimadamore, Mirko Viroli: Reifying wildcards in Java using the EGO approach. SAC 2007: 1315-1322

	2008
5		Maurizio Cimadamore, Mirko Viroli: Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205
4		Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore: Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus. Electr. Notes Theor. Comput. Sci. 194(4): 111-132 (2008)
3		Maurizio Cimadamore, Mirko Viroli: On the reification of Java wildcards. Sci. Comput. Program. 73(2-3): 59-75 (2008)
	2007
2		Maurizio Cimadamore, Mirko Viroli: A Prolog-oriented extension of Java programming based on generics and annotations. PPPJ 2007: 197-202
1		Maurizio Cimadamore, Mirko Viroli: Reifying wildcards in Java using the EGO approach. SAC 2007: 1315-1322

Coauthor Index

1 Alessandro Ricci [4]

2 Mirko Viroli [1] [2] [3] [4] [5]