Publications du Département

2022

Publications référencées

• Patricia Bouyer, Mickaël Randour, Pierre Vandenhove, Characterizing Omega-Regularity Through Strategy Complexity of Games on Infinite Graphs, Symposium on Theoretical Aspects of Computer Science, Marseille, France, 2022.

2021

Publications référencées

• Stéphane Charpentier, Karl Grosse-Erdmann, Quentin Menet, Chaos and frequent hypercyclicity for weighted shifts, Ergodic Theory and Dynamical Systems, 41 (2021), pp. 3634–3670, Cambridge University Press.
• Sophie Grivaux, Etienne Matheron, Quentin Menet, Does a typical lp-space contraction have a non-trivial invariant subspace?, Transactions of the American Mathematical Society, 374 (2021), pp. 7359–7410, American Mathematical Society.
• James Main, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, International Conference on Concurrency Theory, , , 2021.
• Patricia Bouyer, Youssouf Oualhadj, Mickaël Randour, Pierre Vandenhove, Arena-Independent Finite-Memory Determinacy in Stochastic Games, International Conference on Concurrency Theory, , , 2021.
• James Main, Mickaël Randour, Jeremy Sproston, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, International Conference on Concurrency Theory, , , 2021.
• Quentin Menet, Invariant subspaces for Fréchet spaces without continuous norm, Proceedings of the American Mathematical Society, 149 (2021), pp. 3379–3393, American Mathematical Society.
• Sophie Grivaux, Etienne Matheron, Quentin Menet, Linear dynamical systems on Hilbert spaces: Typical properties and explicit examples, Memoirs of the American Mathematical Society, 269 (2021), pp. 1–147, American Mathematical Society.
• Damien Galant, Cédric Pilatte, A note on optimal degree-three spanners of the square lattice, Discrete Mathematics, Algorithms and Applications, (2021).
• Romuald Ernst, Céline Esser, Quentin Menet, U-frequent hypercyclicity notions and related weighted densities, Israel Journal of Mathematics, 241 (2021), pp. 817–848, Springer.
• Quentin Menet, Inverse of frequently hypercyclic operators, Journal of the Institute of Mathematics of Jussieu, (2021), Cambridge University Press.

Actes de congrès avec peer-reviewing

• Stéphanie Bridoux, Nicolas Grenier-Boley, Christophe Hache, Julie Horoks, Aline Robert, Fabrice Vandebrouck, Une opérationnalisation de la Théorie de l'Activité en didactique des mathématiques, XXème école d'été de didactique des mathématiques, Autrans, France, 2021.

Chapitres d'ouvrage

• Maria Trigueros, Stéphanie Bridoux, Ann O'Shea, Laura Branchetti, Challenging issues in the teaching and learning of Calculus and Analysis, 2021, Routledge.

2020

Publications référencées

• Stéphanie Bridoux, Antoine Derobertmasure, Simon De Val, L'introduction des nombres irrationnels dans l'enseignement secondaire belge francophone - une étude du discours des enseignants, Petit X, 113 (2020), pp. 3–29, Institut de Recherche sur l'Enseignement des Mathématiques.
• Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Logical Methods in Computer Science, 16 (2020), pp. 13:1–13:30, Technischen Universitat Braunschweig.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games., Logical Methods in Computer Science, 16 (2020), pp. 8:1–8:43, Technischen Universitat Braunschweig.
• Aline Goeminne, Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games, Information Processing Letters, 163 (2020), Elsevier.
• Pierre Vandenhove, Decisiveness of Stochastic Systems and its Application to Hybrid Models, International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium, 2020.
• Patricia Bouyer, Thomas Brihaye, Mickaël Randour, Cédric Rivière, Pierre Vandenhove, Decisiveness of Stochastic Systems and its Application to Hybrid Models, International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium, 2020.
• Cédric Pilatte, NP-completeness of slope-constrained drawing of complete graphs, Journal of Computational Geometry, (2020), Carleton University.
• Pierre Vandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, International Conference on Concurrency Theory, Vienna, Austria, 2020.
• Thomas Brihaye, Aline Goeminne, On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games, International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Autriche, 2020.
• Quentin Menet, Inverse of U-frequently hypercyclic operators, Journal of Functional Analysis, 279 (2020), Elsevier.
• Patricia Bouyer, Stéphane Le Roux, Youssouf Oualhadj, Mickaël Randour, Pierre Vandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, International Conference on Concurrency Theory, Vienna, Austria, 2020.
• Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux, On the Termination of Dynamics in Sequential Games, Information and Computation, (2020), Elsevier.
• Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickaël Randour, Simple Strategies in Multi-Objective MDPs, International Conference on Tools and Algorithms for Construction and Analysis of Systems, Dublin, Ireland, 2020.
• Quentin Lambotte, Françoise Point, On expansions of (Z,+,0), Annals of Pure and Applied Logic, 171 (2020), pp. 1–36, Elsevier. DOI: 10.1016/j.apal.2020.102809.
• Javier Falcó, Karl Grosse-Erdmann, Algebras of frequently hypercyclic vectors, Mathematische Nachrichten, 293 (2020), pp. 1120–1135, Wiley - VCH Verlag GmbH & Co..
• Nathanael Mariaule, Expansions of the p-adic numbers that interpret the ring of integers, Mathematical Logic Quarterly, 66 (2020), pp. 82–90, John Wiley & Sons. DOI: 10.1002/malq.201900040.
• Sonia L'Innocente, Françoise Point, Bézout domains and lattice-valued modules, Journal of Pure and Applied Algebra, 224 (2020), pp. 444–467, Elsevier.
• Quentin Menet, A bridge between U-frequent hypercyclicity and frequent hypercyclicity, Journal of Mathematical Analysis and Applications, 482 (2020), Elsevier.
• Cédric Pilatte, On the sets of n points forming n + 1 directions, Electronic Journal of Combinatorics, (2020), Electronic Journal of Combinatorics. DOI: 10.37236/8308.
• Javier Falcó, Karl Grosse-Erdmann, Algebrability of the set of hypercyclic vectors for backward shift operators, Advances in Mathematics, 366 (2020), Elsevier.
• Karl Grosse-Erdmann, Karl Weierstrass: A Westphalian mathematician, Mathematical Intelligencer, 42 (2020), pp. 60–63, Springer.

Actes de congrès avec peer-reviewing

• Stéphanie Bridoux, Cécile de Hosson, Céline Nihoul, Pratiques in situ d’enseignants universitaires et confrontation avec le vécu des étudiants : une étude de cas, INDRUM, Bizerte, Tunisie, 2020.
• Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Nathalie Lebrun, Zoé Mesnil, Céline Nihoul, The professional identity of teacher-researchers in mathematics, INDRUM, Bizerte, Tunisie, 2020.
• Nithyaraaj Kugalur Palanisamy, François Ducobu, Edouard Rivière, Pedro Arrazola, Influence of the Choice of the Parameters on Constitutive Models and their Effects on the Results of Ti6Al4V Orthogonal Cutting Simulation, Esaform 2020, Cottbus, Allemagne, 2020.

2019

Publications référencées

• Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Benjamin Monmege, Bruno Quoitin, Dynamics on Games: Simulation-Based Techniques and Applications to Routing, Foundations of Software Technology and Theoretical Computer Science, , , 2019.
• Quentin Brouette, Pablo Cubides-Kovacsics, Françoise Point, Strong density property of definable types and closed ordered differential fields, Journal of Symbolic Logic, (2019), Cambridge University Press.
• Florent Delgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Christophe Troestler, Francesca Gladiali, Massimo Grossi, A non-variational system involving the critical Sobolev exponent. The radial case., Journal d'Analyse Mathématique, (2019), Magnes Press. arXiv: 1603.05641.
• Nithyaraaj Kugalur Palanisamy, Edouard Rivière, Arrazola Pedro, François Ducobu, Comparison of Johnson-Cook and modified Johnson-Cook material constitutive models and their influence on finite element modelling of Ti6Al4V orthogonal cutting process, AIP Conference Proceedings, 2113 (2019), American Institute of Physics. DOI: 10.1063/1.5112617.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Marie van den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Nathan Thomasset, On Relevant Equilibria in Reachability Games, Reachability Problems, Brussels, Belgium, 2019.
• Karl Grosse-Erdmann, Frequently hypercyclic bilateral shifts, Glasgow Mathematical Journal, 61 (2019), pp. 271–286, Cambridge University Press.
• Sonia L’Innocente, Françoise Point, Gena Puninski, Carlo Toffalori, The Ziegler spectrum of the ring of entire complex valued functions, Journal of Symbolic Logic, (2019), Cambridge University Press.
• Juan Bès, Quentin Menet, Alfredo Peris, Yunied Puig, Strong transitivity properties for operators, Journal of Differential Equations, 266 (2019), pp. 1313–1337, Elsevier.
• Véronique Bruyère, Quentin Hautem, Mickaël Randour, Jean-François Raskin, Energy Mean-Payoff Games, International Conference on Concurrency Theory, Amsterdam, The Netherlands, 2019.

Actes de congrès avec peer-reviewing

• Françoise Point, Valued modules on skew polynomial rings and Bézout domains, Model theory of modules, algebras and categories, Erice, Italie, 2019.
• Stéphanie Bridoux, Classe inversée pour introduire les suites numériques: une expérience en première année universitaire, EMF 2018, Gennevilliers, France, 2019.
• Céline Nihoul, Les équations de droites dans l'espace: une étude des proximités discursives dans les manuels de l'enseignement secondaire belge, Espace Mathématique Francophone (EMF), Paris, France, 2019.
• Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Nathalie Lebrun, Zoé Mesnil, Céline Nihoul, L'identité professionnelle des enseignants-chercheurs en mathématiques, chimie et physique, Espace Mathématique Francophone (EMF), Paris, France, 2019.

2018

Publications référencées

• Luc Bélair, Françoise Point, Fractional parts of dense additive subgroups of real numbers, Algebra Universalis, 79 (2018), pp. 1–23, Birkhauser Verlag.
• Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Arthur Milchior, Benjamin Monmege, Efficient Algorithms and Tools for MITL Model-Checking and Synthesis, IEEE International Conference on Engineering of Complex Computer Systems, Melbourne, Australie, 2018.
• Stéphane Le Roux, Arno Pauly, Mickaël Randour, Extending finite-memory determinacy by Boolean combination of winning conditions, Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, 2018.
• Quentin Menet, Invariant subspaces for non-normable Fréchet spaces, Advances in Mathematics, 339 (2018), pp. 495–539, Elsevier.
• Françoise Point, Definability of types and vc density in topological differential fields, Archive for Mathematical Logic, 57 (2018), pp. 809–828, Springer. DOI: 10.1007/s00153-017-0607-y.
• Patricia Bouyer, Mauricio Gonzalez, Nicolas Markey, Mickaël Randour, Multi-weighted Markov decision processes with reachability objectives, International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany, 2018.
• Karl Grosse-Erdmann, Upper frequent hypercyclicity and related notions, Revista Matemática Complutense, 31 (2018), pp. 673–711, Universidad Complutense de Madrid.
• Stéphanie Bridoux, Classe inversée: une expérience en première année universitaire, Petit X, 106 (2018), pp. 24, Institut de Recherche sur l'Enseignement des Mathématiques.
• Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin, Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives, International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Allemagne, 2018.
• Quentin Brouette, Françoise Point, Anand Pillay, Greg Cousins, Embedded Picard-Vessiot extensions, Communications in Algebra, 46 (2018), pp. 1_7, Taylor and Francis. DOI: 10.1002/malq.201600098.
• Patricia Bouyer, Nicolas Markey, Kim G. Larsen, Simon Laursen, Mickaël Randour, Average-energy games, Acta Informatica, 55 (2018), pp. 91–127, Springer.
• Christophe Troestler, Francesca Gladiali, Massimo Grossi, Entire radial and nonradial solutions for systems with critical growth, Calculus of Variations and Partial Differential Equations, 57 (2018), Springer. arXiv: 1612.03510.
• Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier, When are stochastic transition systems tameable?, Journal of Logical and Algebraic Methods in Programming, (2018), Elsevier.
• Quentin Menet, Existence of common hypercyclic subspaces for the derivative operator and the translation operators, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A Matemáticas, 113 (2018), pp. 487–505, Real Academia de Ciencias Exactas, Fisicas y Naturales.

2017

Publications référencées

• Thomas Brihaye, Gilles Geeraerts, Marion Hallet, Stéphane Le Roux, Dynamics and Coalitions in Sequential Games, International Symposium on Games, Automata, Logics and Formal Verification, Rome, Italie, 2017.
• Thomas Brihaye, Gilles Geeraerts, Hso-Ming Ho, Benjamin Monmege, Timed-Automata-Based Verification of MITL over Signals, International Symposium/Workshop on Temporal Representation and Reasoning, Mons, Belgique, 2017.
• Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, MightyL : A Compositional Translation from MITL to Timed Automata, International Conference on Computer Aided Verification, Heidelberg, Allemagne, 2017.
• Raphaël Berthon, Mickaël Randour, Jean-François Raskin, Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes, International Colloquium on Automata, Languages and Programming, , , 2017.
• Quentin Menet, Linear chaos and frequent hypercyclicity, Transactions of the American Mathematical Society, 369 (2017), pp. 4977–4994, American Mathematical Society.
• Christophe Troestler, Colette De Coster, Serge Nicaise, Spectral analysis of a generalized buckling problem on a ball, Positivity, 21 (2017), pp. 1319–1340, Birkhäuser. DOI: 10.1007/s11117-017-0469-x, arXiv: 1610.04840.
• Patricia Bouyer, Piotr Hofman, Mickaël Randour, Nicolas Markey, Martin Zimmermann, Bounding Average-energy Games, Foundations of Software Science and Computation Structure, , , 2017.
• Mickaël Randour, Jean-François Raskin, Ocan Sankur, Percentile Queries in Multi-Dimensional Markov Decision Processes, Formal Methods in System Design, 50 (2017), pp. 207–248, Kluwer Academic Publishers.
• Véronique Bruyère, Emmanuel Filiot, Mickaël Randour, Jean-François Raskin, Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games, Information and Computation, 254 (2017), pp. 259–295, Elsevier.

Actes de congrès avec peer-reviewing

• Nathalie Lebrun, Stéphanie Bridoux, Martine De Vleeschouwer, Nicolas Grenier-Boley, Rita Khanfour-Armale, Zoé Mesnil, Céline Nihoul, L'identité professionnelle des enseignants chercheurs de physique. Comparaison avec celle des mathématiciens, ARDIST, Saint-Malo, France, 2017.
• Salma Kuhlmann, Mickael Matuzinski, Françoise Point, The valuation difference rank of a quasi-ordered difference field, New Pathways between Group Theory and Model Theory, Mülheim an der Ruhr, Allemagne, 2017.

2016

Publications référencées

• Quentin Brouette, Definable types in the theory of closed ordered differential fields, Archive for Mathematical Logic, 56 (2016), Springer.
• Stéphanie Bridoux, Christphe Hache, Nicolas Grenier-Boley, Aline Robert, Les moments d’exposition des connaissances en mathématiques, analyses et exemples, Annales de Didactique et des Sciences Cognitives, 21 (2016), pp. 187–233, IREM Paris 7.
• Quentin Menet, Alfredo Peris, Juan Bès, Yunied Puig, Recurrence properties of hypercyclic operators, Mathematische Annalen, 366 (2016), pp. 545–572, Springer.
• Thomas Brihaye, Morgane Estiévenart, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege, Nathalie Sznajder, Real-time Synthesis is Hard!, Lecture Notes in Computer Science, (2016), Springer.
• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games, Acta Informatica, (2016), Springer.
• Quentin Menet, Frédéric Bayart, Romuald Ernst, Non-existence of frequently hypercyclic subspaces for P(D), Israel Journal of Mathematics, 214 (2016), pp. 149–166, Springer.
• Nathalie Bertrand, Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Decisive Stochastic Timed Automata, International Colloquium on Automata, Languages and Programming, Rome, Italie, 2016.
• Françoise Point, Michel Rigo, Laurent Waxweiler, Defining multiplication in some additive expansions of polynomial rings, Communications in Algebra, (2016), Taylor and Francis.
• Luc Bélair, Françoise Point, La logique des parties fractionnaires de nombres réels, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354 (2016), pp. 645–648, Elsevier Masson.
• Quentin Menet, Romuald Ernst, Stéphane Charpentier, Gamma-supercyclicity, Journal of Functional Analysis, 270 (2016), pp. 4443–4465, Elsevier.
• Patricia Bouyer, Thomas Brihaye, Pierre Carlier, Quentin Menet, Compositional Design of Stochastic Timed Automata, Computer Science Symposium in Russia, Saint-Pétersbourg, Russie, 2016.
• Patricia Bouyer-Decitre, Thomas Brihaye, Pierre Carlier, Quentin Menet, Composition of stochastic timed automata, Lecture Notes in Computer Science, (2016), Springer.
• Christophe Troestler, Christopher Grumiau, D. Bonheure, Multiple radial positive solutions of semilinear elliptic problems with Neumann boundary conditions, Nonlinear Analysis: Theory, Methods and Applications, (2016), pp. 236–273, Elsevier. arXiv: 1603.05610, DOI: 10.1016/j.na.2016.09.010.
• Karl Grosse-Erdmann, Fabien Heuwelyckx, The pricing of lookback options and binomial approximation, Decisions in Economics and Finance, (2016), Springer.
• Thomas Brihaye, Amit Kumar Dhar, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Efficient Energy Distribution in a Smart Grid using Multi-Player Games, Cassting/SynCoP, Eindhoven, Pays-Bas, 2016.
• Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo Pérez, Mickaël Randour, Jean-François Raskin, Non-Zero Sum Games for Reactive Synthesis (invited paper), Language and Automata Theory and Applications, Prague, Czech Republic, 2016.
• Luc Bélair, Maxime Gélinas, Françoise Point, Ensembles reconnaissables de séries formelles sur un corps fini, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 354 (2016), pp. 225–229, Elsevier Masson.
• Patricia Bouyer, Nicolas Markey, Mickaël Randour, Arnaud Sangnier, Daniel Stan, Reachability in Networks of Register Protocols under Stochastic Schedulers, International Colloquium on Automata, Languages and Programming, , , 2016.

Actes de congrès avec peer-reviewing

• Céline Nihoul, Quelques difficultés d'étudiants universitaires à reconnaître les objets "droites" et "plans" dans l'espace: une étude de cas, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Moments d'exposition des connaissances à l'université: le cas de la notion de limite, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Stéphanie Bridoux, Introduire la notion de convergence avec une ingénierie des années 1980: rêve ou réalité didactique pour l’enseignant?, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
• Stéphanie Bridoux, Viviane Durand-Guerrier, Contributions and limits of a specific course on manipulation of formal statements for fresh university students, CERME 9, Prague, République Tchèque, 2016.
• Stéphanie Bridoux, Nicolas Grenier-Boley, Viviane Durand-Guerrier, Martine De Vleeschouwer, Denise Grenier, Chantal Menini, Marc Rogalski, Pascale Sénéchaud, Fabrice Vandebrouck, Introduction aux concepts de limite de fonction et de suite en première année d'université: adaptation de deux ingénieries, EMF 2015, Alger, Algérie, 2016.
• Mickaël Randour, Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games, GAMES 2016, the 5th World Congress of the Game Theory Society, Maastricht, Pays-Bas, 2016.

2015

Publications référencées

• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, Guillermo Pérez, Gabriel Renault, Quantitative Games under Failures, Foundations of Software Technology and Theoretical Computer Science, Bangalore, Inde, 2015.
• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege, Simple Priced Timed Games Are Not That Simple, Foundations of Software Technology and Theoretical Computer Science, Bangalore, Inde, 2015.
• Thomas Brihaye, Axel Haddad, Quentin Menet, Simple strategies for Banach-Mazur games and sets of probability 1, Information and Computation, (2015), Elsevier.
• Quentin Menet, Juan Bès, Existence of common and upper frequently hypercyclic subspaces, Journal of Mathematical Analysis and Applications, 432 (2015), pp. 10–37, Elsevier.
• Céline Nihoul, Stéphanie Bridoux, Difficultés d'élèves à interpréter des constructions dans l'espace. Une étude de cas., Petit X, 98 (2015), pp. 53–76, Institut de Recherche sur l'Enseignement des Mathématiques.
• Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege, To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games., International Conference on Concurrency Theory, Madrid, Espagne, 2015.
• Christophe Troestler, Christopher Grumiau, Marco Squassina, Asymptotic symmetries for fractional operators, Nonlinear Analysis: Real World Applications, 26 (2015), pp. 351–371, Elsevier. arXiv: 1407.4029, DOI: 10.1016/j.nonrwa.2015.06.001.
• Quentin Menet, Existence and non-existence of frequently hypercyclic subspaces for weighted shifts, Proceedings of the American Mathematical Society, 143 (2015), pp. 2469–2477, American Mathematical Society.
• Quentin Menet, Hereditarily hypercyclic subspaces, Journal of Operator Theory, 73 (2015), pp. 385–405, Academia Romana.
• Christophe Troestler, Serge Nicaise, Colette De Coster, Nodal properties of eigenfunctions of a generalized buckling problem on balls, Positivity, (2015), Birkhäuser. arXiv: 1408.6180, DOI: 10.1007/s11117-015-0331-y.
• Mickaël Randour, Variations on the Stochastic Shortest Path Problem (invited paper), International Conference on Verification, Model Checking and Abstract Interpretation, Mumbai, India, 2015.
• Patricia Bouyer, Nicolas Markey, Mickaël Randour, Kim G. Larsen, Simon Laursen, Average-energy games, International Symposium on Games, Automata, Logics and Formal Verification, , , 2015.
• Mickaël Randour, Jean-François Raskin, Ocan Sankur, Percentile Queries in Multi-Dimensional Markov Decision Processes, International Conference on Computer Aided Verification, , , 2015.
• G. Bennett, Karl Grosse-Erdmann, Some pretty simple inequalities I, Positivity, 19 (2015), pp. 251–288, Birkhäuser.
• Krishnendu Chatterjee, Laurent Doyen, Mickaël Randour, Jean-François Raskin, Looking at Mean-Payoff and Total-Payoff through Windows, Information and Computation, 242 (2015), pp. 25–52, Elsevier.

Actes de congrès avec peer-reviewing

• Viviane Durand-Guerrier, Stéphanie Bridoux, Contributions and limits of a specific course on manipulation of formal statements for fresh university students, CERME 9, Prague, République Tchèque, 2015.

2014

Publications référencées

• Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski, Stochastic Timed Automata, Logical Methods in Computer Science, (2014), Technischen Universitat Braunschweig.
• Stéphane Charpentier, Quentin Menet, Augustin Mouze, Closed universal subspaces of spaces of infinitely differentiable functions, Annales de l'Institut Fourier, 64 (2014), pp. 297–325, Association des Annales de l'Institut Fourier.
• Julie De Pril, János Flesch, Jeroen Kuipers, Gijs Schoenmakers, Koos Vrieze, Existence of Secure Equilibrium in Multi-Player Games with Perfect Information, Lecture Notes in Computer Science, 8635 (2014), pp. 213–225, Springer.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and Alternating Timed Automata over Infinite Words, Lecture Notes in Computer Science, (2014), Springer.
• Arnaud Carayol, Axel Haddad, Olivier Serre, Randomization in Automata on Infinite Trees, ACM Transactions on Computational Logic, 15 (2014), pp. 1–33, Association for Computing Machinery (ACM). DOI: 10.1145/2629336.
• Nathalie Bertrand, Thomas Brihaye, Blaine Genest, Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata, Lecture Notes in Computer Science, (2014), Springer.
• Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, Ashutosh Trivedi, Adding negative prices to priced timed games, Lecture Notes in Computer Science, (2014), Springer.
• Fabien Heuwelyckx, Convergence of European Lookback Options with Floating Strike in the Binomial Model, International Journal of Theoretical and Applied Finance, (2014), World Scientific Publishing.
• Quentin Menet, Hypercyclic subspaces and weighted shifts, Advances in Mathematics, 255 (2014), pp. 305–337, Elsevier.
• Christopher Grumiau, Christophe Troestler, Convergence of a mountain pass type algorithm for strongly indefinite problems and systems, Electronic Journal of Differential Equations, Conference 21 (2014), pp. 129–147, Texas State University - San Marcos. arXiv: 1301.1456.

2013

Publications référencées

• Quentin Menet, Hypercyclic Subspaces on Fréchet Spaces Without Continuous Norm, Integral Equations and Operator Theory, 77 (2013), pp. 489–520, Birkhauser Verlag.
• Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell, Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points, Lecture Notes in Computer Science, (2013), Springer.
• Thomas Brihaye, Quentin Menet, Simple strategies for Banach-Mazur games and fairly correct systems, International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Italie, 2013.
• Thomas Brihaye, Morgane Estievenart, Gilles Geeraerts, On MITL and alternating timed automata, Lecture Notes in Computer Science, (2013), pp. 47–61, Springer.
• Christopher Grumiau, Marco Squassina, Christophe Troestler, On the Mountain-pass algorithm for the quasi-linear Schrodinger equation, Discrete and Continuous Dynamical Systems, 18 (2013), pp. 1345–1360, Dept. of Mathematics, Southwest Missouri State University. arXiv: 1205.0517, DOI: 10.3934/dcdsb.2013.18.1345.
• Sonia L'Innocente, Françoise Point, Carlo Toffalori, On the model theory of the logarithmic function in compact Lie groups, Journal of Algebra and Its Applications, 12 (2013), pp. 1350055–1/1350055–22, World Scientific. DOI: 10.1142/S0219498813500552.
• Quentin Brouette, A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Mathematical Logic Quarterly, (2013), John Wiley & Sons.
• Françoise Point, Abderezak OuldHoucine, Alternatives for pseudofinite groups, Journal of Group Theory, 16 (2013), pp. 461–495, Walter de Gruyter. DOI: 10.1515/jgt-2013-0006.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert, On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games, Logical Methods in Computer Science, 9 (2013), Technischen Universitat Braunschweig.
• Thomas Brihaye, Julie De Pril, Sven Schewe, Multiplayer Cost Games with Simple Nash Equilibria, Lecture Notes in Computer Science, 7734 (2013), pp. 59–73, Springer.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, On Equilibria in Quantitative Games with Reachability/Safety Objectives, Theory of Computing Systems, 54 (2013), pp. 150–189, Springer. DOI: 10.1007/s00224-013-9495-7.
• Karl Grosse-Erdmann, Sung Guen Kim, Bihypercyclic bilinear mappings, Journal of Mathematical Analysis and Applications, 399 (2013), pp. 701–708, Elsevier.
• Véronique Bruyère, Marc Ducobu, Olivier Gauwin, Visibly Pushdown Automata: Universality and Inclusion via Antichains, Language and Automata Theory and Applications, Bilbao, Espagne, 2013.
• Massimo Grossi, Christopher Grumiau, Filomena Pacella, Lane Emden problems with large exponents and singular Liouville equations, Journal de Mathématiques Pures et Appliquées, (2013), Elsevier.
• Christopher Grumiau, Nonlinear Schrödinger problems: symmetries of some variational solutions, NoDEA. Nonlinear Differential Equations and Applications, 20 (2013), pp. 511–521, Birkhauser Verlag. DOI: 10.1007/s00030-012-0163-4.
• Massimo Grossi, Christopher Grumiau, Filomena Pacella, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, Annales de L'Institut Henri Poincaré. Analyse Non Linéaire, 30 (2013), pp. 121–140, Elsevier. DOI: 10.1016/j.anihpc.2012.06.005.

