sign in · help · news · about ·

BibSonomy :: author :: Traverso ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(142)

<< < 1 | 2 | 3 > >>

Weak, strong, and strong cyclic planning via symbolic model checking.
Alessandro Cimatti, Marco Pistore, Marco Roveri, and Paolo Traverso Artif. Intell. 147(1-2):35-84 (2003)
to checking model planning symbolic by alessandropinto and 1 other user on Jan 17, 2012, 5:30 PM
URL | BibTeX
Planning with Failure.
Fausto Giunchiglia, Luca Spalazzi, and Paolo Traverso AIPS, page 74-79. AAAI, (1994)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Strong Planning in Non-Deterministic Domains Via Model Checking.
Alessandro Cimatti, Marco Roveri, and Paolo Traverso AIPS, page 36-43. AAAI, (1998)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains.
Alessandro Cimatti, Marco Roveri, and Paolo Traverso AAAI/IAAI, page 875-881. AAAI Press / The MIT Press, (1998)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Planning with a Language for Extended Goals.
Ugo Dal Lago, Marco Pistore, and Paolo Traverso AAAI/IAAI, page 447-454. AAAI Press / The MIT Press, (2002)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Service-Oriented Computing: State of the Art and Research Challenges
Michael P. Papazoglou, Paolo Traverso, Schahram Dustdar, and Frank Leymann Computer 40(11):38-45 (2007)
by pbrada and 4 other users on Dec 16, 2011, 9:35 AM
DOI | BibTeX
Operational evaluation of damages in flooded areas combining Cosmo-Skymed and multispectral optical images.
Elena Angiati, Giorgio Boni, Laura Candela, Fabio Castelli, Silvana G. Dellepiane, Fabio Delogu, Fabio Pintus, Roberto Rudari, Sebastiano B. Serpico, Stefania Traverso, and Cosimo Versace IGARSS, page 2414-2417. IEEE, (2010)
to dblp by dblp on Oct 28, 2011, 12:00 AM
URL | BibTeX
Agents and Ontologies for Understanding and Preserving the Rock Art of Mount Bego.
Laura Papaleo, Gianluca Quercini, Viviana Mascardi, Massimo Ancona, A. Traverso, and H. De Lumley ICAART 2, page 288-295. SciTePress, (2011)
to dblp by dblp on Oct 14, 2011, 12:00 AM
URL | BibTeX
On the Verification of Timed Ad Hoc Networks.
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, and Riccardo Traverso FORMATS, volume 6919 of Lecture Notes in Computer Science, page 256-270. Springer, (2011)
to dblp by dblp on Sep 29, 2011, 12:00 AM
URL | BibTeX
Strategy-Accurate Parallel Buchberger Algorithms.
Giuseppe Attardi, and Carlo Traverso J. Symb. Comput. 21(4):411-425 (1996)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
Hilbert Functions and the Buchberger Algorithm.
Carlo Traverso J. Symb. Comput. 22(4):355-376 (1996)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
From Software Services to a Future Internet of Services.
Marco Pistore, Paolo Traverso, Massimo Paolucci, and Matthias Wagner Future Internet Assembly, page 183-192. IOS Press, (2009)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Automated planning
Malik Ghallab, Dana S. Nau, and Paolo Traverso Morgan Kaufmann, (2004)
to planning by sebastian.furth and 2 other users on Aug 24, 2011, 7:00 PM
BibTeX
Automated Composition of Semantic Web Services into Executable Processes.
Paolo Traverso, and Marco Pistore International Semantic Web Conference, volume 3298 of Lecture Notes in Computer Science, page 380-394. Springer, (2004)
to dblp by dblp and 1 other user on Aug 4, 2011, 12:00 AM
URL | BibTeX
Planning and Monitoring Web Service Composition.
Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dmitry Shaparau, and Paolo Traverso AIMSA, volume 3192 of Lecture Notes in Computer Science, page 106-115. Springer, (2004)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Approximate Rings and Gröbner Bases.
Pasqualina Conti, and Carlo Traverso Algorithmic Algebra and Logic, page 65-70. Books on Demand, (2005)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A Request Language for Web-Services Based on Planning and Constraint Satisfaction.
Marco Aiello, Mike P. Papazoglou, Jian Yang, Mark James Carman, Marco Pistore, Luciano Serafini, and Paolo Traverso TES, volume 2444 of Lecture Notes in Computer Science, page 76-85. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A dynamic logic for acting, sensing, and planning.
Luca Spalazzi, and Paolo Traverso J. Log. Comput. 10(6):787-821 (2000)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Algebraic and Semialgebraic Proofs: Methods and Paradoxes.
Pasqualina Conti, and Carlo Traverso Automated Deduction in Geometry, volume 2061 of Lecture Notes in Computer Science, page 83-103. Springer, (2000)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Understanding Scene Descriptions by Integrating Different Sources of Knowledge.
Fausto Giunchiglia, Carlo Ferrari, Paolo Traverso, and Emanuele Trucco International Journal of Man-Machine Studies 37(1):47-81 (1992)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100