Alessandro Cimatti - Citas de Google Académico

Citado por

	Total	Desde 2014
Citas	18534	7518
Índice h	58	37
Índice i10	178	124

1500

750

375

1125

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201971 86 176 236 300 555 623 715 806 837 982 919 976 1073 1137 1234 1233 1288 1487 1236 1276 984

Coautores

Marco RoveriResearcher at Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Roberto SebastianiAssociate Professor in Computer Science, DISI, University of Trento, ItalyDirección de correo verificada de unitn.it
Stefano TonettaFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Alberto GriggioResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu
Marco BozzanoFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Fausto GiunchigliaProfessor of Computer Science, Università di TrentoDirección de correo verificada de disi.unitn.it
Paolo TraversoDirector of Research, FBK ICT IRST, TrentoDirección de correo verificada de fbk.eu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Armin BiereJohannes Kepler University LinzDirección de correo verificada de jku.at
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyDirección de correo verificada de fbk.eu
Sergio MoverAssistant Professor of Computer Science, École PolytechniqueDirección de correo verificada de polytechnique.edu
Andrea MicheliFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Enrico GiunchigliaDIBRIS - Università di GenovaDirección de correo verificada de unige.it
Roberto BruttomessoExpert Researcher and Software EngineerDirección de correo verificada de atrenta.com
Ofer StrichmanTechnion, Haifa, IsraelDirección de correo verificada de ie.technion.ac.il
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteDirección de correo verificada de cs.rwth-aachen.de
Viet Yen NguyenCTO at HypefactorsDirección de correo verificada de hypefactors.com
Cristian MattareiApple Inc.Dirección de correo verificada de cs.stanford.edu
Marco GarioSiemens Corporate TechnologyDirección de correo verificada de siemens.com
Iman NarasamdyaResearcher, Fondazione Bruno KesslerDirección de correo verificada de fbk.eu

Alessandro Cimatti

Head of Unit, Fondazione Bruno Kessler

Dirección de correo verificada de fbk.eu - Página principal

Formal Verification Model Checking SMT Planning FDIR


Título	Citado por	Año
Symbolic model checking without BDDs A Biere, A Cimatti, E Clarke, Y Zhu International conference on tools and algorithms for the construction and …, 1999	2690	1999
Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... International Conference on Computer Aided Verification, 359-364, 2002	1931	2002
Bounded model checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Advances in computers 58 (11), 117-148, 2003	955	2003
Symbolic model checking using SAT procedures instead of BDDs A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 317-320, 1999	903	1999
NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri International conference on computer aided verification, 495-499, 1999	782	1999
NuSMV: a new symbolic model checker A Cimatti, E Clarke, F Giunchiglia, M Roveri International Journal on Software Tools for Technology Transfer 2 (4), 410-425, 2000	717	2000
Perseus: Randomized point-based value iteration for POMDPs MTJ Spaan, N Vlassis Journal of artificial intelligence research 24, 195-220, 2005	693	2005
Weak, strong, and strong cyclic planning via symbolic model checking A Cimatti, M Pistore, M Roveri, P Traverso Artificial Intelligence 147 (1-2), 35-84, 2003	407	2003
The mathsat5 smt solver A Cimatti, A Griggio, BJ Schaafsma, R Sebastiani International Conference on Tools and Algorithms for the Construction and …, 2013	389	2013
The nuXmv symbolic model checker R Cavada, A Cimatti, M Dorigatti, A Griggio, A Mariotti, A Micheli, S Mover, ... International Conference on Computer Aided Verification, 334-342, 2014	305	2014
Planning in nondeterministic domains under partial observability via symbolic model checking P Bertoli, A Cimatti, M Roveri, P Traverso IJCAI 2001, 473-478, 2001	252	2001
The MathSAT 4 SMT Solver R Bruttomesso, A Cimatti, A Franzén, A Griggio, R Sebastiani International Conference on Computer Aided Verification, 299-303, 2008	232	2008
Safety, dependability and performance analysis of extended AADL models M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri The Computer Journal 54 (5), 754-775, 2010	213	2010
Bounded Model Checking. A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu Handbook of satisfiability 185 (99), 457-481, 2009	208	2009
A SAT based approach for solving formulas over boolean and linear mathematical propositions G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani International Conference on Automated Deduction, 195-210, 2002	207	2002
Conformant planning via symbolic model checking A Cimatti, M Roveri Journal of Artificial Intelligence Research 13, 305-338, 2000	205	2000
Planning via model checking: A decision procedure for AR A Cimatti, E Giunchiglia, F Giunchiglia, P Traverso European Conference on Planning, 130-142, 1997	184	1997
Automatic OBDD-based generation of universal plans in non-deterministic domains A Cimatti, M Roveri, P Traverso AAAI/IAAI, 875-881, 1998	182	1998
MBP: a model based planner P Bertoli, A Cimatti, M Pistore, M Roveri, P Traverso Proc. of the IJCAI’01 Workshop on Planning under Uncertainty and Incomplete …, 2001	179	2001
Nusmv 2.4 user manual R Cavada, A Cimatti, CA Jochim, G Keighren, E Olivetti, M Pistore, ... CMU and ITC-irst, 2005	173	2005

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores