BibSonomy :: author :: Bouquet ::

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

(150)

<< < 1 | 2 | 3 > >>

Modelling of Complex Systems with AML as Realized in MIRO Project.
Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, and Nicolas Marilleau Web Intelligence/IAT Workshops, page 159-162. IEEE Computer Society, (2011)
to dblp by dblp on Jan 10, 2012, 12:00 AM
URL | BibTeX
Semantic coordination: a new approach and an application
Paolo Bouquet, Luciano Serafini, and Stefano Zanobini Proceedings of the 2nd International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, page 130--145. Berlin, Heidelberg, Springer, (October 2003)
by gergie and 3 other users on Dec 12, 2011, 7:01 PM
BibTeX
Matching Hierarchical Classifications with Attributes
Luciano Serafini, Stefano Zanobini, Simone Sceffer, and Paolo Bouquet Proceedings of the 3rd European Semantic Web Conference, volume 4011 of Lecture Notes in Computer Science, page 4--18. Berlin, Heidelberg, Springer, (June 2006)
by gergie and 2 other users on Dec 12, 2011, 7:00 PM
BibTeX
Distributed Knowledge Management.
Roberta Cuel, Paolo Bouquet, and Matteo Bonifacio Encyclopedia of Knowledge Management, IGI Global, (2011)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
Model-Based Security Verification and Testing for Smart-cards.
Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, and Parvaneh Yousefi ARES, page 272-279. IEEE, (2011)
to dblp by dblp on Nov 11, 2011, 12:00 AM
URL | BibTeX
Orchestrating Security and System Engineering for Evolving Systems - Invited Paper.
Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jürjens, Mass S. Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, and Sven Wenzel ServiceWave, volume 6994 of Lecture Notes in Computer Science, page 134-143. Springer, (2011)
to dblp by dblp on Nov 10, 2011, 12:00 AM
URL | BibTeX
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem.
Paolo Bouquet, and Fausto Giunchiglia Fundam. Inform. 23(2/3/4):247-262 (1995)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
SysML to UML model transformation for test generation purpose.
Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, and Fabien Peureux ACM SIGSOFT Software Engineering Notes 36(1):1-8 (2011)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Entity Type Disambiguation in User Queries.
Barbara Bazzanella, Heiko Stoermer, and Paolo Bouquet JIKM 10(3):209-224 (2011)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Contextual reasoning distilled.
Massimo Benerecetti, Paolo Bouquet, and Chiara Ghidini J. Exp. Theor. Artif. Intell. 12(3):279-305 (2000)
to dblp by dblp and 2 other users on Aug 15, 2011, 12:00 AM
URL | BibTeX
Dealing with expected and unexpected obstacles.
Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, and Paolo Bouquet J. Exp. Theor. Artif. Intell. 8(2):173-190 (1996)
to dblp by dblp on Aug 15, 2011, 12:00 AM
URL | BibTeX
Decentralised social network management.
Stefano Bortoli, Themis Palpanas, and Paolo Bouquet IJWBC 7(3):276-297 (2011)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Faster Analysis of Formal Specifications.
Fabrice Bouquet, Bruno Legeard, Mark Utting, and Nicolas Vacelet ICFEM, volume 3308 of Lecture Notes in Computer Science, page 239-258. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, and Mark Utting TACAS, volume 3440 of Lecture Notes in Computer Science, page 551-556. Springer, (2005)
to dblp by dblp and 1 other user on Aug 8, 2011, 12:00 AM
URL | BibTeX
Mastering Test Generation from Smart Card Software Formal Models.
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and Eric Torreborre CASSIS, volume 3362 of Lecture Notes in Computer Science, page 70-85. Springer, (2004)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Coordinating Semantic Peers.
Paolo Bouquet, Luciano Serafini, and Stefano Zanobini AIMSA, volume 3192 of Lecture Notes in Computer Science, page 75-84. Springer, (2004)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Peer-Mediated Distributed Knowledge Management.
Matteo Bonifacio, Paolo Bouquet, Gianluca Mameli, and Michele Nori AMKM, volume 2926 of Lecture Notes in Computer Science, page 31-47. Springer, (2003)
to dblp by dblp and 1 other user on Jul 6, 2011, 12:00 AM
URL | BibTeX
Semantic Coordination: A New Approach and an Application.
Paolo Bouquet, Luciano Serafini, and Stefano Zanobini International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, page 130-145. Springer, (2003)
to dblp by dblp and 3 other users on Jul 6, 2011, 12:00 AM
URL | BibTeX
C-OWL: Contextualizing Ontologies.
Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, and Heiner Stuckenschmidt International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, page 164-179. Springer, (2003)
to dblp by dblp and 4 other users on Jul 6, 2011, 12:00 AM
URL | BibTeX
A SAT-Based Algorithm for Context Matching.
Paolo Bouquet, Bernardo Magnini, Luciano Serafini, and Stefano Zanobini CONTEXT, volume 2680 of Lecture Notes in Computer Science, page 66-79. Springer, (2003)
to dblp by dblp and 2 other users on Jul 5, 2011, 12:00 AM
URL | BibTeX

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