 | 2009 |
|---|
| 5 |       | Mika Cohen,
Mads Dam,
Alessio Lomuscio,
Francesco Russo:
Abstraction in model checking multi-agent systems.
AAMAS (2) 2009: 945-952 |
| 2004 |
|---|
| 4 | | Daniele Caltabiano,
Giovanni Muscato,
Francesco Russo:
Localization and Self-calibration of a Robot for Volcano Exploration.
ICRA 2004: 586-591 |
| 2001 |
|---|
| 3 | | Agostino Nuzzolo,
Francesco Russo,
Umberto Crisalli:
A Doubly Dynamic Schedule-based Assignment Model for Transit Networks.
Transportation Science 35(3): 268-285 (2001) |
| 1996 |
|---|
| 2 |  | Cristina Ruggieri,
Mirko Sancassani,
Nenna Dore,
Francesco Russo,
Ugo Manfredi:
Intelligent Data Retrieval in Prolog: An Illuminating Idea.
J. Log. Program. 26(2): 169-198 (1996) |
| 1991 |
|---|
| 1 | | Francesco Russo,
Mirko Sancassani:
A Declarative Debugging Environment for DATALOG.
RCLP 1991: 433-441 |
