Открытый каталог публикаций OpenAlex 87 документов

• Automata, Languages and Programming
  год: 2011 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• CONCUR 2009 - Concurrency Theory
  авторы: Mario Bravetti; Gianluigi Zavattaro год: 2009 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Automata, Languages and Programming
  авторы: Thomas Colcombet; Christof Löding год: 2008 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Model checking security properties of control flow graphs
  авторы: Frédéric Besson; Thomas Jensen; Daniel Le Métayer и др. год: 2001 источник: Journal of Computer Security тип: статья из журнала
  Полный текстПодробнее
• Automata theory in nominal sets
  авторы: Mikołaj Bojańczyk; Bartek Klin; Sławomir Lasota год: 2014 источник: Logical Methods in Computer Science тип: статья из журнала
  Полный текстПодробнее
• Automata, Languages and Programming
  авторы: Luca Aceto; Monika Henzinger; Jiřį́ Sgall год: 2011 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Fundamentals of Computation Theory
  авторы: Ralf Klasing; Marc Zeitoun год: 2017 источник: Lecture notes in computer science тип: книга
  Страница публикацииПодробнее
• Genetic Dissection ofVerticilliumWilt Resistance Mediated by Tomato Ve1
  авторы: Emilie F. Fradin; Zhao Zhang; Juan C. Juarez Ayala и др. год: 2009 источник: PLANT PHYSIOLOGY тип: статья из журнала
  Полный текстПодробнее
• Interfamily Transfer of TomatoVe1MediatesVerticilliumResistance in Arabidopsis
  авторы: Emilie F. Fradin; Ahmed Abd‐El‐Haliem; Laura Masini и др. год: 2011 источник: PLANT PHYSIOLOGY тип: статья из журнала
  Страница публикацииПодробнее
• L ax F: Side Conditions and External Evidence as Monads
  авторы: Furio Honsell; Luigi Liquori; Ivan Scagnetto год: 2014 источник: Lecture notes in computer science тип: глава из книги
  Полный текстПодробнее
• Expression of the SOMATIC EMBRYOGENESIS RECEPTOR-LIKE KINASE1 (SERK1) gene is associated with developmental change in the life cycle of the model legume Medicago truncatula
  авторы: Kim E. Nolan; Sergey Kurdyukov; Ray J. Rose год: 2009 источник: Journal of Experimental Botany тип: статья из журнала
  Полный текстПодробнее
• Provenance analysis for FOL model checking
  автор: Val Tannen год: 2017 источник: ACM SIGLOG News тип: статья из журнала
  Полный текстПодробнее
• Formalization and verification of coherence protocols with the gamma framework
  авторы: Mentre; Le Metayer; Priol год: 2000 тип: статья
  Полный текстПодробнее
• Trading Bounds for Memory in Games with Counters
  авторы: Nathanaël Fijalkow; Florian Horn; Denis Kuperberg и др. год: 2015 источник: Lecture notes in computer science тип: глава из книги
  Полный текстПодробнее
• Deciding the value 1 problem for probabilistic leaktight automata
  авторы: Nathanaël Fijalkow; Hugo Gimbert; Edon Kelmendi и др. год: 2015 источник: Logical Methods in Computer Science тип: статья из журнала
  Полный текстПодробнее