Zum Inhalt springen

Asarin, Eugene [Herausgeber:in]; Bouyer, Patricia [Sonstige Person, Familie und Körperschaft] ; FORMATS 4 2006 Paris

Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25 - 27, 2006; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 4202
Asarin, Eugene [Verfasser:in]; Degorre, Aldric [Verfasser:in] ; Eugene Asarin and Aldric Degorre [Mitwirkende:r]

Two Size Measures for Timed Languages

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Asarin, Eugene [Sonstige Person, Familie und Körperschaft]; Bouyer, Patricia [Sonstige Person, Familie und Körperschaft]

Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4202
Asarin, Eugene [Verfasser:in]; Degorre, Aldric [Verfasser:in]; Dima, Cătălin [Verfasser:in]; Jacobo Inclán, Bernardo [Verfasser:in] ; Eugene Asarin and Aldric Degorre and Cătălin Dima and Bernardo Jacobo Inclán [Mitwirkende:r]

Bandwidth of Timed Automata: 3 Classes

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Asarin, Eugene [Sonstige Person, Familie und Körperschaft]; Gollmann, Dieter [Sonstige Person, Familie und Körperschaft]; Meier, Jan [Sonstige Person, Familie und Körperschaft]; Sabelfeld, Andrei [Sonstige Person, Familie und Körperschaft]

Computer Security ? ESORICS 2006 : 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4189
Asarin, Eugene [Verfasser:in]; Cervelle, Julien [Verfasser:in]; Degorre, Aldric [Verfasser:in]; Dima, Catalin [Verfasser:in]; Horn, Florian [Verfasser:in]; Kozyakin, Victor [Verfasser:in] ; Eugene Asarin and Julien Cervelle and Aldric Degorre and Catalin Dima and Florian Horn and Victor Kozyakin [Mitwirkende:r]

Entropy Games and Matrix Multiplication Games

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Asarin, Eugene

Language and Automata Theory and Applications: Measuring Information in Timed Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen in: Language and Automata Theory and Applications (2012), Seite 1-2
Asarin, Eugene

Lecture Notes in Computer Science: Timed Automata and Timed Languages Challenges and Open Problems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science (2004), Seite 1-1
Asarin, Eugene

Hybrid Systems: Computation and Control: Equations on timed languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1998

Erschienen in: Hybrid Systems: Computation and Control (1998), Seite 1-12
Basset, Nicolas; Asarin, Eugene

Lecture Notes in Computer Science: Thin and Thick Timed Regular Languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Lecture Notes in Computer Science (2011), Seite 113-128
Asarin, Eugene; Degorre, Aldric

CONCUR 2009 - Concurrency Theory: Volume and Entropy of Regular Timed Languages: Discretization Approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: CONCUR 2009 - Concurrency Theory (2009), Seite 69-83
Asarin, Eugene; Degorre, Aldric

Lecture Notes in Computer Science: Volume and Entropy of Regular Timed Languages: Analytic Approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Lecture Notes in Computer Science (2009), Seite 13-27
Asarin, Eugene; Dima, Cătălin

On the computation of covert channel capacity

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

EDP Sciences, 2010

Erschienen in: RAIRO - Theoretical Informatics and Applications, 44 (2010) 1, Seite 37-58
Asarin, Eugene; Collins, Pieter

Automata, Languages and Programming: Noisy Turing Machines

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Automata, Languages and Programming (2005), Seite 1031-1042
Asarin, Eugene; Dang, Thao

Hybrid Systems: Computation and Control: Abstraction by Projection and Application to Multi-affine Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Hybrid Systems: Computation and Control (2004), Seite 32-47
Asarin, Eugene; Dima, Cătălin

Balanced timed regular expressions1 1Partially supported by the European community project IST-2001-35304 AMETIST

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2003

Erschienen in: Electronic Notes in Theoretical Computer Science, 68 (2003) 5, Seite 16-33
Asarin, Eugene; Schneider, Gerardo

CONCUR 2002 — Concurrency Theory: Widening the Boundary between Decidable and Undecidable Hybrid Systems*

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: CONCUR 2002 — Concurrency Theory (2002), Seite 193-208
Asarin, Eugene; Maler, Oded

Hybrid Systems: Computation and Control: As Soon as Possible: Time Optimal Control for Timed Automata

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1999

Erschienen in: Hybrid Systems: Computation and Control (1999), Seite 19-30
Asarin, Eugene; Maler, Oded

Optimal control for timed automata 1

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1999

Erschienen in: IFAC Proceedings Volumes, 32 (1999) 2, Seite 2131-2136
Asarin, Eugene; Maler, Oded

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1998

Erschienen in: Journal of Computer and System Sciences, 57 (1998) 3, Seite 389-398

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr