| |
| 2008 | ||
|---|---|---|
| 5 | EE | Maurizio Cimadamore, Mirko Viroli: Integrating Java and Prolog through generic methods and type inference. SAC 2008: 198-205 |
| 4 | EE | 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 | EE | Maurizio Cimadamore, Mirko Viroli: On the reification of Java wildcards. Sci. Comput. Program. 73(2-3): 59-75 (2008) |
| 2007 | ||
| 2 | EE | Maurizio Cimadamore, Mirko Viroli: A Prolog-oriented extension of Java programming based on generics and annotations. PPPJ 2007: 197-202 |
| 1 | EE | Maurizio Cimadamore, Mirko Viroli: Reifying wildcards in Java using the EGO approach. SAC 2007: 1315-1322 |
| 1 | Alessandro Ricci | [4] |
| 2 | Mirko Viroli | [1] [2] [3] [4] [5] |