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
(247)
Zohar Manna
72
Lenore Zuck
51
Oded Maler
34
Yonit Kesten
28
David Harel
25
Conferences
(60)
CAV
20
ICALP
17
POPL
15
LICS
12
VMCAI
9
Journals
(27)
TCS
9
ENTCS
9
IANDC
7
JCSS
7
STTT
5
Keywords
(392)
Embed
Subscribe
Academic
Authors
Amir Pnueli
Edit
Amir Pnueli
Weizmann Institute of Science
Publications: 384
|
Citations: 20942
|
G-Index: 138
|
H-Index: 70
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:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
247 co-authors
from 1969 to 2010
; Cited by
9787 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(384)
BibTeX
|
RIS
|
RefWorks
Download
Jtlv: A Framework for Developing Verification Algorithms
(
Citations: 2
)
Amir Pnueli
,
Yaniv Sa’ar
,
Lenore D. Zuck
Conference:
Computer Aided Verification - CAV
, pp. 171-174, 2010
Revisiting Synthesis of GR(1) Specifications
(
Citations: 1
)
Uri Klein
,
Amir Pnueli
Conference:
Haifa Verification Conference - HVC
, pp. 161-181, 2010
Temporal Verification of Reactive Systems: Response
Zohar Manna
,
Amir Pnueli
Conference:
Birthday ...
, pp. 279-361, 2010
Towards Component Based Design of Hybrid Systems: Safety and Stability
Werner Damm
,
Henning Dierks
,
Jens Oehlerking
,
Amir Pnueli
Conference:
Birthday ...
, pp. 96-143, 2010
Proving the Refuted: Symbolic Model Checkers as Proof Generators
Ittai Balaban
,
Amir Pnueli
,
Lenore D. Zuck
Conference:
Birthday ...
, pp. 221-236, 2010
Order by:
Citations
(20942 times by 11426 publications)
Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language
Huibiao Zhu
,
Fan Yang
,
Jifeng He
,
Jonathan P. Bowen
,
Jeff W. Sanders
,
Shengchao Qin
Journal:
The Journal of Logic and Algebraic Programming - JLP
, vol. 81, no. 1, 2012
Semantics of transactional memory and automatic mutual exclusion
(
Citations: 49
)
Andrew Birrell
,
Tim Harris
,
Michael Isard
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, vol. 33, no. 1, pp. 1-50, 2011
Similarity of business process models: Metrics and evaluation
(
Citations: 13
)
Remco M. Dijkman
,
Marlon Dumas
,
Boudewijn F. van Dongen
,
Reina Käärik
,
Jan Mendling
Journal:
Information Systems - IS
, vol. 36, no. 2, pp. 498-516, 2011
Semantics and Computability of the Evolution of Hybrid Systems
(
Citations: 4
)
Pieter Collins
Published in 2011.
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
Comments