Publications du Département

2018

Publications référencées

Karl Grosse-Erdmann, Upper frequent hypercyclicity and related notions, Revista Matemática Complutense, 31 (2018), pp. 673–711, Universidad Complutense de Madrid.
Christophe Troestler, Francesca Gladiali, Massimo Grossi, Entire radial and nonradial solutions for systems with critical growth, Calculus of Variations & Partial Differential Equations, (2018), Springer Science & Business Media B.V.. arXiv: 1612.03510.
Christophe Troestler, Francesca Gladiali, Massimo Grossi, A non-variational system involving the critical Sobolev exponent. The radial case., Journal d'analyse mathématique, (2018), Hebrew University Magnes Press. arXiv: 1603.05641.

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.
Christophe Troestler, Colette De Coster, Serge Nicaise, Spectral analysis of a generalized buckling problem on a ball, Positivity, (2017). DOI: 10.1007/s11117-017-0469-x, arXiv: 1610.04840.

Actes de congrès avec peer-reviewing

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 Science & Business Media B.V..
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 Science & Business Media B.V..
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, Magnes Press.
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 & Francis Ltd.
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, Academic Press.
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 & Applications, (2016), pp. 236–273, Elsevier Science. 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 & Finance, (2016), Springer Science & Business Media B.V..
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.
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.

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.

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 & Computation, (2015), Academic Press.
Quentin Menet, Juan Bès, Existence of common and upper frequently hypercyclic subspaces, Journal of Mathematical Analysis and Applications, 432 (2015), pp. 10–37, Academic Press.
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 Science. 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, Institutul de Matematica.
Christophe Troestler, Serge Nicaise, Colette De Coster, Nodal properties of eigenfunctions of a generalized buckling problem on balls, Positivity, (2015). arXiv: 1408.6180, DOI: 10.1007/s11117-015-0331-y.
G. Bennett, Karl Grosse-Erdmann, Some pretty simple inequalities I, Positivity, 19 (2015), pp. 251–288.

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), Technische Universität Braunschweig. Institut für Theoretische Informatik.
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, 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. 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 Company.
Quentin Menet, Hypercyclic subspaces and weighted shifts, Advances in Mathematics, 255 (2014), pp. 305–337, Academic Press.
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, South West Texas State University. 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.
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. arXiv: 1205.0517.
Sonia L'Innocente, Françoise Point, Carlo Toffalori, On the model theory of the logarithmic function in compact Lie groups, Journal of Algebra & Its Applications, 12 (2013), pp. 1350055–1/1350055–22, World Scientific Publishing Company.
Quentin Brouette, A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Mathematical Logic Quarterly, (2013), John Wiley & Sons, Inc. - Engineering.
Françoise Point, Abderezak OuldHoucine, Alternatives for pseudofinite groups, Journal of Group Theory, 16 (2013), pp. 461–495, Walter de Gruyter GmbH & Co. KG..
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), Technische Universität Braunschweig. Institut für Theoretische Informatik.
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 Science & Business Media B.V..
Karl Grosse-Erdmann, Sung Guen Kim, Bihypercyclic bilinear mappings, Journal of Mathematical Analysis & Applications, 399 (2013), pp. 701–708, Academic Press.
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, Nonlinear Differential Equations and Applications, 20 (2013), pp. 511–521.
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, Gauthier-Villars.

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, Association for Symbolic Logic.
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, Academic Press.
Luc Bélair, Françoise Point, Corrigendum to: Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 77 (2012), pp. 727–728, Association for Symbolic Logic.
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), Société pour le Progrès des Etudes Philologiques et Historiques.
Christophe Troestler, Nicolas Tacheny, A mountain pass algorithm with projector, Journal of Computational & Applied Mathematics, 236 (2012), pp. 2025–2036, Elsevier Science. 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, Polish Axcademy of Science.
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, Academic Press. 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, Association for Symbolic Logic. 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 & Applied Logic, 161 (2010), pp. 1565–1580, Elsevier Science. 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, South West Texas State University. 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 Company.
Françoise Point, Existentially closed ordered difference fields and rings, Mathematical Logic Quarterly, 56 (2010), pp. 239–256, John Wiley & Sons, Inc. - Engineering.
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 = Theoretical Informatics and Applications, 44 (2010), pp. 79–111, EDP Science. DOI: 10.1051/ita/2010006.
Nicolas Guzy, Françoise Point, Topological differential fields, Annals of Pure & Applied Logic, 161 (2010), pp. 570–598, Elsevier Science. 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 Matemáticas [=RACSAM], 104 (2010), pp. 413–426, Real Academia de Ciencias Exactas, Fi´sicas y Naturales.
Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier, O-Minimal Hybrid Reachability Games, Logical Methods in Computer Science, (2010), Technische Universität Braunschweig. Institut für Theoretische Informatik.

2009

Publications référencées

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier, Weighted o-minimal hybrid systems, Annals of Pure & Applied Logic, 4514 (2009), pp. 69–83, Elsevier Science. 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, Differential and Integral Equations.
Karl Grosse-Erdmann, R. Mortini, Universal functions for composition operators with non-automorphic symbol, Journal d'analyse mathématique, 107 (2009), pp. 355–376.
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 Science. 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 & Applied Logic, 159 (2009), pp. 111–128, Elsevier Science. 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 & Applied Logic, 159 (2009), pp. 100–110, Elsevier Science. 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 [=ADM], 91 (2008), Springer. 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), 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 Company. 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, C. R. Math. Acad. Sci. Paris, 346 (2008), pp. 703–706. 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), Institutum Bolyaianum Universitatis Szegediensis.

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, Springer Science & Business Media B.V.. 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), Academic Press. 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 & Theoretical Computer Science, 9 (2007), Chapman & Hall.
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 Dynam. Systems, 27 (2007), pp. 383–404. 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), John Wiley & Sons, Inc. - Engineering. DOI: 10.1002/malq.200510037.
Cédric Rivière, The theory of closed ordered differential fields with m commuting derivations, Comptes Rendus de l''Académie des Sciences de Paris, 343 (2006), pp. 151–154. 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), 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), Elsevier Science. 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 & Computation, 204 (2006), Academic Press. 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), John Wiley & Sons, Inc. - Engineering. 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, Academic Press.
G. Bennett, Karl Grosse-Erdmann, Weighted Hardy inequalities for decreasing sequences and functions, Math. Ann, 334 (2006), pp. 489–531.
A. Bonilla, Karl Grosse-Erdmann, On a theorem of Godefroy and Shapiro, Integral Equations Operator Theory, 56 (2006), pp. 151–162. 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), 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), Hirsch.
Thomas Brihaye, Véronique Bruyère, Jean-François Raskin, On optimal timed strategies, Lecture Notes in Computer Science, 3829 (2005), 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), Academic Press. 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 & Applied Logic, 134 (2005), Elsevier Science. 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, Association for Symbolic Logic. DOI: 10.2178/jsl/1120224729.
G. Bennett, Karl Grosse-Erdmann, On series of positive terms, Houston J. Math, 31 (2005), pp. 541–586.
Karl Grosse-Erdmann, A. Peris, Frequently dense orbits, C. R. Math. Acad. Sci. Paris, 341 (2005), pp. 123–128. 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), 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, Polish Axcademy of Science.
Karl Grosse-Erdmann, Recent developments in hypercyclicity, Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A Matemáticas [=RACSAM], 97 (2003), pp. 273–286, Real Academia de Ciencias Exactas, Fi´sicas y Naturales.
R. deLaubenfels, H. Emamirad, Karl Grosse-Erdmann, Chaos for semigroups of unbounded operators, Mathematische Nachrichten, 261-262 (2003), pp. 47–59, Wiley.

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.

2001

Publications référencées

Christophe Troestler, Catherine Finet, Lucas Quarta, Vector-Valued Variational Principles, Nonlinear Analysis: Theory, Methods & Applications, 52 (2001), Elsevier Science. 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), Hirsch.
Karl Grosse-Erdmann, On l1 -invariant sequence spaces, Journal of Mathematical Analysis & Applications, 262 (2001), pp. 112–132, Academic Press.

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), Elsevier Science. DOI: 10.1016/S0304-3975(99)00103-6.
Karl Grosse-Erdmann, Hypercyclic and chaotic weighted shifts, Studia Mathematica, 139 (2000), pp. 47–68, Polish Axcademy of Science.
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, London Mathematical Society.

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), Academic Press. 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), 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 [=RM], 32 (1997), pp. 285–290, Springer - Birkha¨user.

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 & Applications, 26 (1996). 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), Taylor & Francis Ltd. 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), Academic Press. 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 Anwendungen, 13 (1994), pp. 377–385.

1993

Publications référencées

Karl Grosse-Erdmann, Matrix transformations between the sequence spaces of Maddox, Journal of Mathematical Analysis & Applications, 180 (1993), pp. 223–238, Academic Press.
Karl Grosse-Erdmann, T -solid sequence spaces, Results in Mathematics [=RM], 23 (1993), pp. 303–321, Springer - Birkha¨user.

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, University of Toronto Press.
Karl Grosse-Erdmann, On the f -dual of sequence spaces, Archiv der Mathematik [=ADM], 58 (1992), pp. 575–581, Springer.
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, London Mathematical Society.
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, Springer.