Actes de congrès avec peer-reviewing

• Axel Haddad, Model Checking and Functional Program Transformations, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS, Guwahati, Inde, 2013. DOI: 10.1109/LICS.2011.28.

2012

Publications référencées

• Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet, Almost-Sure Model-Checking of Reactive Timed Automata., Proceedings IEEE Computer Society Bioinformatics Conference, QEST 2012 (2012), pp. 138–147.
• Nicolas Guzy, Françoise Point, Topological differential fields and dimension functions, Journal of Symbolic Logic, 77 (2012), pp. 1147–1164, Cambridge University Press. DOI: 10.2178/jsl.7704050.
• A. Bonilla, Karl Grosse-Erdmann, Frequently hypercyclic subspaces, Monatshefte für Mathematik, 168 (2012), pp. 305–320, Springer.
• Catherine Finet, A generalization of the Riesz–Fischer theorem and linear summability methods, Journal of Approximation Theory, 164 (2012), pp. 841–853, Elsevier.
• Luc Bélair, Françoise Point, Corrigendum to: Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 77 (2012), pp. 727–728, Cambridge University Press.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, Hugo Gimbert, Subgame Perfection for Equilibria in Quantitative Reachability Games., Foundations of Software Science and Computation Structure, Tallinn, Estonie, 2012.
• Paul Van Praag, 2. compte rendu de l’ ouvrage : d’Udekem-Gevers (Marie) ,La machine Mathématique (1946-1962) ,Académie royale de Belgique, Mémoire de la Cl. Des Sc., 3e série.,33, n° 2073, 2011, Revue Belge de Philologie et d'Histoire, t.90 (2012), Fondation universitaire.
• Christophe Troestler, Nicolas Tacheny, A mountain pass algorithm with projector, Journal of Computational and Applied Mathematics, 236 (2012), pp. 2025–2036, Elsevier. DOI: 10.1016/j.cam.2011.11.011.

Actes de congrès avec peer-reviewing

• Stéphanie Bridoux, Notions de topologie: élaboration de leviers didactiques à intégrer dans un enseignement pour favoriser les apprentissages des étudiants, EMF 2012, Genève, Suisse, 2012.
• Axel Haddad, IO vs OI in Higher-Order Recursion Schemes, 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonie, 2012. DOI: 10.4204/EPTCS.77.4.

Chapitres d'ouvrage

• Paul Van Praag, Un pionnier en histoire des mathématiques : le Père Henri Bosmans sj (1852-1928), 2012, KADOC-Prosopon.

2011

Publications référencées

• Quentin Menet, Sous-espaces fermés de séries universelles sur un espace de Fréchet, Studia Mathematica, 207 (2011), pp. 181–195, Polska Akademia Nauk.
• Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin, Antichain-Based QBF Solving, Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011.
• Françoise Point, Ensembles définissables dans les corps ordonnés différentiellement clos, Francoise Point, C.R.Acad.Sci.Paris, Ser.I 349 (2011), 929-933., Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 349 (2011), pp. 929–933, Elsevier Masson.
• Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell, On Reachability for Hybrid Automata over Bounded Time, Lecture Notes in Computer Science, (2011), Springer.
• Thomas Brihaye, Laurent Doyen, Gilles Geeraerts, Joël Ouaknine, Jean-François Raskin, James Worrell, On Reachability for Hybrid Automata over Bounded Time, Lecture Notes in Computer Science, (2011), Springer.
• Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer, Emptiness and Universality Problems in Timed Automata with Positive Frequency, Lecture Notes in Computer Science, (2011), Springer.
• Pietro Dello Stritto, Asymptotic classes of finite Moufang polygons, Journal of Algebra, 332 (2011), pp. 114–135, Elsevier. EPRINT.

Actes de congrès avec peer-reviewing

• Arnaud Carayol, Axel Haddad, Olivier Serre, Qualitative Tree Languages, 26th Annual IEEE Symposium on Logic in Computer Science, LICS, Toronto, Canada, 2011. DOI: 10.1109/LICS.2011.28.

Ouvrages

• Karl Grosse-Erdmann, A. Peris, Linear Chaos, 2011, Springer Verlag. ISBN: 978-1-4471-2169-5.

Éditeur invité

• Richard Aron, Juan Bès, Karl Grosse-Erdmann, A. Peris, Hypercyclicity and linear chaos, 2011, Springer.

Éditeur

• Javier Esparza, Christian Michaux, Charles Steinhorn, Finite and Algorithmic Model Theory, 2011, Cambridge University Press.

2010

Publications référencées

• Luc Bélair, Françoise Point, Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 75 (2010), pp. 1007–1034, Cambridge University Press. DOI: 10.2178/jsl/1278682213.
• Sonia L’Innocente, Angus Macintyre, Françoise Point, Exponentiations over the universal enveloping algebra of sl2(C), Annals of Pure and Applied Logic, 161 (2010), pp. 1565–1580, Elsevier. DOI: 10.1016/j.apal.2010.06.006.
• Christopher Grumiau, Christophe Troestler, Oddness of least energy nodal solutions on radial domains, Electronic Journal of Differential Equations, Conference 18 (2010), pp. 23–31, Texas State University - San Marcos. ISSN: 1072-6691.
• Maja Volkov, Abelian Surfaces with Supersingular Good Reduction and Non-Semisimple Tate Module, International Journal of Number Theory, 6 (2010), pp. 811–818, World Scientific Publishing Co..
• Françoise Point, Existentially closed ordered difference fields and rings, Mathematical Logic Quarterly, 56 (2010), pp. 239–256, John Wiley & Sons.
• Thomas Brihaye, Véronique Bruyère, Julie De Pril, Equilibria in Quantitative Reachability Games, Computer Science Symposium in Russia, Kazan, Russie, 2010. DOI: 10.1007/978-3-642-13182-0_7.
• Thomas Brihaye, Véronique Bruyère, Elaine Render, Formal languages properties of o-minimal hybrid systems, RAIRO: Informatique Théorique et Applications, 44 (2010), pp. 79–111, EDP Sciences. DOI: 10.1051/ita/2010006.
• Nicolas Guzy, Françoise Point, Topological differential fields, Annals of Pure and Applied Logic, 161 (2010), pp. 570–598, Elsevier. DOI: 10.1016/j.apal.2009.08.001.
• O. Blasco, A. Bonilla, Karl Grosse-Erdmann, Rate of growth of frequently hypercyclic functions, Proceedings of the Edinburgh Mathematical Society, 53 (2010), pp. 39–59, Cambridge University Press. DOI: 10.1017/S0013091508000564.
• Karl Grosse-Erdmann, A. Peris, Weakly mixing operators on topological vector spaces, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A Matemáticas, 104 (2010), pp. 413–426, Real Academia de Ciencias Exactas, Fisicas y Naturales.
• Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier, O-Minimal Hybrid Reachability Games, Logical Methods in Computer Science, (2010), Technischen Universitat Braunschweig.

2009

Publications référencées

• Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier, Weighted o-minimal hybrid systems, Annals of Pure and Applied Logic, 4514 (2009), pp. 69–83, Elsevier. DOI: 10.1007/978-3-540-72734-7_6.
• D. Bonheure, V. Bouchez, Christopher Grumiau, Asymptotics and symmetries of ground state and least energy nodal solutions for boundary value problems with slowly growing superlinearities, Differential and Integral Equations, 22 (2009), pp. 1047–1074, Khayyam Publishing.
• Karl Grosse-Erdmann, R. Mortini, Universal functions for composition operators with non-automorphic symbol, Journal d'Analyse Mathématique, 107 (2009), pp. 355–376, Magnes Press.
• Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, When Are Timed Automata Determinizable?, Lecture Notes in Computer Science, 5556 (2009), pp. 43–54, Springer. DOI: 10.1007/978-3-642-02930-1_4.
• Christopher Grumiau, Christophe Troestler, Nodal line structure of least energy nodal solutions for Lane-Emden problems, Comptes Rendus. Mathématique, 347 (2009), pp. 767–771, Elsevier Masson. DOI: 10.1016/j.crma.2009.04.023.
• Thomas Brihaye, Christian Michaux, Cédric Rivière, Cell decomposition and dimension function in the theory of closed ordered differential fields, Annals of Pure and Applied Logic, 159 (2009), pp. 111–128, Elsevier. DOI: 10.1016/j.apal.2008.09.029.
• Cédric Rivière, Further notes on cell decomposition in the theory of closed ordered differential fields, Annals of Pure and Applied Logic, 159 (2009), pp. 100–110, Elsevier. DOI: 10.1016/j.apal.2008.11.002.
• Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey, ATL with Strategy Contexts and Bounded Memory, Lecture Notes in Computer Science, 5407 (2009), pp. 92–106, Springer. DOI: 10.1007/978-3-540-92687-0_7.

Actes de congrès avec peer-reviewing

• Stéphanie Bridoux, Notions élémentaires de topologie : spécificités et difficultés d'enseignement en première année d'université, Journée d'étude de l'école doctorale savoirs scientifiques de Paris 7, , France, 2009.
• Stéphanie Bridoux, Une séquence d'introduction des notions de topologie dans RN : de la conception à l'expérimentation, EMF 2009, , Sénégal, 2009.

2008

Publications référencées

• Christopher Grumiau, E. Parini, On the asymptotics of solutions of the Lane-Emden problem for q-Laplacian, Archiv der Mathematik, 91 (2008), pp. 354–365, Birkhauser Verlag. DOI: 10.1007/s00013-008-2854-y.
• Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey, Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics, IEEE proceedings, (2008), pp. 55–64. DOI: 10.1109/QEST.2008.19.
• Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski, Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets, Lecture Notes in Computer Science, 5215 (2008), pp. 63–77, Springer. DOI: 10.1007/978-3-540-85778-5_6.
• D. Bonheure, V. Bouchez, Christopher Grumiau, J. Van Schaftingen, Asymptotics and symmetries of least energy nodal solutions of Lane-Emden problems with slow growth, Communications in Contemporary Mathematics, 10 (2008), pp. 609–631, World Scientific Publishing Co.. DOI: 10.1142/S0219199708002910.
• Luc Bélair, Françoise Point, Élimination des quantificateurs dans les équations aux différences linéaires sur les vecteurs de Witt, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 346 (2008), pp. 703–706, Elsevier Masson. ISSN: 1631-073X, DOI: 10.1016/j.crma.2008.05.011.
• Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg, Good Friends are Hard to Find!, IEEE proceedings, (2008), pp. 32–40. DOI: 10.1109/TIME.2008.10.
• Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser, Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata, IEEE proceedings, (2008), pp. 217–226. DOI: 10.1109/LICS.2008.25.
• F Bayart, Karl Grosse-Erdmann, V. Nestordis, C. Papadimitropoulos, Abstract theory of universal series and applications, Proceedings of the London Mathematical Society, 96 (2008), pp. 417–463, Oxford University Press.
• Karl Grosse-Erdmann, F León-Saavedra, A. Piqueras-Lerena, The iterates of a map with dense orbit, Acta Scientiarum Mathematicarum, 74 (2008), pp. 245–257, Bolyaianum Universitatis.

2007

Publications référencées

• Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Groesser, Probabilistic and Topological Semantics for Timed Automata, Lecture Notes in Computer Science, (2007), Springer.
• Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin, On the optimal reachability problem of weighted timed automata, Formal Methods in System Design, 31 (2007), pp. 135–175, Kluwer Academic Publishers. DOI: 10.1007/s10703-007-0035-4.
• Ehud Hrushovski, Françoise Point, On von Neumann regular rings with an automorphism, Journal of Algebra, 315 (2007), pp. 76–120, Elsevier. DOI: 10.1016/j.jalgebra.2007.05.006.
• Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby, Timed Concurrent Game Structures, Lecture Notes in Computer Science, (2007), Springer.
• Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin, Minimum-Time Reachability in Timed Games, Lecture Notes in Computer Science, (2007), Springer.
• Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier, Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!, Lecture Notes in Computer Science, (2007), Springer.
• Thomas Brihaye, Words and Bisimulations of Dynamical Systems, Discrete Mathematics and Theoretical Computer Science, 9 (2007), pp. 11–32, Maison de l'informatique et des mathematiques discretes.
• L. Bernal-González, Karl Grosse-Erdmann, Existence and non-existence of hypercyclic semigroups, Proceedings of the American Mathematical Society, 135 (2007), pp. 755–766, American Mathematical Society. ISSN: 0002-9939.
• A. Bonilla, Karl Grosse-Erdmann, Frequently hypercyclic operators and vectors, Ergodic Theory and Dynamical Systems, 27 (2007), pp. 383–404, Cambridge University Press. DOI: 10.1017/S014338570600085X.

Actes de congrès avec peer-reviewing

• Karl Grosse-Erdmann, Dynamics of linear operators, Topics in complex analysis and operator theory, Malaga, Espagne, 2007.

Chapitres d'ouvrage

• A. M. W. Glass, Françoise Point, Finitely presented abelian lattice-ordered groups, 2007, Springer-Verlag. ISSN: 0302-9743.

2006

Publications référencées

• Cédric Rivière, The model theory of m-ordered differential fields, Mathematical Logic Quarterly, 52 (2006), pp. 331–339, John Wiley & Sons. DOI: 10.1002/malq.200510037.
• Cédric Rivière, The theory of closed ordered differential fields with m commuting derivations, Comptes Rendus. Mathématique, 343 (2006), pp. 151–154, Elsevier Masson. DOI: 10.1016/j.crma.2006.06.019.
• Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier, Control in o-minimal Hybrid Systems, IEEE proceedings, (2006), pp. 367–378. DOI: 10.1109/LICS.2006.22.
• Nicolas Guzy, Cédric Rivière, Geometrical axiomatization for model complete theories of differential topological fields, Notre Dame Journal of Formal Logic, 47 (2006), pp. 331–341, University of Notre Dame. DOI: 10.1305/ndjfl/1163775440.
• Patricia Bouyer, Thomas Brihaye, Nicolas Markey, Improved undecidability results on weighted timed automata, Information Processing Letters, 98 (2006), pp. 188–194, Elsevier. DOI: 10.1016/j.ipl.2006.01.012.
• Thomas Brihaye, Véronique Bruyère, Jean-François Raskin, On model-checking timed automata with stopwatch observers, Information and Computation, 204 (2006), pp. 408–433, Elsevier. DOI: 10.1016/j.ic.2005.12.001.
• Thomas Brihaye, A note on the undecidability of the reachability problem for o-minimal dynamical systems, Mathematical Logic Quarterly, 52 (2006), pp. 165–170, John Wiley & Sons. DOI: 10.1002/malq.200510024.
• Thomas Brihaye, Christian Michaux, Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478], Journal of Complexity, 22 (2006), pp. 431–434, Elsevier.
• G. Bennett, Karl Grosse-Erdmann, Weighted Hardy inequalities for decreasing sequences and functions, Mathematische Annalen, 334 (2006), pp. 489–531, Springer.
• A. Bonilla, Karl Grosse-Erdmann, On a theorem of Godefroy and Shapiro, Integral Equations and Operator Theory, 56 (2006), pp. 151–162, Birkhauser Verlag. DOI: 10.1007/s00020-006-1423-.
• Françoise Point, Some model theory of Bezout difference rings-a survey, Bulletin of the Belgian Mathematical Society Simon Stevin, 13 (2006), pp. 807–826, Institut Mathématique.

2005

Publications référencées

• Christian Michaux, Cédric Rivière, Quelques remarques concernant la théorie des corps ordonnés différentiellement clos, Bulletin de la Société Mathématique de Belgique, 12 (2005), pp. 341–348, Hirsch.
• Thomas Brihaye, Véronique Bruyère, Jean-François Raskin, On optimal timed strategies, Lecture Notes in Computer Science, 3829 (2005), pp. 49–64, Springer. DOI: 10.1007/11603009_5.
• Thomas Brihaye, Christian Michaux, On the expressiveness and decidability of o-minimal hybrid systems, Journal of Complexity, 21 (2005), pp. 447–478, Elsevier. DOI: 10.1016/j.jco.2004.09.003.
• A. M. W. Glass, Angus Macintyre, Françoise Point, Free abelian lattice-ordered groups, Annals of Pure and Applied Logic, 134 (2005), pp. 265–283, Elsevier. DOI: 10.1016/j.apal.2004.10.017.
• Françoise Point, Asymptotic theory of modules of separably closed fields, Journal of Symbolic Logic, 70 (2005), pp. 573–592, Cambridge University Press. DOI: 10.2178/jsl/1120224729.
• G. Bennett, Karl Grosse-Erdmann, On series of positive terms, Houston Journal of Mathematics, 31 (2005), pp. 541–586, University of Houston.
• Karl Grosse-Erdmann, A. Peris, Frequently dense orbits, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 341 (2005), pp. 123–128, Elsevier Masson. DOI: 10.1016/j.crma.2005.05.025, ISSN: 1631-073X.

2004

Publications référencées

• Thomas Brihaye, Véronique Bruyère, Jean-François Raskin, Model-Checking for Weighted Timed Automata, Lecture Notes in Computer Science, (2004), Springer.
• Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler, On O-Minimal Hybrid Systems, Lecture Notes in Computer Science, 2993 (2004), pp. 133–138, Springer.
• Karl Grosse-Erdmann, A weak criterion for vector-valued holomorphy, Mathematical Proceedings of the Cambridge Philosophical Society, 136 (2004), pp. 399–411, Cambridge University Press.

2003

Publications référencées

• J. Connor, Karl Grosse-Erdmann, Sequential definitions of continuity for real functions, Rocky Mountain Journal of Mathematics, 33 (2003), pp. 93–121, Rocky Mountain Mathematics Consortium.
• L. Bernal-González, Karl Grosse-Erdmann, The hypercyclicity criterion for sequences of operators, Studia Mathematica, 157 (2003), pp. 17–32, Polska Akademia Nauk.
• Karl Grosse-Erdmann, Recent developments in hypercyclicity, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A Matemáticas, 97 (2003), pp. 273–286, Real Academia de Ciencias Exactas, Fisicas y Naturales.
• R. deLaubenfels, H. Emamirad, Karl Grosse-Erdmann, Chaos for semigroups of unbounded operators, Mathematische Nachrichten, 261-262 (2003), pp. 47–59, Wiley - VCH Verlag GmbH & Co..

2002

Publications référencées

• L. Bernal-González, M.C. Calderón-Moreno, Karl Grosse-Erdmann, Strongly omnipresent operators: general conditions and applications to composition operators, Bulletin of the Australian Mathematical Society, 72 (2002), pp. 335–348, Cambridge University Press.
• L. Bernal-González, M.C. Calderón-Moreno, Karl Grosse-Erdmann, Strongly omnipresent integral operators, Integral Equations and Operator Theory, 44 (2002), pp. 397–409, Birkhauser Verlag.

2001

Publications référencées

• Christophe Troestler, Catherine Finet, Lucas Quarta, Vector-Valued Variational Principles, Nonlinear Analysis: Theory, Methods and Applications, 52 (2001), pp. 197–218, Elsevier. DOI: 10.1016/S0362-546X(02)00103-7.
• Christophe Troestler, Equivalence of BSS scalar- and vector-recursion, Bulletin de la Société Mathématique de Belgique, A tribute to Maurice Boffa (2001), pp. 65–80, Hirsch.
• Karl Grosse-Erdmann, On l1 -invariant sequence spaces, Journal of Mathematical Analysis and Applications, 262 (2001), pp. 112–132, Elsevier.

2000

Publications référencées

• Christophe Troestler, Christian Michaux, Isomorphism theorem for BSS recursively enumerable sets on real closed fields, Theoretical Computer Science, 231 (2000), pp. 253–273, Elsevier. DOI: 10.1016/S0304-3975(99)00103-6.
• Karl Grosse-Erdmann, Hypercyclic and chaotic weighted shifts, Studia Mathematica, 139 (2000), pp. 47–68, Polska Akademia Nauk.
• Karl Grosse-Erdmann, Rate of growth of hypercyclic entire functions, Indagationes Mathematicae, 11 (2000), pp. 561–571, Elsevier.

1999

Publications référencées

• Karl Grosse-Erdmann, Universal families and hypercyclic operators, Bulletin of the American Mathematical Society, 36 (1999), pp. 345–381, American Mathematical Society.
• Karl Grosse-Erdmann, Strong weighted mean summability and Kuttner’s theorem, Journal of the London Mathematical Society, 59 (1999), pp. 987–1002, Oxford University Press.

1998

Publications référencées

• Miguel Ramos, Susanna Terracini, Christophe Troestler, Superlinear indefinite elliptic problems and Pohoz?aev type identities, Journal of Functional Analysis, 159 (1998), pp. 596–628, Elsevier. DOI: 10.1006/jfan.1998.3332.

Actes de congrès avec peer-reviewing

• Christophe Troestler, Strongly indefinite variational problems with lack of compactness, International Conference on Differential Equations, Lisboa, Portugal, 1998.
• Christian Michaux, Christophe Troestler, Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields, International Colloquium Universal Machines and Computations, Metz, France, 1998.

Ouvrages

• Karl Grosse-Erdmann, The blocking technique, weighted mean operators and Hardy’s inequality, 1998, Springer Verlag.

1997

Publications référencées

• Miguel Ramos, Susanna Terracini, Christophe Troestler, Problèmes elliptiques sur-linéaires avec non-linéarité sans signe défini, Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, 325 (1997), pp. 283–286, Elsevier Masson. DOI: 10.1016/S0764-4442(97)83956-0.
• J.C. Díaz, Karl Grosse-Erdmann, On non-distinguished matrix domains, Results in Mathematics, 32 (1997), pp. 285–290, Springer.

Ouvrages

• Christophe Troestler, Liouville type theorems and applications, 1997, Académie royale de Belgique. Classe des Sciences,.

1996

Publications référencées

• Abdel Kouider Ben-Naoum, Christophe Troestler, Michel Willem, Extrema problems with critical Sobolev exponent on unbounded domains, Nonlinear Analysis: Theory, Methods and Applications, 26 (1996), pp. 823–833, Elsevier. DOI: 10.1016/0362-546X(94)00324-B.
• Christophe Troestler, Michel Willem, Nontrivial solution of a semilinear Schrödinger equation, Communications in Partial Differential Equations, 21 (1996), pp. 1431–1449, Marcel Dekker. DOI: 10.1080/03605309608821233.

1995

Publications référencées

• Karl Grosse-Erdmann, K. Stadtmüller, Characterization of summability points of Nörlund methods, Transactions of the American Mathematical Society, 347 (1995), pp. 2563–2574, American Mathematical Society.
• Karl Grosse-Erdmann, The locally convex topology on the space of meromorphic functions, Bulletin of the Australian Mathematical Society, 59 (1995), pp. 287–303, Cambridge University Press.

1994

Publications référencées

• Abdel Kouider Ben-Naoum, Christophe Troestler, Michel Willem, Existence and Multiplicity Results for Homogeneous Second Order Differential Equations, Journal of Differential Equations, 112 (1994), pp. 239–249, Elsevier. DOI: 10.1006/jdeq.1994.1103.
• J. Boos, Karl Grosse-Erdmann, T. Leiger, L_phi -spaces and some related sequence spaces, Zeitschrift für Analysis und ihre Anwendung, 13 (1994), pp. 377–385, Heldermann Verlag.

1993

Publications référencées

• Karl Grosse-Erdmann, Matrix transformations between the sequence spaces of Maddox, Journal of Mathematical Analysis and Applications, 180 (1993), pp. 223–238, Elsevier.
• Karl Grosse-Erdmann, T -solid sequence spaces, Results in Mathematics, 23 (1993), pp. 303–321, Springer.

1992

Publications référencées

• Karl Grosse-Erdmann, The structure of the sequence spaces of Maddox, Canadian Journal of Mathematics, 44 (1992), pp. 298–307, Canadian Mathematical Society.
• Karl Grosse-Erdmann, On the f -dual of sequence spaces, Archiv der Mathematik, 58 (1992), pp. 575–581, Birkhauser Verlag.
• Karl Grosse-Erdmann, Topologies on matrix spaces and universal matrices, Analysis, 12 (1992), pp. 47–56, Oxford University Press.
• Karl Grosse-Erdmann, The mu-continuity problem and the structure of matrix domains, Journal of the London Mathematical Society, 46 (1992), pp. 517–528, Oxford University Press.
• Karl Grosse-Erdmann, Matrix transformations involving analytic sequence spaces, Mathematische Zeitschrift, 299 (1992), pp. 499–510, Springer.

1991

Publications référencées

• Karl Grosse-Erdmann, Lebesgue’s theorem of differentiation in Fr´echet lattices, Proceedings of the American Mathematical Society, 112 (1991), pp. 371–379, American Mathematical Society.

1989

Publications référencées

• Karl Grosse-Erdmann, Regularity properties of functional equations and inequalities, Aequationes Mathematicae, 37 (1989), pp. 233–251, Birkhauser Verlag.