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: Author="Akshay, S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Implementing realistic asynchronous automata
S. Akshay
,
Ionut Dinca
,
Blaise Genest
,
Alin Stefanescu
Leibniz International Proceedings in Informatics (LIPIcs)
24
, 2013, pp. 213-224
Regular set of representatives for time-constrained MSC graphs
S. Akshay
,
Blaise Genest
,
Loïc Hélouët
,
Shaofa Yang
Information Processing Letters
112
(14-15), 2012, pp. 592-598
Model checking time-constrained scenario-based specifications
S. Akshay
,
Paul Gastin
,
Madhavan Mukund
,
K. Narayan Kumar
Leibniz International Proceedings in Informatics (LIPIcs)
8
, 2010, pp. 204-215
Automata and logics for timed message sequence charts
S. Akshay
,
Benedikt Bollig
,
Paul Gastin
Lecture Notes in Computer Science
4855
, 2007, pp. 290-302