Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=214
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Continuous time temporal logic with counting
Yoram Hirshfeld
,
Alexander Rabinovich
Information and Computation
214
, 2012, pp. 1-9
Static slicing of explicitly synchronized languages
Michael Leuschel
,
Marisa Llorens
,
Javier Oliver
,
Josep Silva
,
Salvador Tamarit
Information and Computation
214
, 2012, pp. 10-46
No double discount: Condition-based simultaneity yields limited gain
Yoram Moses
,
Michel Raynal
Information and Computation
214
, 2012, pp. 47-58
Divide and congruence: From decomposition of modal formulas to preservation of branching and
\eta
-bisimilarity
Wan Fokkink
,
Rob van Glabbeek
,
Paulien de Wind
Information and Computation
214
, 2012, pp. 59-85
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages
Giovanni Lagorio
,
Marco Servetto
,
Elena Zucca
Information and Computation
214
, 2012, pp. 86-111
Mismatch sampling
Raphaƫl Clifford
,
Klim Efremenko
,
Benny Porat
,
Ely Porat
,
Amir Rothschild
Information and Computation
214
, 2012, pp. 112-118
An approach to innocent strategies as graphs
Pierre-Louis Curien
,
Claudia Faggian
Information and Computation
214
, 2012, pp. 119-155