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
(244)
Orna Kupferman
73
Ronald Fagin
34
Joseph Y. Halpern
32
Diego Calvanese
32
Giuseppe De Giacomo
32
Conferences
(79)
PODS
27
LICS
26
CAV
25
STOC
19
TACAS
15
Journals
(47)
CACM
19
JCSS
13
FMSD
12
IANDC
10
JACM
8
Keywords
(408)
Embed
Subscribe
Academic
Authors
Moshe Vardi
Edit
Moshe Vardi
Rice University
Publications: 511
|
Citations: 15890
|
G-Index: 110
|
H-Index: 63
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
,
Databases
View FAQ about top research area and research interests
Collaborated with
244 co-authors
from 1979 to 2011
; Cited by
6236 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(511)
BibTeX
|
RIS
|
RefWorks
Download
Temporal Synthesis for Bounded Systems and Environments
Orna Kupferman
,
Yoad Lustig
,
Moshe Y. Vardi
,
Mihalis Yannakakis
Conference:
Symposium on Theoretical Aspects of Computer Science - STACS
, pp. 615-626, 2011
Simplifying schema mappings
Diego Calvanese
,
Giuseppe De Giacomo
,
Maurizio Lenzerini
,
Moshe Y. Vardi
Conference:
International Conference on Database Theory - ICDT
, pp. 114-125, 2011
The Complexity of Integer Bound Propagation
Lucas Bordeaux
,
George Katsirelos
,
Nina Narodytska
,
Moshe Y. Vardi
Journal:
Journal of Artificial Intelligence Research - JAIR
, vol. 40, pp. 657-676, 2011
Where have all the workshops gone?
Moshe Y. Vardi
Journal:
Communications of The ACM - CACM
, vol. 54, no. 1, pp. 5-5, 2011
Fumbling the future
Moshe Y. Vardi
Journal:
Communications of The ACM - CACM
, vol. 54, no. 3, pp. 5-5, 2011
Order by:
Citations
(15890 times by 8399 publications)
Quantitative Multi-objective Verification for Probabilistic Systems
(
Citations: 5
)
Vojtech Forejt
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
,
Hongyang Qu
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 112-127, 2011
Distributed Algorithms for SCC Decomposition
(
Citations: 4
)
Jiri Barnat
,
Jakub Chaloupka
,
Jaco van de Pol
Journal:
Journal of Logic and Computation - LOGCOM
, vol. 21, no. 1, pp. 23-44, 2011
The earlier the better: a theory of timed actor interfaces
(
Citations: 2
)
Marc Geilen
,
Stavros Tripakis
,
Maarten Wiggers
Published in 2011.
Fixpoint Logics over Hierarchical Structures
(
Citations: 4
)
Stefan Göller
,
Markus Lohrey
Journal:
Theory of Computing Systems / Mathematical Systems Theory - MST
, vol. 48, no. 1, pp. 93-131, 2011
Extensions of MSO and the monadic counting hierarchy
(
Citations: 2
)
Juha Kontinen
,
Hannu Niemistö
Published in 2011.
Comments