Walukiewicz, Igor.
Walukiewicz, Igor, 1968-....
Igor Walukiewicz mathématicien polonais
VIAF ID: 249789627 (Personal)
Permalink: http://viaf.org/viaf/249789627
Preferred Forms
- 100 0 _ ‡a Igor Walukiewicz ‡c mathématicien polonais
-
-
-
-
-
-
-
- 100 1 _ ‡a Walukiewicz, Igor
- 100 1 _ ‡a Walukiewicz, Igor
-
- 100 1 _ ‡a Walukiewicz, Igor, ‡d 1968-....
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Abstractions pour les automates temporisés | |
Automata for the μ-calculus and related results | |
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité | |
Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri. | |
Caractérisation décidables de logiques sur les arbres. | |
Choice functions and well-orderings over the infinite binary tree | |
A Complete deductive system for the ~m-calculus | |
Decidable characterizations for tree logics | |
Decidable properties of tree languages | |
Descriptive set theoretic methods in automata theory | |
ETAPS 2004 | |
Exploiting model structure in CEGAR verification method | |
FCT 2015 | |
FOSSACS 2004 | |
Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings | |
Fundamentals of computation theory : 20th international symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015 : proceedings | |
Games for the µ-calculus / Damian Niwiński, Igor Walukiewicz. - Warszawa, 1994. | |
Implicit automata in linear logic and categorical transducer theory | |
Local logics for traces | |
Metody deskryptywnej teorii mnogości w teorii automatów | |
Notes on the propositional μ-calculus | |
On the infinitary proof theory of logics with fixed points | |
Partial order reduction for timed systems | |
A polyhedral framework for reachability problems in Petri Nets | |
Propriétés structurelles des automates sur les mots infinis et mémoire pour les jeux | |
Réduction d'ordre partiel pour les systèmes temporisés. | |
Rozstrzygalne własności języków drzew | |
Structural properties of automata over infinite words and memory for games. | |
A study on the expressive power of some fragments of the modal µ-calculus | |
Sur la décidabilité de certains problèmes de synthèse de contrôleurs | |
Symbolic controller synthesis for timed systems : robustness and optimality | |
Synthèse pour une logique temps-réel faible. | |
Synthesis for a weak real-time logic | |
Théorie de la preuve infinitaire pour les logiques à points fixes. | |
Tree automata with global constraints for the verification of security properties. | |
Unfolding based verification of concurrent infinite-state systems | |
Vérification d'automates temporisés : sûreté, vivacité et modélisation. | |
Verification of timed automata : reachability, liveness and modelling |