| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese, Feroz Farazi |
A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology.  |
J. Data Semantics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto De Virgilio, Fausto Giunchiglia, Francesco Guerra, Letizia Tanca, Yannis Velegrakis |
Introduction to the Special Issue on Semantic Web Data Management. |
Inf. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Piero Fraternali, Marco Tagliasacchi, Davide Martinenghi, Alessandro Bozzon, Ilio Catallo, Eleonora Ciceri, Francesco Saverio Nucci, Vincenzo Croce, Ismail Sengör Altingövde, Wolf Siberski, Fausto Giunchiglia, Wolfgang Nejdl, Martha Larson, Ebroul Izquierdo, Petros Daras, Otto Chrons, Ralph Traphöner, Björn Decker, John Lomas, Patrick Aichroth, Jasminko Novak, Ghislain Sillaume, Fernando Sánchez-Figueroa, Carolina Salas-Parra |
The CUBRIK project: human-enhanced time-aware multimedia search. |
WWW (Companion Volume) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume |
Semantic flooding - Semantic search across distributed lightweight ontologies. |
World Wide Web |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feroz Farazi, Vincenzo Maltese, Fausto Giunchiglia, Alexander Ivanyukovich |
A Faceted Ontology for a Semantic Geo-Catalogue. |
ESWC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Bruno Crispo, Rui Zhang |
Access Control via Lightweight Ontologies. |
ICSC |
2011 |
DBLP DOI BibTeX RDF |
RelBAC, Lightweight Ontology, Access Control |
| 1 | Biswanath Dutta, Fausto Giunchiglia, Vincenzo Maltese |
A Facet-Based Methodology for Geo-Spatial Modeling. |
GeoS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Maltese, Fausto Giunchiglia, Aliaksandr Autayeu |
Save Up to 99% of Your Time in Mapping Validation. |
OTM Conferences |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Vincenzo Maltese, Feroz Farazi, Biswanath Dutta |
GeoWordNet: A Resource for Geo-spatial Applications. |
ESWC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Uladzimir Kharkevich, Alethia Hume, Piyatat Chatvorawit |
Semantic flooding: Search over semantic links. |
ICDE Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aliaksandr Autayeu, Fausto Giunchiglia, Pierre Andrews |
Lightweight Parsing of Classifications into Lightweight Ontologies. |
ECDL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Bruno Crispo, Fausto Giunchiglia, Fatih Turkmen, Rui Zhang |
Reasoning about Relation Based Access Control. |
NSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt, Ming Mao, Isabel F. Cruz (eds.) |
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), Shanghai, China, November 7, 2010 |
OM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mikalai Yatskevich, Paolo Avesani, Pavel Shvaiko |
A large dataset for the evaluation of ontology matching. |
Knowledge Eng. Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiona McNeill, Paolo Besana, Juan Pane, Fausto Giunchiglia |
Service Integration through Structure-Preserving Semantic Matching. |
J. Cases on Inf. Techn. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Ilya Zaihrayeu |
Lightweight Ontologies. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich |
Semantic Matching. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Shvaiko, Fausto Giunchiglia, Mikalai Yatskevich |
Semantic Matching with S-Match. |
Semantic Web Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca |
Introduction. |
Semantic Web Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Feroz Farazi, Letizia Tanca, Roberto De Virgilio |
The Semantic Web Languages. |
Semantic Web Information Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto De Virgilio, Fausto Giunchiglia, Letizia Tanca (eds.) |
Semantic Web Information Management - A Model-Based Perspective |
|
2009 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu |
Concept Search. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo |
Using Description Logics in Relation Based Access Control. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese |
Faceted Lightweight Ontologies. |
Conceptual Modeling: Foundations and Applications |
2009 |
DBLP DOI BibTeX RDF |
Lightweight ontologies, formal classifications, Ontologies, classifications, facets |
| 1 | Fausto Giunchiglia, Vincenzo Maltese, Aliaksandr Autayeu |
Computing Minimal Mappings. |
OM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt, Natalya Fridman Noy, Arnon Rosenthal (eds.) |
Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, USA, October 25, 2009 |
OM |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alexander Ivanyukovich, Maurizio Marchese, Fausto Giunchiglia |
ScienceTreks: an autonomous digital library system. |
Online Information Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Fiona McNeill, Mikalai Yatskevich, Juan Pane, Paolo Besana, Pavel Shvaiko |
Approximate Structure-Preserving Semantic Matching. |
OTM Conferences |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Ling Feng, Malú Castellanos |
ODBASE 2008 PC Co-chairs' Message. |
OTM Conferences |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Cerri, Emanuele Della Valle, David de Francisco Marcos, Fausto Giunchiglia, Dalit Naor, Lyndon J. B. Nixon, Kia Teymourian, Philipp Obermeier, Dietrich Rebholz-Schuhmann, Reto Krummenacher, Elena Paslaru Bontas Simperl |
Towards Knowledge in the Cloud. |
OTM Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana |
Approximate structure preserving semantic matching. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu |
Concept Search: Semantics Enabled Syntactic Search. |
SemSearch |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt (eds.) |
Proceedings of the 3rd International Workshop on Ontology Matching (OM-2008) Collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26, 2008 |
OM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Bin He (eds.) |
Proceedings of the 2nd International Workshop on Ontology Matching (OM-2007) Collocated with the 6th International Semantic Web Conference (ISWC-2007) and the 2nd Asian Semantic Web Conference (ASWC-2007), Busan, Korea, November 11, 2007 |
OM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko |
Semantic Matching: Algorithms and Implementation. |
J. Data Semantics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu |
Encoding Classifications into Lightweight Ontologies. |
J. Data Semantics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Borgida, Fausto Giunchiglia |
Importing from Functional Knowledge Bases - A Preview. |
WoMO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Ilya Zaihrayeu, Uladzimir Kharkevich |
Formalizing the Get-Specific Document Classification Algorithm. |
ECDL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | David Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Christopher Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou |
Open Knowledge. |
LADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Zaihrayeu, Lei Sun, Fausto Giunchiglia, Wei Pan, Qi Ju, Mingmin Chi, Xuanjing Huang |
From Web Directories to Ontologies: Natural Language Processing Challenges. |
ISWC/ASWC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Fausto Giunchiglia |
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. |
ISWC/ASWC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill |
Structure Preserving Semantic Matching. |
OM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia |
Managing Diversity in Knowledge. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich |
Discovering Missing Background Knowledge in Ontology Matching. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu |
Encoding Classifications into Lightweight Ontologies. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia |
Managing Diversity in Knowledge. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuting Zhao, Luciano Serafini, Fausto Giunchiglia |
Autonomous Ontology: Operations and Semantics. |
ASWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Riichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia (eds.) |
The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings |
ASWC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Ellman, Fausto Giunchiglia |
Introduction to the Special Volume on Reformulation. |
Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich |
Semantic Schema Matching. |
OTM Conferences |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness |
Web Explanations for Semantic Heterogeneity Discovery. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia |
SWebB: Semantic Web Browsing. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia |
Efficient Semantic Matching. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich |
S-Match: an algorithm and an implementation of semantic matching. |
Semantic Interoperability and Integration |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia |
Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella |
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia |
Towards a Distributed Architecture for Value Added Services to Digital Libraries. |
P2PKM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich |
A Large Scale Taxonomy Mapping Evaluation. |
International Semantic Web Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt |
Contextualizing ontologies. |
J. Web Sem. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
Tropos: An Agent-Oriented Software Development Methodology. |
Autonomous Agents and Multi-Agent Systems |
2004 |
DBLP DOI BibTeX RDF |
multi-agent systems, agent-oriented software engineering, agent-oriented methodologies |
| 1 | Chiara Ghidini, Fausto Giunchiglia |
A Semantics for Abstraction. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich |
S-Match: an Algorithm and an Implementation of Semantic Matching. |
ESWS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva |
Towards Explaining Semantic Matching. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Ilya Zaihrayeu |
Coordinating Mobile Databases. |
P2PKM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Heiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini |
Using C-OWL for the alignment and merging of medical ontologies. |
KR-MED |
2004 |
DBLP BibTeX RDF |
|
| 1 | Enrico Blanzieri, Paolo Giorgini, Claudio Zanoni, Fausto Giunchiglia |
A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. |
Wissensmanagement |
2003 |
DBLP BibTeX RDF |
|
| 1 | Patrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia (eds.) |
Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings |
CONTEXT |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein |
Local Relational Model: A Logical Formalization of Database Coordination. |
CONTEXT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, James Odell, Gerhard Weiß (eds.) |
Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions |
AOSE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt |
C-OWL: Contextualizing Ontologies. |
International Semantic Web Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni |
Implicit Culture-Based Personal Agents for Knowledge Management. |
AMKM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini |
A Foundation for Metareasoning Part I: The Proof Theory. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini |
A Foundation for Metareasoning Part II: The Model Theory. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Serafini, Fausto Giunchiglia |
ML Systems: A Proof Theory for Contexts. |
Journal of Logic, Language and Information |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia |
SAT-Based Decision Procedures for Classical Modal Logics. |
J. Autom. Reasoning |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni |
A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. |
WOA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu |
Data Management for Peer-to-Peer Computing : A Vision. |
WebDB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Anna Perini, Angelo Susi, Fausto Giunchiglia |
Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams (eds.) |
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
NuSMV 2: An OpenSource Tool for Symbolic Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, John Mylopoulos, Anna Perini |
The Tropos Software Development Methodology: Processes, Models and Diagrams. |
AOSE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, John Mylopoulos, Anna Perini |
The tropos software development methodology: processes, models and diagrams. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent-oriented software engineering |
| 1 | Fausto Giunchiglia, Ilya Zaihrayeu |
Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination. |
CIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise |
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. |
J. Symb. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia |
Ideal and Real Belief about Belief. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott |
Reasoning Theories. |
J. Autom. Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ellman, Fausto Giunchiglia |
Special Issue of the journal Artificial Intelligence on Reformulation. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Ghidini, Fausto Giunchiglia |
Local Models Semantics, or contextual reasoning=locality+compatibility. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
A knowledge level software engineering methodology for agent oriented programming. |
Agents |
2001 |
DBLP DOI BibTeX RDF |
design methodologies, agent-based software engineering |
| 1 | Roberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia |
Model Checking Syllabi and Student Carreers. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
Towards an Agent Oriented Approach to Software Engineering. |
WOA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani |
Agent- Oriented Software Development: A Case Study. |
SEKE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos |
Modeling Early Requirements in Tropos: A Transformation Based Approach. |
AOSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò |
Knowledge Level Software Engineering. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella (eds.) |
Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings |
CoopIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia |
Verification of a safety-critical railway interlocking system with real-time constraints. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
SAT vs. translation based decision procedures for modal logics: a comparative evaluation. |
Journal of Applied Non-Classical Logics |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Roberto Sebastiani |
Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Giunchiglia, Paolo Traverso |
Theorem proving in technology transfer: the user's point of view. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Formal methods, Mechanized theorem proving |
| 1 | Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri |
NUSMV: A New Symbolic Model Checker. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Tools for technology transfer, Temporal logics, Symbolic model checking, Automatic verification |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")