Fausto Giunchiglia Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
157no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt, Natalya Fridman Noy, Arnon Rosenthal: 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 CEUR-WS.org 2009
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Biswanath Dutta, Vincenzo Maltese: Faceted Lightweight Ontologies. Conceptual Modeling: Foundations and Applications 2009: 36-51
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo: Using Description Logics in Relation Based Access Control. Description Logics 2009
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search. ESWC 2009: 429-444
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Vincenzo Maltese, Aliaksandr Autayeu: Computing Minimal Mappings. OM 2009
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Ilya Zaihrayeu: Lightweight Ontologies. Encyclopedia of Database Systems 2009: 1613-1619
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Matching. Encyclopedia of Database Systems 2009: 2561-2566
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Mikalai Yatskevich, Paolo Avesani, Pavel Shvaiko: A large dataset for the evaluation of ontology matching. Knowledge Eng. Review 24(2): 137-157 (2009)
2008
149no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Bin He: 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 CEUR-WS.org 2008
148no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Shvaiko, Jérôme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt: 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 CEUR-WS.org 2008
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana: Approximate structure preserving semantic matching. ECAI 2008: 743-744
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Ling Feng, Malú Castellanos: ODBASE 2008 PC Co-chairs' Message. OTM Conferences (2) 2008: 1151
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Fiona McNeill, Mikalai Yatskevich, Juan Pane, Paolo Besana, Pavel Shvaiko: Approximate Structure-Preserving Semantic Matching. OTM Conferences (2) 2008: 1217-1234
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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: 986-995
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Uladzimir Kharkevich, Ilya Zaihrayeu: Concept Search: Semantics Enabled Syntactic Search. SemSearch 2008: 109-123
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ivanyukovich, Maurizio Marchese, Fausto Giunchiglia: ScienceTreks: an autonomous digital library system. Online Information Review 32(4): 488-499 (2008)
2007
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Ilya Zaihrayeu, Uladzimir Kharkevich: Formalizing the Get-Specific Document Classification Algorithm. ECDL 2007: 26-37
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIlya 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: 623-636
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuting Zhao, Kewen Wang, Rodney W. Topor, Jeff Z. Pan, Fausto Giunchiglia: Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies. ISWC/ASWC 2007: 666-679
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Chris Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrian Perreau de Pinninck, Antonis Loizou: Open Knowledge. LADS 2007: 1-18
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill: Structure Preserving Semantic Matching. OM 2007
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Fausto Giunchiglia: Importing from Functional Knowledge Bases - A Preview. WoMO 2007
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. J. Data Semantics 8: 57-81 (2007)
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Mikalai Yatskevich, Pavel Shvaiko: Semantic Matching: Algorithms and Implementation. J. Data Semantics 9: 1-38 (2007)
2006
133no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiichiro Mizoguchi, Zhongzhi Shi, Fausto Giunchiglia: The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings Springer 2006
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuting Zhao, Luciano Serafini, Fausto Giunchiglia: Autonomous Ontology: Operations and Semantics. ASWC 2006: 646-652
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Discovering Missing Background Knowledge in Ontology Matching. ECAI 2006: 382-386
130no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: Managing Diversity in Knowledge. ECAI 2006: 4
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu: Encoding Classifications into Lightweight Ontologies. ESWC 2006: 80-94
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: Managing Diversity in Knowledge. IEA/AIE 2006: 1
2005
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia: Efficient Semantic Matching. ESWC 2005: 272-289
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness: Web Explanations for Semantic Heterogeneity Discovery. ESWC 2005: 303-317
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: SWebB: Semantic Web Browsing. ESWC 2005: 725-725
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: Matching Classifications via a Bidirectional Integration of SAT and Linguistic Resources. FroCos 2005: 284-284
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Avesani, Fausto Giunchiglia, Mikalai Yatskevich: A Large Scale Taxonomy Mapping Evaluation. International Semantic Web Conference 2005: 67-81
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning 2005: 46-58
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Semantic Schema Matching. OTM Conferences (1) 2005: 347-365
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Marchese, Aliaksei Yanchuk, Fausto Giunchiglia: Towards a Distributed Architecture for Value Added Services to Digital Libraries. P2PKM 2005
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an algorithm and an implementation of semantic matching. Semantic Interoperability and Integration 2005
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ellman, Fausto Giunchiglia: Introduction to the Special Volume on Reformulation. Artif. Intell. 162(1-2): 3-5 (2005)
2004
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva: Towards Explaining Semantic Matching. Description Logics 2004
116no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Ghidini, Fausto Giunchiglia: A Semantics for Abstraction. ECAI 2004: 343-347
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: S-Match: an Algorithm and an Implementation of Semantic Matching. ESWS 2004: 61-75
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiner Stuckenschmidt, Frank van Harmelen, Paolo Bouquet, Fausto Giunchiglia, Luciano Serafini: Using C-OWL for the alignment and merging of medical ontologies. KR-MED 2004: 88-101
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Ilya Zaihrayeu: Coordinating Mobile Databases. P2PKM 2004
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3): 203-236 (2004)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: Contextualizing ontologies. J. Web Sem. 1(4): 325-343 (2004)
2003
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, James Odell, Gerhard Weiß: Agent-Oriented Software Engineering III, Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions Springer 2003
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Blackburn, Chiara Ghidini, Roy M. Turner, Fausto Giunchiglia: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings Springer 2003
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni: Implicit Culture-Based Personal Agents for Knowledge Management. AMKM 2003: 245-261
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Serafini, Fausto Giunchiglia, John Mylopoulos, Philip A. Bernstein: Local Relational Model: A Logical Formalization of Database Coordination. CONTEXT 2003: 286-299
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, Heiner Stuckenschmidt: C-OWL: Contextualizing Ontologies. International Semantic Web Conference 2003: 164-179
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Blanzieri, Paolo Giorgini, Claudio Zanoni, Fausto Giunchiglia: A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. Wissensmanagement 2003: 287-294
2002
104no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002 Morgan Kaufmann 2002
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, John Mylopoulos, Anna Perini: The tropos software development methodology: processes, models and diagrams. AAMAS 2002: 35-36
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, John Mylopoulos, Anna Perini: The Tropos Software Development Methodology: Processes, Models and Diagrams. AOSE 2002: 162-173
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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: 359-364
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Ilya Zaihrayeu: Making Peer Databases Interact - A Vision for an Architecture Supporting Data Coordination. CIA 2002: 18-35
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Perini, Angelo Susi, Fausto Giunchiglia: Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. SEKE 2002: 51-54
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Blanzieri, Paolo Giorgini, Fausto Giunchiglia, Claudio Zanoni: A Multi-agent System for Knowledge Management based on the Implicit Culture Framework. WOA 2002: 56-63
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis, John Mylopoulos, Luciano Serafini, Ilya Zaihrayeu: Data Management for Peer-to-Peer Computing : A Vision. WebDB 2002: 89-94
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia: SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reasoning 28(2): 143-171 (2002)
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part I: The Proof Theory. J. Log. Comput. 12(1): 167-208 (2002)
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Criscuolo, Fausto Giunchiglia, Luciano Serafini: A Foundation for Metareasoning Part II: The Model Theory. J. Log. Comput. 12(3): 345-370 (2002)
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano Serafini, Fausto Giunchiglia: ML Systems: A Proof Theory for Contexts. Journal of Logic, Language and Information 11(4): 471-518 (2002)
2001
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlo Batini, Fausto Giunchiglia, Paolo Giorgini, Massimo Mecella: Cooperative Information Systems, 9th International Conference, CoopIS 2001, Trento, Italy, September 5-7, 2001, Proceedings Springer 2001
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Modeling Early Requirements in Tropos: A Transformation Based Approach. AOSE 2001: 151-168
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Anna Perini, Fabrizio Sannicolò: Knowledge Level Software Engineering. ATAL 2001: 6-20
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: A knowledge level software engineering methodology for agent oriented programming. Agents 2001: 648-655
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia, Paolo Bresciani: Agent- Oriented Software Development: A Case Study. SEKE 2001: 283-290
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Sebastiani, Alessandro Tomasi, Fausto Giunchiglia: Model Checking Syllabi and Student Carreers. TACAS 2001: 128-142
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos: Towards an Agent Oriented Approach to Software Engineering. WOA 2001: 74-79
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiara Ghidini, Fausto Giunchiglia: Local Models Semantics, or contextual reasoning=locality+compatibility. Artif. Intell. 127(2): 221-259 (2001)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Ellman, Fausto Giunchiglia: Special Issue of the journal Artificial Intelligence on Reformulation. Artif. Intell. 130(2): 231-232 (2001)
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories. J. Autom. Reasoning 26(3): 291-331 (2001)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. J. Log. Comput. 11(1): 157-192 (2001)
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)
2000
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Fausto Giunchiglia: Model Checking-Based Analysis of Multiagent Systems. FAABS 2000: 1-15
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCos 2000: 200-216
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Fausto Giunchiglia: Model Checking Security Protocols Using a Logic of Belief. TACAS 2000: 519-534
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m). Inf. Comput. 162(1-2): 158-178 (2000)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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 10(2): (2000)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Checker. STTT 2(4): 410-425 (2000)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Theorem proving in technology transfer: the user's point of view. STTT 3(1): 1-12 (2000)
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVicky 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. 36(1): 53-64 (2000)
1999
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: The SAT-Based Approach for Classical Modal Logics. AI*IA 1999: 95-106
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Daniele, Fausto Giunchiglia, Moshe Y. Vardi: Improved Automata Generation for Linear Temporal Logic. CAV 1999: 249-260
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia, Marco Roveri: NUSMV: A New Symbolic Model Verifier. CAV 1999: 495-499
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella: *SAT, KSATC, DLP and TA: a comparative analysis. Description Logics 1999
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Planning as Model Checking. ECP 1999: 1-20
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artif. Intell. 111(1-2): 329-338 (1999)
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: Using Abstrips Abstractions -- Where do We Stand? Artif. Intell. Rev. 13(3): 201-213 (1999)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: The OMRS project: State of the art. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. Fundam. Inform. 39(1-2): 39-57 (1999)
1998
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings Springer 1998
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann: Specification and Integration of Theorem Provers and Computer Algebra Systems. AISC 1998: 94-106
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: A Model Checking Algorithm for Multiagent Systems. ATAL 1998: 163-176
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVicky 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. FTCS 1998: 458-463
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Chiara Ghidini: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. KR 1998: 282-291
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPiergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso: A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. SAFECOMP 1998: 221-230
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. SAFECOMP 1998: 284-295
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Richard W. Weyhrauch: A Many-Sorted Natural Deduction. Computational Intelligence 14(1): 134-149 (1998)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: (1998)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. Formal Asp. Comput. 10(4): 361-380 (1998)
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas R. Jennings, Michael Wooldridge, Fausto Giunchiglia: Editorial. J. Log. Comput. 8(3): 231-232 (1998)
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Fausto Giunchiglia, Luciano Serafini: Model Checking Multiagent Systems. J. Log. Comput. 8(3): 401-423 (1998)
1997
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal Logics. CADE 1997: 264-267
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso: Planning via Model Checking: A Decision Procedure for AR. ECP 1997: 130-142
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Theories of Abstraction. AI Commun. 10(3-4): 167-176 (1997)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh: Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. J. Autom. Reasoning 19(3): 319-346 (1997)
1996
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Computing Abstraction Hierarchies by Numerical Simulation. AAAI/IAAI, Vol. 1 1996: 523-529
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Formal Specification of Beliefs in Multi-Agent Systems. ATAL 1996: 117-130
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Adolfo Villafiorita: ABSFOL: A Proof Checker with Abstraction. CADE 1996: 136-140
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Roberto Sebastiani: Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K. CADE 1996: 583-597
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Roberto Sebastiani, Adolfo Villafiorita, Toby Walsh: A General Purpose Reasoner for Abstraction. Canadian Conference on AI 1996: 323-335
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Marco Roveri, Roberto Sebastiani: A New Method for Testing Decision Procedures in Modal and Terminological Logics. Description Logics 1996: 119-123
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Roberto Sebastiani: An SAT-based Decision Procedure for ALC. Description Logics 1996: 49-59
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia: Ideal and Real Belief about Belief. FAPR 1996: 261-275
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott: Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. Frontiers of Combining Systems (FroCos) 1996: 157-174
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Roberto Sebastiani: A SAT-based Decision Procedure for ALC. KR 1996: 304-314
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Enrico Giunchiglia: Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW 1996: 1-12
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. Ann. Math. Artif. Intell. 17(3-4): 235-259 (1996)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: A Metatheory of a Mechanized Object Theory. Artif. Intell. 80(1-2): 197-241 (1996)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Bundy, Fausto Giunchiglia, Roberto Sebastiani, Toby Walsh: Calculating Criticalities. Artif. Intell. 88(1-2): 39-67 (1996)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet: Dealing with expected and unexpected obstacles. J. Exp. Theor. Artif. Intell. 8(2): 173-190 (1996)
1995
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers or Believers. AI*IA 1995: 414-425
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Traverso, Luca Spalazzi, Fausto Giunchiglia: Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL 1995: 65-78
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini: Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS 1995: 448
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem. WOCFAI 1995: 39-50
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: An Epistemological Science of Common Sense. Artif. Intell. 77(2): 371-392 (1995)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bouquet, Fausto Giunchiglia: Reasoning about Theory Adequacy. A New Solution to the Qualification Problem. Fundam. Inform. 23(2/3/4): 247-262 (1995)
1994
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luca Spalazzi, Paolo Traverso: Planning with Failure. AIPS 1994: 74-79
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Program Tactics and Logic Tactics. LPAR 1994: 16-30
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Alessandro Cimatti: Introspective Metatheoretic Reasoning. META 1994: 425-439
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luciano Serafini: Multilanguage Hierarchical Logics or: How we can do Without Modal Logics. Artif. Intell. 65(1): 29-70 (1994)
1993
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione: Non-Omniscient Belief as Context-Based Resoning. IJCAI 1993: 548-554
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Toby Walsh: The Inevitability of Inconsistent Abstract Spaces. J. Autom. Reasoning 11(1): 23-41 (1993)
1992
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luciano Serafini: Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS 1992: 44-45
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Toby Walsh: Tree Subsumption: Reasoning with Outlines. ECAI 1992: 77-81
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luciano Serafini, Alex K. Simpson: Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META 1992: 235-249
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Toby Walsh: A Theory of Abstraction. Artif. Intell. 57(2-3): 323-389 (1992)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Carlo Ferrari, Paolo Traverso, Emanuele Trucco: Understanding Scene Descriptions by Integrating Different Sources of Knowledge. International Journal of Man-Machine Studies 37(1): 47-81 (1992)
1991
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Basin, Fausto Giunchiglia, Paolo Traverso: Automating Meta-Theory Creation and System Extension. AI*IA 1991: 48-57
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Paolo Traverso: Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. IJCAI 1991: 111-117
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Luciano Serafini: Mulitlanguage First Order Theories of Propositional Attitudes. SCAI 1991: 228-240
1989
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Toby Walsh: Abstract Theorem Proving. IJCAI 1989: 372-377
1988
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Enrico Giunchiglia: Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. ECAI 1988: 607-609
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia, Alan Smaill: Reflection in Constructive and Non-constructive Automated Reasoning. META 1988: 123-140
1987
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFausto Giunchiglia: Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines. COMPCON 1987: 124-129
1984
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Di Manzo, Fausto Giunchiglia, Ernesto Pino: Space Representation and Object Positioning in Natural Language Driven Image Generation. AIMSA 1984: 207-214
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Natural Language driven Image Generation. COLING 1984: 495-500
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148
1983
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: Some Basic Mechanisms for Common Sense Reasoning About Stories Environments. IJCAI 1983: 72-74

