Skip to contents

Asarin, Eugene [Editor]; Bouyer, Patricia [Other] ; FORMATS 4 2006 Paris

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4202
Asarin, Eugene [Author]; Degorre, Aldric [Author] ; Eugene Asarin and Aldric Degorre [Contributor]

Two Size Measures for Timed Languages

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Asarin, Eugene [Other]; Bouyer, Patricia [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4202
Asarin, Eugene [Author]; Degorre, Aldric [Author]; Dima, Cătălin [Author]; Jacobo Inclán, Bernardo [Author] ; Eugene Asarin and Aldric Degorre and Cătălin Dima and Bernardo Jacobo Inclán [Contributor]

Bandwidth of Timed Automata: 3 Classes

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Asarin, Eugene [Other]; Gollmann, Dieter [Other]; Meier, Jan [Other]; Sabelfeld, Andrei [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 4189
Asarin, Eugene [Author]; Cervelle, Julien [Author]; Degorre, Aldric [Author]; Dima, Catalin [Author]; Horn, Florian [Author]; Kozyakin, Victor [Author] ; Eugene Asarin and Julien Cervelle and Aldric Degorre and Catalin Dima and Florian Horn and Victor Kozyakin [Contributor]

Entropy Games and Matrix Multiplication Games

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Language and Automata Theory and Applications
Asarin, Eugene

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Lecture Notes in Computer Science
Asarin, Eugene

Hybrid Systems: Computation and Control: Equations on timed languages

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Hybrid Systems: Computation and Control
Basset, Nicolas; Asarin, Eugene

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Lecture Notes in Computer Science
Asarin, Eugene; Degorre, Aldric

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: CONCUR 2009 - Concurrency Theory
Asarin, Eugene; Degorre, Aldric

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Lecture Notes in Computer Science
Asarin, Eugene; Dima, Cătălin

On the computation of covert channel capacity

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

EDP Sciences, 2010

Published in: RAIRO - Theoretical Informatics and Applications
Asarin, Eugene; Collins, Pieter

Automata, Languages and Programming: Noisy Turing Machines

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2005

Published in: Automata, Languages and Programming
Asarin, Eugene; Dang, Thao

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Hybrid Systems: Computation and Control
Asarin, Eugene; Dima, Cătălin

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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2003

Published in: Electronic Notes in Theoretical Computer Science
Asarin, Eugene; Schneider, Gerardo

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: CONCUR 2002 — Concurrency Theory
Asarin, Eugene; Maler, Oded

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1999

Published in: Hybrid Systems: Computation and Control
Asarin, Eugene; Maler, Oded

Optimal control for timed automata 1

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1999

Published in: IFAC Proceedings Volumes
Asarin, Eugene; Maler, Oded

Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1998

Published in: Journal of Computer and System Sciences

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication