569 documents

  • Arthur Milchior. A Quasi-Linear Time Algorithm Deciding Whether Weak B\"uchi Automata Reading Vectors of Reals Recognize Saturated Languages. 2018. 〈hal-01676719〉
  • Arthur Milchior. Spectra and satisfiability for logics with successor and a unary func- tion. Mathematical Logic Quarterly, Wiley, A Paraître. 〈hal-01676718〉
  • Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau. Verification of SGAC Access Control Policies Using Alloy and ProB. 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. IEEE Computer Society, PROCEEDINGS HASE 2017: 18th IEEE International Symposium on High Assurance Systems Engineering, pp.120 - 123, 2017, 〈10.1109/HASE.2017.24〉. 〈hal-01574899〉
  • Henning Fernau, Lakshmanan Kuppusamy, Sergey Verlan. Universal Matrix Insertion Grammars with Small Size. Unconventional Computation and Natural Computation - 16th International Conference, UCNC 2017, Jun 2017, Fayetteville, United States. Lecture Notes in Computer Science, 10240, pp.182-193, 2017. 〈hal-01638808〉
  • Julien Cervelle, Grégory Lafitte. On shift-invariant maximal filters and hormonal cellular automata. LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, pp.1-10, 2017, 〈http://lics.siglog.org/lics17/〉. 〈10.1109/LICS.2017.8005145〉. 〈hal-01615278〉
  • Arthur Milchior. Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order. Lecture notes in computer science, springer, 2017, Theory and Applications of Models of Computation, 10185, pp.440-454. 〈10.1007/978-3-319-55911-7_32〉. 〈hal-01676466〉
  • Sergey Verlan, Artiom Alhazov, Rudolf Freund, Sergiu Ivanov. (Tissue) P Systems with Vesicles of Multisets. 15th International Conference on Automata and Formal Languages, AFL 2017, Sep 2017, Debrecen, Hungary. 252, pp.11 - 25, 2017, 〈10.4204/EPTCS.252.6〉. 〈hal-01638707〉
  • Farah Ait Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. Stochastic bounds for switched Bernoulli batch arrivals observed through measurements. ASMTA 2017 : international conference on Analytical and Stochastic Modeling Techniques and Applications, Jul 2017, Newcastle-Upon-Tyne, United Kingdom. Springer, Proceedings ASMTA 2017 : international conference on Analytical and Stochastic Modeling Techniques and Applications, pp.1 - 15, 2017, 〈10.1007/978-3-319-61428-1_1〉. 〈hal-01685254〉
  • Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. 〈https://pfia2017.greyc.fr/iaf/〉. 〈hal-01577780〉
  • Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. 〈10.1007/s10766-016-0415-8〉. 〈hal-01159182〉