×

zbMATH — the first resource for mathematics

Giunchiglia, Fausto

Compute Distance To:
Author ID: giunchiglia.fausto Recent zbMATH articles by "Giunchiglia, Fausto"
Published as: Giunchiglia, Fausto; Giunchiglia, F.
Documents Indexed: 60 Publications since 1989, including 6 Books

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 341 times in 289 Documents Cited by Year
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
81
2002
NuSMV: A new symbolic model verifier. Zbl 1046.68587
Cimatti, A.; Clarke, E.; Giunchiglia, F.; Roveri, M.
34
1999
NuSMV: A new symbolic model checker. Zbl 1059.68582
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco
32
2000
Multilanguage hierarchical logics, or: How we can do without modal logics. Zbl 0787.68093
Giunchiglia, Fausto; Serafini, Luciano
27
1994
A theory of abstraction. Zbl 0762.68054
Giunchiglia, Fausto; Walsh, Toby
26
1992
Improved automata generation for linear temporal logic. Zbl 1046.68588
Daniele, Marco; Giunchiglia, Fausto; Vardi, Moshe Y.
23
1999
Local Models Semantics, or contextual reasoning = locality + compatibility. Zbl 0969.68141
Ghidini, C.; Giunchiglia, F.
20
2001
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
Model checking multiagent systems. Zbl 0904.68159
Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano
11
1998
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). Zbl 1033.03509
Giunchiglia, Fausto; Sebastiani, Roberto
9
2000
SAT-based decision procedures for classical modal logics. Zbl 1003.03011
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto
6
2002
Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022
Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn
6
1996
Abstract theorem proving. Zbl 0708.68066
Giunchiglia, Fausto; Walsh, Toby
6
1989
Modeling early requirements in Tropos: A transformation based approach. Zbl 1050.68673
Bresciani, Paolo; Perini, Anna; Giorgini, Paolo; Giunchiglia, Fausto; Mylopoulos, John
5
2002
Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. Zbl 1415.03022
Giunchiglia, Fausto; Sebastiani, Roberto
5
1996
Specification and integration of theorem provers and computer algebra systems. Zbl 0951.68197
Bertoli, P. G.; Calmet, J.; Giunchiglia, F.; Homann, K.
4
1999
Reflective reasoning with and between a declarative metatheory and the implementation code. Zbl 0745.68092
Giunchiglia, Fausto; Traverso, Paolo
3
1991
ML systems: A proof theory for contexts. Zbl 1011.03018
Serafini, Luciano; Giunchiglia, Fausto
3
2002
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
Specification and integration of theorem provers and computer algebra systems. Zbl 0910.68194
Bertoli, P. G.; Calmet, J.; Giunchiglia, F.; Homann, K.
2
1998
Reasoning about theory adequacy. A new solution to the qualification problem. Zbl 0826.68110
Bouquet, Paolo; Giunchiglia, Fausto
2
1995
A foundation for metareasoning. I: The proof theory. Zbl 1005.68149
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
2
2002
A foundation for metareasoning. II: The model theory. Zbl 1012.68194
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
2
2002
Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094
Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L.
2
2000
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
The OMRS project: State of the art. Zbl 0917.68175
Giunchiglia, Fausto; Bertoli, Piergiorgio; Coglio, Alessandro
1
1998
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby
1
1997
Ideal and real belief about belief. Zbl 1004.03011
Giunchiglia, Enrico; Giunchiglia, Fausto
1
2001
SAT-based decision procedures for classical modal logics. Zbl 0980.03010
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
1
2000
FUR: Understanding FUnctional Reasoning. Zbl 0706.68083
DiManzo, M.; Trucco, E.; Giunchiglia, F.; Ricci, F.
1
1989
The inevitability of inconsistent abstract spaces. Zbl 0784.68075
Giunchiglia, Fausto; Walsh, Toby
1
1993
Semantic web information management. A model-based perspective. Zbl 1183.68072
De Virgilio, Roberto (ed.); Giunchiglia, Fausto (ed.); Tanca, Letizia (ed.)
1
2010
Semantic matching: Algorithms and implementation. Zbl 1179.68043
Giunchiglia, Fausto; Yatskevich, Mikalai; Shvaiko, Pavel
1
2007
A system for multi-level mathematical reasoning. Zbl 0808.68094
Giunchiglia, Fausto; Traverso, Paolo
1
1994
ABSFOL: a proof checker with abstraction. Zbl 1412.68226
Giunchiglia, Fausto; Villafiorita, Adolfo
1
1996
Semantic web information management. A model-based perspective. Zbl 1183.68072
De Virgilio, Roberto; Giunchiglia, Fausto; Tanca, Letizia
1
2010
Semantic matching: Algorithms and implementation. Zbl 1179.68043
Giunchiglia, Fausto; Yatskevich, Mikalai; Shvaiko, Pavel
1
2007
SAT-based decision procedures for automated reasoning: A unifying perspective. Zbl 1098.68693
Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
16
2005
NuSMV 2: An OpenSource tool for symbolic model checking. Zbl 1010.68766
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando
81
2002
SAT-based decision procedures for classical modal logics. Zbl 1003.03011
Giunchiglia, Enrico; Tacchella, Armando; Giunchiglia, Fausto
6
2002
Modeling early requirements in Tropos: A transformation based approach. Zbl 1050.68673
Bresciani, Paolo; Perini, Anna; Giorgini, Paolo; Giunchiglia, Fausto; Mylopoulos, John
5
2002
ML systems: A proof theory for contexts. Zbl 1011.03018
Serafini, Luciano; Giunchiglia, Fausto
3
2002
A foundation for metareasoning. I: The proof theory. Zbl 1005.68149
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
2
2002
A foundation for metareasoning. II: The model theory. Zbl 1012.68194
Criscuolo, Giovanni; Giunchiglia, Fausto; Serafini, Luciano
2
2002
Local Models Semantics, or contextual reasoning = locality + compatibility. Zbl 0969.68141
Ghidini, C.; Giunchiglia, F.
20
2001
Ideal and real belief about belief. Zbl 1004.03011
Giunchiglia, Enrico; Giunchiglia, Fausto
1
2001
NuSMV: A new symbolic model checker. Zbl 1059.68582
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Roveri, Marco
32
2000
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). Zbl 1033.03509
Giunchiglia, Fausto; Sebastiani, Roberto
9
2000
SAT vs. translation based decision procedures for modal logics: A comparative evaluation. Zbl 1033.03500
Giunchiglia, Enrico; Giunchiglia, Fausto; Sebastiani, Roberto; Tacchella, Armando
3
2000
Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094
Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L.
2
2000
SAT-based decision procedures for classical modal logics. Zbl 0980.03010
Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando
1
2000
NuSMV: A new symbolic model verifier. Zbl 1046.68587
Cimatti, A.; Clarke, E.; Giunchiglia, F.; Roveri, M.
34
1999
Improved automata generation for linear temporal logic. Zbl 1046.68588
Daniele, Marco; Giunchiglia, Fausto; Vardi, Moshe Y.
23
1999
Specification and integration of theorem provers and computer algebra systems. Zbl 0951.68197
Bertoli, P. G.; Calmet, J.; Giunchiglia, F.; Homann, K.
4
1999
Model checking multiagent systems. Zbl 0904.68159
Benerecetti, Massimo; Giunchiglia, Fausto; Serafini, Luciano
11
1998
Specification and integration of theorem provers and computer algebra systems. Zbl 0910.68194
Bertoli, P. G.; Calmet, J.; Giunchiglia, F.; Homann, K.
2
1998
The OMRS project: State of the art. Zbl 0917.68175
Giunchiglia, Fausto; Bertoli, Piergiorgio; Coglio, Alessandro
1
1998
Abstract proof checking: An example motivated by an incompleteness theorem. Zbl 0890.03004
Bundy, Alan; Giunchiglia, Fausto; Villafiorita, Adolfo; Walsh, Toby
1
1997
Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022
Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn
6
1996
Building decision procedures for modal logics from propositional decision procedures – the case study of modal K. Zbl 1415.03022
Giunchiglia, Fausto; Sebastiani, Roberto
5
1996
Calculating criticalities. Zbl 0906.68138
Bundy, A.; Giunchiglia, F.; Sebastiani, R.; Walsh, T.
1
1996
ABSFOL: a proof checker with abstraction. Zbl 1412.68226
Giunchiglia, Fausto; Villafiorita, Adolfo
1
1996
Reasoning about theory adequacy. A new solution to the qualification problem. Zbl 0826.68110
Bouquet, Paolo; Giunchiglia, Fausto
2
1995
Multilanguage hierarchical logics, or: How we can do without modal logics. Zbl 0787.68093
Giunchiglia, Fausto; Serafini, Luciano
27
1994
A system for multi-level mathematical reasoning. Zbl 0808.68094
Giunchiglia, Fausto; Traverso, Paolo
1
1994
The inevitability of inconsistent abstract spaces. Zbl 0784.68075
Giunchiglia, Fausto; Walsh, Toby
1
1993
A theory of abstraction. Zbl 0762.68054
Giunchiglia, Fausto; Walsh, Toby
26
1992
Reflective reasoning with and between a declarative metatheory and the implementation code. Zbl 0745.68092
Giunchiglia, Fausto; Traverso, Paolo
3
1991
Abstract theorem proving. Zbl 0708.68066
Giunchiglia, Fausto; Walsh, Toby
6
1989
FUR: Understanding FUnctional Reasoning. Zbl 0706.68083
DiManzo, M.; Trucco, E.; Giunchiglia, F.; Ricci, F.
1
1989
all top 5

