Filtrer vos résultats
- 31
- 16
- 27
- 15
- 2
- 2
- 1
- 47
- 1
- 1
- 3
- 2
- 1
- 1
- 4
- 3
- 2
- 3
- 3
- 5
- 1
- 4
- 2
- 1
- 5
- 3
- 2
- 46
- 1
- 39
- 11
- 9
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 47
- 17
- 6
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
47 résultats
|
|
triés par
|
|
Weakly-unambiguous Parikh automata and their link to holonomic seriesICALP 2020 - 47th International Colloquium on Automata, Languages and Programming, Jul 2020, Saarbrücken, Germany. pp.114.1-114.16, ⟨10.4230/LIPIcs.ICALP.2020.114⟩
Communication dans un congrès
hal-03084639v1
|
||
|
C-SHORe: a collapsible approach to higher-order verificationACM SIGPLAN International Conference on Functional Programming (ICFP'13), Sep 2013, Boston, MA, United States. pp.13-24, ⟨10.1145/2500365.2500589⟩
Communication dans un congrès
hal-00865155v1
|
||
|
A Saturation Method for Collapsible Pushdown SystemsAutomata, Languages and Programming, 39th International Colloquium, ICALP 2012, 2012, Warwick, United Kingdom. pp.165-176, ⟨10.1007/978-3-642-31585-5_18⟩
Communication dans un congrès
hal-00694991v1
|
||
|
Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical PropertiesACM Transactions on Computational Logic, 2021, 22 (2), ⟨10.1145/3452917⟩
Article dans une revue
hal-03014425v1
|
||
|
Qualitative Tree LanguagesTwenty-Sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2011), 2011, Toronto, Canada. pp.13-22, ⟨10.1109/LICS.2011.28⟩
Communication dans un congrès
hal-00616304v1
|
||
Preface : Fixed Points in Computer Science (FICS) 2013Fundamenta Informaticae, 2017, 150 (3-4), pp.i-ii. ⟨10.3233/FI-2017-1468⟩
Article dans une revue
hal-03116273v1
|
|||
The Caucal Hierarchy of Infinite Graphs in Terms of Logic23rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'03), Dec 2003, United States. pp.112-123
Communication dans un congrès
hal-00620170v1
|
|||
|
On Rational Trees20th International Conference on Computer Science Logic (CSL'06), Sep 2006, Szeged, Hungary. pp.225-239
Communication dans un congrès
hal-00620171v1
|
||
|
How Good Is a Strategy in a Game with Nature?ACM Transactions on Computational Logic, 2020, 21 (3), pp.21:1-21:39. ⟨10.1145/3377137⟩
Article dans une revue
hal-02487233v1
|
||
|
Linearly bounded infinite graphsActa Informatica, 2006, 43 (4), p. 265-292. ⟨10.1007/s00236-006-0022-z⟩
Article dans une revue
hal-00149109v1
|
||
Uniformization in Automata TheoryLogic, Methodology and Philosophy of Science - Proceedings of the 14th International Congress, 2015
Chapitre d'ouvrage
hal-01806575v1
|
|||
|
Automata on Infinite Trees with Equality and Disequality Constraints Between SiblingsLICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2016, New York, United States. pp.227-236, ⟨10.1145/2933575.2934504⟩
Communication dans un congrès
hal-01804545v1
|
||
|
Distribution of the number of accessible states in a random deterministic automatonSTACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.194-205
Communication dans un congrès
hal-00678213v1
|
||
|
Choice functions and well-orderings over the infinite binary treeCentral European Journal of Mathematics, 2010, 8 (6), pp.662-682. ⟨10.2478/s11533-010-0046-z⟩
Article dans une revue
hal-00733452v1
|
||
|
Counting Branches in Trees Using GamesInformation and Computation, 2017, 252, pp.221-242. ⟨10.1016/j.ic.2016.11.005⟩
Article dans une revue
hal-01563189v1
|
||
On the representation of McCarthy's amb in the Pi-calculusTheoretical Computer Science, 2005, 330 (3), pp.439-473
Article dans une revue
hal-00619703v1
|
|||
Regular Sets of Higher-Order Pushdown Stacks30th International Symposium on Mathematical Foundations of Computer Science (MFCS'05), Aug 2005, Poland. pp.168-179
Communication dans un congrès
hal-00620141v1
|
|||
On Equivalent Representations of Infinite Structures30th International Colloquium on Automata, Languages and Programming (ICALP'03), Jun 2003, Netherlands. pp.599-610
Communication dans un congrès
hal-00620143v1
|
|||
|
Randomisation in Automata on Infinite TreesACM Transactions on Computational Logic, 2014, 15 (3), pp.24. ⟨10.1145/2629336⟩
Article dans une revue
hal-01260669v1
|
||
|
Pure Strategies in Imperfect Information Stochastic GamesFundamenta Informaticae, 2018, 160 (4), pp.361-384. ⟨10.3233/FI-2018-1687⟩
Article dans une revue
hal-01831546v1
|
||
|
Regular Strategies In Pushdown Reachability GamesRP 2014, 2014, Oxford, United Kingdom. pp.58-71, ⟨10.1007/978-3-319-11439-2_5⟩
Communication dans un congrès
hal-01719810v1
|
||
|
FICS 20107th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
Communication dans un congrès
hal-00512377v1
|
||
|
Winning regions of higher-order pushdown gamesTwenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, United States. pp.193-204
Communication dans un congrès
hal-00345939v1
|
||
|
Algebraic synchronization trees and processesInternational Colloquium on Automata, Languages, and Programming (ICALP 2012), 2012, United Kingdom. pp.30-41, ⟨10.1007/978-3-642-31585-5_7⟩
Communication dans un congrès
hal-00733449v1
|
||
|
A context-free linear ordering with an undecidable first-order theory7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.104-118, ⟨10.1007/978-3-642-33475-7_8⟩
Communication dans un congrès
hal-00733458v1
|
||
|
Recursion Schemes and Logical ReflectionTwenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010), 2010, Edinburgh, United Kingdom. pp.120-129
Communication dans un congrès
hal-00479818v1
|
||
|
How Good Is a Strategy in a Game with Nature?30th Annual IEEE Symposium on Logic in Computer Science (LiCS 2015), 2015, Kyoto, Japan. pp.12, ⟨10.1109/LICS.2015.62⟩
Communication dans un congrès
hal-01260696v1
|
||
|
Proceedings Workshop on Fixed Points in Computer ScienceEPTCS, pp.101, 2013, ⟨10.4204/EPTCS.126⟩
Ouvrages
hal-00865152v1
|
||
|
On Long Words Avoiding Zimin PatternsTheory of Computing Systems, 2019, 63 (5), pp.926-955. ⟨10.1007/s00224-019-09914-2⟩
Article dans une revue
hal-02415882v1
|
||
|
Higher-order recursion schemes and their automata modelsJean-Éric Pin. Handbook of Automata Theory, 2, European Mathematical Society, pp.1295-1341, 2021, 978-3-98547-006-8
Chapitre d'ouvrage
hal-03176662v1
|
- 1
- 2