Coauthor Index

1Giovanni Adorni [1] [2] [3]
2Alessandro Armando [63] [81] [122]
3Alessandro Artale [155]
4Aliaksandr Autayeu [153]
5Paolo Avesani [123] [150]
6David A. Basin [11]
7Carlo Batini [92]
8Massimo Benerecetti [42] [49] [59] [77] [79] [80]
9Philip A. Bernstein [97] [107]
10Piergiorgio Bertoli [52] [55] [60] [62]
11Paolo Besana [145] [147]
12Patrick Blackburn [109]
13Enrico Blanzieri [98] [105] [108]
14Alexander Borgida [136]
15Paolo Bouquet [23] [25] [29] [106] [111] [114]
16Paolo Bresciani [86] [88] [89] [91] [112]
17Alan Bundy [30] [43] [44]
18Jacques Calmet [60] [62]
19Sérgio Vale Aguiar Campos [58] [72]
20Malú Castellanos [146]
21Claudio Castellini [122]
22Davide Cerri [144]
23Mingmin Chi [140]
24Alessandro Cimatti [20] [42] [46] [47] [51] [53] [54] [55] [58] [69] [72] [74] [101]
25Edmund M. Clarke [58] [69] [72] [74] [101]
26Alessandro Coglio [52] [63] [78] [81]
27Tom Costello [29]
28Giovanni Criscuolo [94] [95]
29Bruno Crispo [155]
30Marco Daniele [70]
31Srinandan Dasmahapatra [138]
32David Dupplaw [138]
33Biswanath Dutta [156]
34Thomas Ellman [84] [118]
35Jérôme Euzenat [148] [149] [157]
36Ling Feng [146]
37Dieter Fensel [104]
38Carlo Ferrari [12]
39Marcello Frixione [18]
40Chiara Ghidini [57] [85] [109] [116]
41Paolo Giorgini [86] [88] [89] [91] [92] [98] [105] [108] [112]
42Enrico Giunchiglia [7] [18] [26] [28] [29] [33] [36] [42] [46] [56] [68] [71] [75] [82] [96] [101] [122] [127]
43Frank van Harmelen [106] [111] [114] [138]
44Vicky Hartonas-Garmhausen [58] [72]
45Bin He [149]
46Karsten Homann [60] [62]
47Xuanjing Huang [140]
48Alexander Ivanyukovich [142]
49Nicholas R. Jennings (Nick R. Jennings) [50]
50Qi Ju [140]
51Anastasios Kementsietsidis [97]
52Uladzimir Kharkevich [141] [143] [154]
53Spyros Kotoulas [138]
54Reto Krummenacher [144]
55Paul H. Lewis [138]
56Antonis Loizou [138]
57Vincenzo Maltese [153] [156]
58Mauro Di Manzo [1] [2] [3] [4]
59Maurizio Marchese [120] [129] [135] [138] [142]
60David de Francisco Marcos [144]
61Deborah L. McGuinness [104] [117] [126]
62Fiona McNeill [137] [145] [147]
63Massimo Mecella [92]
64José Meseguer [78]
65Riichiro Mizoguchi [133]
66Giorgio Mongardi [51] [54]
67John Mylopoulos [86] [88] [89] [91] [97] [102] [103] [107] [112]
68Dalit Naor [144]
69Lyndon J. B. Nixon [144]
70Natalya Fridman Noy (Natasha Fridman Noy, Natasha F. Noy) [157]
71Philipp Obermeier [144]
72James Odell [110]
73Jeff Z. Pan [139]
74Wei Pan [140]
75Juan Pane [145] [147]
76Maurizio Panti [79]
77Paolo Pecchiari [35] [47] [83]
78Anna Perini [86] [88] [89] [90] [91] [99] [102] [103] [112]
79Bruno Pietra [47]
80Adrian Perreau de Pinninck [138]
81Ernesto Pino [4]
82Marco Pistore [101]
83Joe Profeta [47]
84Silvio Ranise [81]
85Dietrich Rebholz-Schuhmann [144]
86David Stuart Robertson (David Robertson) [138]
87Dario Romano [47] [51] [54]
88Arnon Rosenthal (Arnie Rosenthal) [157]
89Marco Roveri [38] [48] [69] [74] [101]
90Marta Sabou [138]
91Fabrizio Sannicolò [90]
92W. Marco Schorlemmer [138]
93Roberto Sebastiani [30] [34] [37] [38] [39] [40] [43] [48] [56] [75] [76] [87] [101]
94Luciano Serafini [9] [14] [16] [18] [19] [26] [28] [42] [49] [59] [93] [94] [95] [97] [106] [107] [111] [114] [132]
95Nigel Shadbolt (Nigel R. Shadbolt) [138]
96Zhongzhi Shi [133]
97Pavel Shvaiko [115] [117] [119] [121] [126] [131] [134] [145] [147] [148] [149] [150] [151] [157]
98Ronny Siebes [138]
99Carles Sierra [138]
100Paulo Pinheiro da Silva [117] [126]
101Elena Paslaru Bontas Simperl (Elena Paslaru Bontas) [144]
102Alex K. Simpson (Alex Simpson) [14]
103Alan Smaill [6]
104Luca Spalazzi [22] [27] [66] [79]
105Heiner Stuckenschmidt [106] [111] [114] [148] [157]
106Lei Sun [140]
107Angelo Susi [99]
108Armando Tacchella [56] [68] [71] [75] [96] [101] [122]
109Carolyn L. Talcott [35] [78] [83]
110Kia Teymourian [144]
111Alessandro Tomasi [87]
112Rodney W. Topor [139]
113Fernando Torielli [51] [54]
114Paolo Traverso [10] [11] [12] [21] [22] [27] [31] [32] [46] [47] [51] [54] [55] [67] [73]
115Emanuele Trucco [12]
116Roy M. Turner [109]
117Emanuele Della Valle [144]
118Moshe Y. Vardi [70]
119Adolfo Villafiorita [39] [41] [44] [45]
120Toby Walsh [8] [13] [15] [17] [30] [39] [43] [44] [45]
121Chris Walton [138]
122Kewen Wang [139]
123Gerhard Weiß [110]
124Richard W. Weyhrauch [53]
125Mary-Anne Williams [104]
126Michael Wooldridge (Michael J. Wooldridge) [50]
127Aliaksei Yanchuk [120]
128Mikalai Yatskevich [115] [119] [121] [123] [127] [131] [134] [137] [138] [145] [147] [150] [151]
129Bing Yu [47]
130Ilya Zaihrayeu [97] [100] [113] [129] [135] [140] [141] [143] [152] [154]
131Claudio Zanoni [98] [105] [108]
132Rui Zhang [155]
133Yuting Zhao [132] [139]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)