Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Russo" ( http://dblp.L3S.de/Authors/Francesco_Russo )

  Author page on DBLP  Author page in RDF  Community of Francesco Russo in ASPL-2

Publication years (Num. hits)
1991-2010 (6)
Publication types (Num. hits)
article(2) inproceedings(4)
Venues (Conferences, Journals, ...)
AAMAS(1) ICRA(1) J. Log. Program.(1) MoChArt(1) RCLP(1) Transportation Science(1)
Authors
Francesco Russo(6) Alessio Lomuscio(2) Mirko Sancassani(2) Agostino Nuzzolo(1) Cristina Ruggieri(1) Daniele Caltabiano(1) Giovanni Muscato(1) Hongyang Qu(1) Mads Dam(1) Mika Cohen(1) Nenna Dore(1) Ugo Manfredi(1) Umberto Crisalli(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alessio Lomuscio, Hongyang Qu, Francesco Russo Automatic Data-Abstraction in Model Checking Multi-Agent Systems. Search on Bibsonomy MoChArt The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo Abstraction in model checking multi-agent systems. Search on Bibsonomy AAMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, abstraction, epistemic logic
1Daniele Caltabiano, Giovanni Muscato, Francesco Russo Localization and Self-calibration of a Robot for Volcano Exploration. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Agostino Nuzzolo, Francesco Russo, Umberto Crisalli A Doubly Dynamic Schedule-based Assignment Model for Transit Networks. Search on Bibsonomy Transportation Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Cristina Ruggieri, Mirko Sancassani, Nenna Dore, Francesco Russo, Ugo Manfredi Intelligent Data Retrieval in Prolog: An Illuminating Idea. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Francesco Russo, Mirko Sancassani A Declarative Debugging Environment for DATALOG. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.