Cited by 614 Authors

14 Giunchiglia, Fausto
9 Cimatti, Alessandro
9 Giunchiglia, Enrico
8 Vardi, Moshe Y.
7 Sebastiani, Roberto
7 Serafini, Luciano
6 Eiter, Thomas
6 Roveri, Marco
5 Armando, Alessandro
5 Gheorghe, Marian
5 Ipate, Florentin
5 Konur, Savas
5 Maratea, Marco
4 Cadoli, Marco
4 Ghidini, Chiara
4 Kolbe, Thomas H.
4 Lefticaru, Raluca
4 Rybakov, Vladimir Vladimirovich
4 Tonetta, Stefano
3 Calmet, Jacques
3 Cook, Byron
3 Dekhtyar, Michael I.
3 Dikovsky, Alexander Yakovlevich
3 Duan, Zhenhua
3 Fink, Michael
3 Grossi, Davide
3 Li, Jianwen
3 Mancini, Toni
3 Mateescu, Radu
3 Monteiro, Pedro T.
3 Patrizi, Fabio
3 Pu, Geguang
3 Schuppan, Viktor
3 Tian, Cong
3 Torroni, Paolo
3 Traverso, Paolo
3 Valiev, Mars K.
3 Walsh, Toby
3 Walther, Christoph
3 Zhang, Lijun
3 Zhang, Nan
2 Areces, Carlos
2 Bersani, Marcello Maria
2 Biere, Armin
2 Bonakdarpour, Borzoo
2 Bouquet, Paolo
2 Bozzano, Marco
2 Brewka, Gerhard
2 Brim, Luboš
2 Bundy, Alan
2 Caprotti, Olga
2 Castellini, Claudio
2 Ceterchi, Rodica
2 Chang, Jinn-Shu
2 Chechik, Marsha
2 Ciardo, Gianfranco
2 Coglio, Alessandro
2 Cruz-Filipe, Luís
2 Dasgupta, Pallab
2 De Giacomo, Giuseppe
2 de Jong, Hidde
2 Dignum, F. P. M.
2 Dixon, Clare
2 Dumas, Estelle
2 Ehlers, Rüdiger
2 Fraser, Gordon
2 Gaspar, Graça
2 Giordano, Laura
2 Gurfinkel, Arie
2 He, Jifeng
2 Hustadt, Ullrich
2 Krennwallner, Thomas
2 Kröning, Daniel
2 Kupferman, Orna
2 Lomuscio, Alessio
2 Luo, Xiangyu
2 Martelli, Alberto
2 Mello, Paola
2 Menghi, Claudio
2 Merz, Stephan
2 Meyer, John-Jules Charles
2 Moffitt, Michael D.
2 Montali, Marco
2 Mover, Sergio
2 Nunes, Isabel
2 Ouaknine, Joel O.
2 Ranise, Silvio
2 Rawlings, Blake C.
2 Rossi, Matteo A. C.
2 Rozier, Kristin Yvonne
2 Rümmer, Philipp
2 Sattar, Abdul
2 Sergot, Marek J.
2 Strichman, Ofer
2 Su, Kaile
2 Szpyrka, Marcin
2 Tacchella, Armando
2 Tahar, Sofiène
2 Tsai, Ming-Hsien
2 Tsay, Yih-Kuen
...and 514 more Authors
all top 5

