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
(893)
Maribel Fernandez (Maribel Fernández)
7
Angelo Troina
6
Martin Kutrib
5
Kai Salomaa
5
Paolo Milazzo
5
Lubos Brim
4
Andrea Maggiolo-schettini
4
Joshua D. Guttman
4
Roberto Barbuti
4
Luca Aceto
4
Keywords
(887)
Subscribe
Academic
Journals
Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science
Publications: 466
|
Citation Count: 53 (Self-Citation: 11)
|
H-Index: 3Year Range: 2009-2011
Interests:
Computer Science
Cumulative
Annual
Order by:
Publications
(466)
A LTL Fragment for GR (1)Synthesis
(
Citations: 1
)
Andreas Morgenstern
,
Klaus Schneider
Journal:
Electronic Proceedings in Theoretical Computer Science
, vol. 50, pp. 33-45, 2011
Synchronizing Objectives for Markov Decision Processes
(
Citations: 1
)
Laurent Doyen
,
Thierry Massart
,
Mahsa Shirmohammadi
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 61-75, 2011
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
(
Citations: 2
)
Christian von Essen
,
Barbara Jobstmann
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 17-32, 2011
PORGY: Strategy-Driven Interactive Transformation of Graphs
(
Citations: 1
)
Oana Andrei
,
Maribel Fernández
,
Hélène Kirchner
,
Guy Melançon
,
Olivier Namet
,
Bruno Pinaud
Journal:
Electronic Proceedings in Theoretical Computer Science
, pp. 54-68, 2011
Proceedings Third International Workshop on Classical Logic and Computation
Steffen van Bakel
,
Stefano Berardi
,
Ulrich Berger
Journal:
Electronic Proceedings in Theoretical Computer Science
, 2011