2008 |
34 | | Enrico Oliva,
Antonio Natali,
Alessandro Ricci,
Mirko Viroli:
An Adaptation Logic Framework for Java-based Component Systems.
J. UCS 14(13): 2158-2181 (2008) |
2006 |
33 | EE | Alessandro Ricci,
Claudio Buda,
Nicola Zaghini,
Antonio Natali,
Mirko Viroli,
Andrea Omicini:
simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications.
WOA 2006 |
32 | EE | Antonio Natali,
Enrico Oliva,
Alessandro Ricci,
Mirko Viroli:
A Framework for Engineering Interactions in Java-based Component Systems.
Electr. Notes Theor. Comput. Sci. 154(1): 43-61 (2006) |
2002 |
31 | EE | Gianluca Moro,
Antonio Natali:
On the event coordination in multi-component systems.
SEKE 2002: 315-322 |
2000 |
30 | EE | Mirko Viroli,
Antonio Natali:
Parametric polymorphism in Java: an approach to translation based on reflective features.
OOPSLA 2000: 146-165 |
29 | | Gianluca Moro,
Antonio Natali,
Mirko Viroli:
On the Consistent Observation of Active Systems.
WOA 2000: 47-51 |
28 | EE | Gianluca Moro,
Antonio Natali,
Claudio Sartori:
Compostional Algebra for Interactive Data Access.
Inf. Syst. 25(5): 367-391 (2000) |
1998 |
27 | EE | Gianluca Moro,
Antonio Natali,
Claudio Sartori:
Data Access Services and Automatic Generation of Cooperative Interfaces.
CoopIS 1998: 177-187 |
26 | EE | Enrico Denti,
Antonio Natali,
Andrea Omicini:
On the expressive power of a language for programming coordination media.
SAC 1998: 169-177 |
1997 |
25 | | Enrico Denti,
Antonio Natali,
Andrea Omicini:
Programmable Coordination Media.
COORDINATION 1997: 274-288 |
1996 |
24 | | Enrico Denti,
Antonio Natali,
Andrea Omicini,
Marco Venuti:
An Extensible Frame work for the Development of Coordinated Applications.
COORDINATION 1996: 305-320 |
23 | | Enrico Denti,
Antonio Natali,
Andrea Omicini,
Marco Venuti:
Logic Tuple Spaces for the Coordination of Heterogeneous Agents.
Frontiers of Combining Systems (FroCos) 1996: 235-248 |
1995 |
22 | | Andrea Omicini,
Enrico Denti,
Antonio Natali:
Agent Coordination and Control through Logic Theories.
AI*IA 1995: 439-450 |
21 | | Enrico Denti,
Antonio Natali,
Andrea Omicini,
Francesco Zanichelli:
Robot Control Systems as Contextual Logic Programs.
Logic Programming: Formal Methods and Practical Applications 1995: 343-379 |
1994 |
20 | EE | Andrea Omicini,
Antonio Natali:
Object-Oriented Computations in Logic Programming.
ECOOP 1994: 194-212 |
19 | | Francesco Zanichelli,
Stefano Caselli,
Antonio Natali,
Andrea Omicini:
A Multi-Agent Framework and Programming Environment for Autonomous Robotics.
ICRA 1994: 3501-3507 |
1993 |
18 | | Antonio Natali,
Andrea Omicini,
Francesco Zanichelli:
Exploiting Logic Programming in Robot Applications.
GULP 1993: 535-548 |
17 | | Enrico Denti,
Antonio Natali,
Andrea Omicini:
Moving Prolog Toward Objects.
ICLP-Workshops on Implementation of Logic Programming Systems 1993: 89-101 |
16 | | Stefano Caselli,
Antonio Natali,
Francesco Zanichelli:
Development of a Programming Environment for Intelligent Robotics.
ISMIS 1993: 496-507 |
15 | | Antonio Natali,
Andrea Omicini:
Objects with State in Contextual Logic Programming.
PLILP 1993: 220-234 |
1992 |
14 | | Enrico Denti,
Evelina Lamma,
Paola Mello,
Antonio Natali,
Andrea Omicini:
Techniques for Implementing Contexts in Logic Programming.
ELP 1992: 339-358 |
13 | | Evelina Lamma,
Paola Mello,
Antonio Natali:
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs.
J. Log. Program. 14(3&4): 187-222 (1992) |
12 | | Paola Mello,
Antonio Natali:
Extending Prolog with Moduarity, Concurrency and Meta-Rules.
New Generation Comput. 10(4): 335-360 (1992) |
1991 |
11 | | Evelina Lamma,
Paola Mello,
Antonio Natali:
Reflection Mechanisms for Combining Prolog Databases.
Softw., Pract. Exper. 21(6): 603-624 (1991) |
1989 |
10 | | Evelina Lamma,
Paola Mello,
Antonio Natali:
The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming.
ICLP 1989: 303-317 |
9 | | Paola Mello,
Antonio Natali,
Cristina Ruggieri:
Logic Programming in a Software Engineering Perspective.
NACLP 1989: 441-458 |
1988 |
8 | | Marco Cavalieri,
Evelina Lamma,
Paola Mello,
Antonio Natali:
Meta-Programming in Prolog Through Direct Introspection: Comparison with Meta-Interpretation Techniques.
META 1988: 399-415 |
1987 |
7 | EE | Paola Mello,
Antonio Natali:
Objects as Communicating Prolog Units.
ECOOP 1987: 181-191 |
1986 |
6 | | Paola Mello,
Antonio Natali:
Programs as Collections of Communicating Prolog Units.
ESOP 1986: 274-288 |
1984 |
5 | | Maurelio Boari,
Stefano Crespi-Reghizzi,
Alberto Dasprá,
Francesco Maderna,
Antonio Natali:
Multiple-Microprocessor Programming Techniques: MML, a New Set of Tools.
IEEE Computer 17(1): 47-59 (1984) |
1982 |
4 | | Maurelio Boari,
Stefano Crespi-Reghizzi,
Alberto Dasprá,
Antonio Natali:
MML: A programming line for multiple-microprocessors systems.
ICDCS 1982: 680-688 |
1981 |
3 | | Paolo Ancilotti,
Norma Lijtmaer,
Maurelio Boari,
Antonio Natali:
Linguistic Mechanisms for Resource Management Strategies.
Softw., Pract. Exper. 11(3): 291-314 (1981) |
1978 |
2 | | Maurelio Boari,
Antonio Natali:
Multiple Access to a Tree in the Context of Readers and Writers Problem.
Inf. Process. Lett. 7(2): 112-121 (1978) |
1976 |
1 | | Maurelio Boari,
Antonio Natali:
Some Properties of Deadlock Detection and Recovery in Readers and Writers Problems.
Inf. Process. Lett. 5(4): 118-123 (1976) |