 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00527852v1
Pré-publication, Document de travail
Eugene Asarin, Aldric Degorre. Two Size Measures for Timed Languages A short version (without appendix) of this paper will appear in proceedings of FSTTCS'2010 (in LI.. 2010 |
||
|
hal-00157955v1
Communication dans un congrès
Eugene Asarin. Does Church-Turing thesis apply outside computer science? Transgressive Computing 2006, A conference in honor of Jean Della Dora, 2006, Granada, Spain. 2006 |
||
|
hal-01164086v3
Pré-publication, Document de travail
Eugene Asarin, Julien Cervelle, Aldric Degorre, Catalin Dima, Florian Horn et al. Entropy Games and Matrix Multiplication Games Accepted to STACS 2016. 2015 |
||
|
hal-00157540v1
Ouvrage (y compris édition critique et traduction)
Eugene Asarin, Patricia Bouyer. Formal Modeling and Analysis of Timed Systems Springer, pp.367, 2006, <10.1007/11867340> |
||
|
hal-00157551v1
Communication dans un congrès
Eugene Asarin, Thao Dang. Abstraction by Projection and Application to Multi-affine Systems Hybrid Systems: Computation and Control, 7th International Workshop, 2004, Philadelphia, United States. Springer, pp.32-47, 2004, Lecture Notes in Computer Science 2993. <10.1007/b96398> |
||
|
hal-00157566v1
Communication dans un congrès
Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert. Some Progress in Satisfiability Checking for Difference Logic Yassine Lakhnech and SergioYovine. Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, 2004, Grenoble, France. Springer, pp.263-276, 2004, Lecture Notes in Computer Science 3253. <10.1007/b100824> |
||
|
hal-01078613v1
Pré-publication, Document de travail
Eugene Asarin, Nicolas Basset, Aldric Degorre. Entropy of regular timed languages 2014 |
||
|
hal-00157685v1
Article dans une revue
Eugene Asarin. Challenges in Timed Languages: From Applied Theory to Basic Theory Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2004, 83, pp.106-120 |
||
|
hal-00172768v2
Article dans une revue
Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part II: Phase Portrait and Tools Theoretical Computer Science, Elsevier, 2007, Accepted, To appear. Manuscript Number: TCS-D-07-00065R1 |
||
|
hal-00157340v1
Article dans une revue
Eugene Asarin, Gerardo Schneider, Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability Theoretical Computer Science, Elsevier, 2007, 379 (1-2), pp.231-265. <10.1016/j.tcs.2007.03.055> |
||
|
|
||