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
Authors
(1385)
Madhavan Mukund
11
C. E. Veni Madhavan
10
Christos Levcopoulos
10
Vishwa Vinay
9
Venkatesh K. Raman
9
Amir Pnueli
7
P. S. Thiagarajan
7
S Muthukrishnan
6
Kim Guldstrand Larsen
6
Kesav V. Nori
6
Keywords
(1112)
Subscribe
Academic
Conferences
FSTTCS - Foundations of Software Technology and Theoretical Computer Science
FSTTCS - Foundations of Software Technology and Theoretical Computer Science
Publications: 936
|
Citation Count: 11,442 (Self-Citation: 173)
|
H-Index: 37Year Range: 1984-2010
Interests:
Algorithms & Theory
Paper submissions due: 6 July 2011, Duration:
12 - 14 December 2011, Mumbai, India
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(936)
Lower bounds for Quantum Oblivious Transfer
(
Citations: 2
)
André Chailloux
,
Iordanis Kerenidis
,
Jamie Sikora
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 157-168, 2010
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete
(
Citations: 2
)
Sven Schewe
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 400-411, 2010
Reasoning About Strategies
(
Citations: 1
)
Fabio Mogavero
,
Aniello Murano
,
Moshe Y. Vardi
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 133-144, 2010
ATL with Strategy Contexts: Expressiveness and Model Checking
(
Citations: 1
)
Arnaud Da Costa Lopes
,
François Laroussinie
,
Nicolas Markey
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 120-132, 2010
Place-Boundedness for Vector Addition Systems with one zero-test
(
Citations: 1
)
Rémi Bonnet
,
Alain Finkel
,
Jérôme Leroux
,
Marc Zeitoun
Conference:
Foundations of Software Technology and Theoretical Computer Science - FSTTCS
, pp. 192-203, 2010