Cited in 58 Serials

34 Artificial Intelligence
23 Formal Methods in System Design
18 Formal Aspects of Computing
16 Theoretical Computer Science
13 Journal of Automated Reasoning
12 Journal of Applied Logic
9 Annals of Mathematics and Artificial Intelligence
8 Information and Computation
5 Journal of Symbolic Computation
5 Journal of Logical and Algebraic Methods in Programming
4 Acta Informatica
4 International Journal of Intelligent Systems
3 Journal of Computer and System Sciences
3 Science of Computer Programming
3 Annals of Pure and Applied Logic
3 Discrete Event Dynamic Systems
3 Constraints
2 Programming and Computer Software
2 Journal of Computer Science and Technology
2 International Journal of Approximate Reasoning
2 Distributed Computing
2 Journal of Applied Non-Classical Logics
2 Theory of Computing Systems
2 The Journal of Logic and Algebraic Programming
2 Theory and Practice of Logic Programming
2 Journal of Applied Mathematics
2 ACM Transactions on Computational Logic
2 Frontiers of Computer Science
2 Journal of Membrane Computing
1 Discrete Applied Mathematics
1 International Journal of General Systems
1 Information Processing Letters
1 Fuzzy Sets and Systems
1 Journal of Philosophical Logic
1 Mathematics and Computers in Simulation
1 Synthese
1 Annals of Operations Research
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 International Journal of Foundations of Computer Science
1 Cybernetics and Systems Analysis
1 Archives of Control Sciences
1 Journal of Logic, Language and Information
1 The Journal of Artificial Intelligence Research (JAIR)
1 Computational & Mathematical Organization Theory
1 Journal of Combinatorial Optimization
1 Chaos
1 Fundamenta Informaticae
1 Electronic Commerce Research
1 Computer Languages, Systems & Structures
1 International Journal of Flexible Manufacturing Systems
1 Science in China. Series F
1 Journal of Zhejiang University. Science A
1 Electronic Notes in Theoretical Computer Science
1 Logica Universalis
1 Symmetry
1 Games
1 Computer Science Review
1 Prikladnaya Diskretnaya Matematika

Citations by Year