Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(69)
Amir Pnueli
72
Henny B. Sipma
64
Richard J. Waldinger
39
Tomas E. Uribe (Tomás E. Uribe)
17
Anca Browne
17
Conferences
(57)
ICALP
9
CAV
8
POPL
7
Hybrid Systems
6
CADE
5
Journals
(22)
CACM
9
SIGPLAN
6
JACM
5
ACTA
5
FMSD
5
Keywords
(241)
Embed
Subscribe
Academic
Authors
Zohar Manna
Zohar Manna,Stanford University,Algorithms & Theory,Software Engineering,Programming Languages
Edit
Zohar Manna
Stanford University
Publications:
258
|
Citations:
12886
Fields:
Algorithms & Theory
,
Software Engineering
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
69 co-authors
from 1968 to 2010
|
Cited by
6724 authors
Cumulative
Annual
Sort by:
Publications
(258)
BibTeX
|
RIS
|
RefWorks
Download
Time for Verification, Essays in Memory of Amir Pnueli
(
Citations: 1
)
Zohar Manna
,
Doron Peled
Conference:
Birthday ...
, 2010
Temporal Verification of Reactive Systems: Response
Zohar Manna
,
Amir Pnueli
Conference:
Birthday ...
, pp. 279-361, 2010
Property-directed incremental invariant generation
(
Citations: 10
)
Aaron R. Bradley
,
Zohar Manna
Journal:
Formal Aspects of Computing - FAC
, vol. 20, no. 4-5, pp. 379-405, 2008
Constructing invariants for hybrid systems
(
Citations: 7
)
Sriram Sankaranarayanan
,
Henny B. Sipma
,
Zohar Manna
Journal:
Formal Methods in System Design - FMSD
, vol. 32, no. 1, pp. 25-55, 2008
Deductive verification of alternating systems
(
Citations: 1
)
Matteo Slanina
,
Henny B. Sipma
,
Zohar Manna
Journal:
Formal Aspects of Computing - FAC
, vol. 20, no. 4-5, pp. 507-560, 2008
Sort by:
Citations
(12886 times by 7360 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
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
A Data Driven Approach for Algebraic Loop Invariants
Rahul Sharma
,
Saurabh Gupta
,
Bharath Hariharan
,
Alex Aiken
,
Aditya V. Nori
Published in 2012.
Program Extrapolation with Jennisys
K. Rustan M. Leino
,
Aleksandar Milicevic
Published in 2012.
INTERNATIONAL STANDARD
Unknown
Published in 2012.
Comments