Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(914)
Emanuele Daddi
76
Alvio Renzini
72
Lucia Pozzetti
62
Marco Roveri
61
Gianni Zamorani
59
Conferences
(44)
CAV
10
FMCAD
9
TACAS
8
ECAI
5
ICAPS(AIPS)
4
Journals
(27)
ASTRON ASTROPHYS
41
ASTROPHYS J
10
AI
3
ENTCS
3
ASTROPHYS J LETT
3
Keywords
(499)
Embed
Subscribe
Academic
Authors
Alessandro Cimatti
Edit
Alessandro Cimatti
Fondazione Bruno Kessler
Publications: 290
|
Citations: 5807
|
G-Index: 71
|
H-Index: 38
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Astrophysics & Space Science
,
Software Engineering
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
914 co-authors
from 1992 to 2011
; Cited by
5312 authors
Bing
Cumulative
Annual
Order by:
Publications
(290)
BibTeX
|
RIS
|
RefWorks
Download
Formalizing requirements with object models and temporal constraints
(
Citations: 2
)
Alessandro Cimatti
,
Marco Roveri
,
Angelo Susi
,
Stefano Tonetta
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 147-160, 2011
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Conference:
IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT
, 2011
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
(
Citations: 2
)
Alessandro Cimatti
,
Iman Narasamdya
,
Marco Roveri
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 341-356, 2011
Optical-NIR spectra of quasars close to reionization (z~ 6)
V. D'Odorico
,
G. Cupani
,
S. Cristiani
,
R. Maiolino
,
P. Molaro
,
M. Nonino
,
A. Cimatti
,
S. di Serego Alighieri
,
F. Fiore
,
A. Fontana
,
S. Gallerani
,
E. Giallongo
http://academic.research.microsoft.com/io.ashx?type=5&id=27612701&selfId1=711526&selfId2=0&maxNumber=12&query=
Published in 2011.
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Alessandro Cimatti
,
Alberto Griggio
,
Roberto Sebastiani
Journal:
Journal of Artificial Intelligence Research - JAIR
, vol. 40, pp. 701-728, 2011
Order by:
Citations
(5807 times by 3776 publications)
Path-oriented bounded reachability analysis of composed linear hybrid systems
(
Citations: 2
)
Lei Bu
,
Xuandong Li
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 4, pp. 307-317, 2011
Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems
(
Citations: 2
)
Tino Teige
,
Andreas Eggers
,
Martin Fränzle
Journal:
Nonlinear Analysis: Hybrid Systems
, vol. 5, no. 2, pp. 343-366, 2011
Formalizing requirements with object models and temporal constraints
(
Citations: 2
)
Alessandro Cimatti
,
Marco Roveri
,
Angelo Susi
,
Stefano Tonetta
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 147-160, 2011
System-Software Co-Engineering: Dependability and Safety Perspective
(
Citations: 1
)
Yuri Yushstein
,
Marco Bozzano
,
Alessandro Cimatti
,
Joost-Pieter Katoen
,
Viet Yen Nguyen
,
Thomas Noll
,
Xavier Olive
,
Marco Roveri
Conference:
IEEE International Conference on Space Mission Challenges for Information Technology - SMC-IT
, 2011
Toward verification of material handling systems
(
Citations: 1
)
Thomas Klotz
,
Bernd Straube
,
Eva Fordran
,
Jurgen Haufe
,
Frank Schulze
,
Karsten Turek
,
Thorsten Schmidt
Conference:
IEEE International Conference on Industrial Informatics - INDIN
, 2011
Comments