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=Theor.~Comput.~Sci. AND Volume=537
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
Joakim Byg
,
Morten Jacobsen
,
Lasse Jacobsen
,
Kenneth Yrke Jrgensen
,
Mikael Harkjær Mller
,
Jiȓí Srba
Theoretical Computer Science
537
, 2014, pp. 3-28
Topology, monitorable properties and runtime verification
Volker Diekert
,
Martin Leucker
Theoretical Computer Science
537
, 2014, pp. 29-41
Axiomatizing weak simulation semantics over BCCSP
Luca Aceto
,
David de Frutos Escrig
,
Carlos Gregorio-Rodríguez
,
Anna Ingolfsdottir
Theoretical Computer Science
537
, 2014, pp. 42-71
Characterization, definability and separation via saturated models
Carlos Areces
,
Facundo Carreiro
,
Santiago Figueira
Theoretical Computer Science
537
, 2014, pp. 72-86
On some derivation mechanisms and the complexity of their Szilard languages
Liliana Cojocaru
,
Erkki Mäkinen
Theoretical Computer Science
537
, 2014, pp. 87-96
Ambiguity and structural ambiguity of symmetric difference NFAs
A.B. van der Merwe
,
L. van Zijl
,
J. Geldenhuys
Theoretical Computer Science
537
, 2014, pp. 97-104
Towards a generic view of primality through multiset decompositions of natural numbers
Paul Tarau
Theoretical Computer Science
537
, 2014, pp. 105-124