Téodor Knapik

Professeur
Logique informatique

Biographie
  • 1993 – Doctorat en informatique (Orsay)
  • 1994 – MC à l’Université de la Réunion
  • 2001 – HDR en informatique
  • 2004 – PR à l’Université de la Nouvelle Calédonie

Sujet de la thèse

Structures avec les théories décidables et applications aux systèmes dynamiques.

Encadrements

  • Encadrement du doctorat d’Étienne Payet (actuellement professeur à l’Université de la Réunion).
  • Encadrement du doctorat de Marcin Przybyłko (en cours en co-tutelle avec Damian Niwinski).
Dernières publications

Revues internationales avec comité de lecture 

  1. avec Didier Caucal. – Shelah-Stupp’s Iteration and Muchnik’s Iteration. Fundamenta Informaticae, vol. 159, issue 4, 2018, pp. 327–359.
  2. avec Bruno Courcelle. – The evaluation of first–order substitution is monadic second–order compatible. Theoretical Comput. Sci., vol. 281, n°1-2, 2002, pp. 177–206.
  3. Checking simple Properties of Transition Systems Defined by Thue Specifications. Journal of Automated Reasoning, vol. 28, n°4, 2002, pp. 337–369.
  4. avec Didier Caucal. – An Internal Presentation of Regular Graphs by Prefix–recognizable Graphs. Theory of Computing Systems, vol. 34, n°4, 2001, pp. 299–336.
  5. avec Hugues Calbrix. – Thue specifications and their monadic second–order properties. Fundamenta Informaticae, vol. 39, issue 3, 1999, pp. 305–325.
  6. avec Étienne Payet. – The full quotient and its closure property for regular languages. Process. Lett., vol. 65, n°2, 1998, pp. 57–62.
  7. avec Gilles Bernot et Michel Bidoit. – Observational approaches and indistinguishability assumption. Theoretical Comput. Sci., vol. 139, 1995, pp. 275–314.
  8. avec Gilles Bernot et Michel Bidoit. – Behavioural approaches in algebraic specifications: a comparative study. Acta Inf., n°31, 1994, pp. 651–671.

Colloques internationaux avec comité de lecture et actes 

  1. avec Meenakshi D’Souza. – Verficiation of Message Sequence Structures. In: International Conference on Distributed Computing and Internet Technology, ICDCIT 2013, éd. par Hota (C.), Srimani (P.K.) pp. 171–182. – Bhubaneswar, Février 2013.
  2. avec Didier Caucal. – Higher order indexed monadic systems. In: Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, éd. par Chakraborty (S.), Kumar (A.) pp. 469–480. – Chennai, Décembre 2011.
  3. avec Damian Niwiński, Paweł Urzyczyn et Igor Walukiewicz. – Unsafe Grammars and Panic Automata. In: International Colloqium on Languages, Automata and Programming, ICALP 2005, éd. par Caires (B.), Italiano (G. F.), Monteiro (L.), Palamidessi (C.) et Young (M.) pp. 1550–1461. – Lisbonne, Juillet 2005.
  4. avec Christian Delhommé et D. Gnanaraj Thomas. – Using Transitive–closure Logic for Deciding Linear Properties of Monoids. In: Mathematical Foundations of Computer Science MFCS 2003, éd. par Rovan (B.) et Vojtáš pp. 378–387. – Bratislava, Août 2003.
  5. avec Didier Caucal. – A Chomsky-like Hierarchy of Infinite Graphs. In: Mathematical Foundations of Computer Science MFCS 2002, éd. par Diks (K.), Rytter (W.) pp. 177–187. – Varsovie, Août 2002.
  6. avec Damian Niwiński et Paweł Urzyczyn. – Higher–order pushdown trees are easy. In: Foundations of Software Science and Computation Structures FOSSACS 2002, éd. par Nielsen (M.) pp. 205–222. – Grenoble, Avril 2002.
  7. avec Damian Niwiński et Paweł Urzyczyn. – Deciding Monadic Theories of Hyperalgebraic Trees. In: 5th International Conference on Typed Lambda Calculi and Applications, éd. par Abramsky (S.), pp. 362–373. – Kraków, Mai 2001.
  8. avec Étienne Payet. – Synchronized product of linear bounded machines. In: 12th International Symposium on Foundamentals of Computation Theory, éd. par Ciobanu (G.) et Paun (G.), pp. 362–373. – Iaşi, Août 1999.
  9. avec Hugues Calbrix. – The graphs of finite monadic semi–Thue systems have a decidable monadic second–order theory. In: Combinatorics, Computation and Logic ’99, éd. par Calude (C. S.) et Dinneen (M. J.). pp. 273–285. – Auckland, Jan. 1999.
  10. avec Hugues Calbrix. – A string–rewriting characterization of Muller and Shupp’s context–free graphs. In: 18th International Conference on Foundations of Software Technology and Theoretical Computer Science, éd. par Arvind (V.) et Ramanujam (R.), pp. 331–342. – Chennai, Déc. 1998.
  11. A procedure for computing normal forms of certain rational sets. In: Proceedings of the 4th African Conference on Research in Computer Science, éd. par Tchuente (M.). 211–225. – Dakar, Oct. 1998.
  12. Concurrency and real-time specification with many-sorted logic and abstract data types: an example. In: Proceedings of the 2th African Conference on Research in Computer Science, éd. par Tankoano (J.). 401–418. – Ouagadougou, Oct. 1994.
  13. Specifications with observable formulae and observational satisfaction relation. In: Recent Trends in Data Type Specification, éd. par Bidoit (M.) et Choppy (C.), pp. 271–291. – Dourdan, Sept. 1991. Selected papers from the 8Workshop on Specification of Abstract Data Types.
  14. avec Gilles Bernot et Michel Bidoit. – Towards an adequate notion of observation. In: European Symposium on Programming, éd. par Krieg-Brückner (B.), pp. 39–55. – Rennes, Fév. 1992.

Conférences invitées

  1. The (hyper)algebraic hiererchy. – Workshop on Automata, Structures and Logic. – Auckland, Décembre 2004.
  2. Hyperalgebraic structures. – 2nd Workshop on Automata, Concurrency and Logic. – Chennai (Madras), Janvier 2003.