PatriciaBouyer, MickaëlRandour, PierreVandenhove, 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éphaneCharpentier, KarlGrosse-Erdmann, QuentinMenet, Chaos and frequent hypercyclicity for weighted shifts, Ergodic Theory and Dynamical Systems, 41 (2021), pp. 3634–3670, Cambridge University Press.
SophieGrivaux, EtienneMatheron, QuentinMenet, 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.
JamesMain, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, International Conference on Concurrency Theory, , , 2021.
PatriciaBouyer, YoussoufOualhadj, MickaëlRandour, PierreVandenhove, Arena-Independent Finite-Memory Determinacy in Stochastic Games, International Conference on Concurrency Theory, , , 2021.
JamesMain, MickaëlRandour, JeremySproston, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, International Conference on Concurrency Theory, , , 2021.
QuentinMenet, Invariant subspaces for Fréchet spaces without continuous norm, Proceedings of the American Mathematical Society, 149 (2021), pp. 3379–3393, American Mathematical Society.
SophieGrivaux, EtienneMatheron, QuentinMenet, 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.
DamienGalant, CédricPilatte, A note on optimal degree-three spanners of the square lattice, Discrete Mathematics, Algorithms and Applications, (2021).
RomualdErnst, CélineEsser, QuentinMenet, U-frequent hypercyclicity notions and related weighted densities, Israel Journal of Mathematics, 241 (2021), pp. 817–848, Springer.
QuentinMenet, 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éphanieBridoux, NicolasGrenier-Boley, ChristopheHache, JulieHoroks, AlineRobert, FabriceVandebrouck, 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
MariaTrigueros, StéphanieBridoux, AnnO'Shea, LauraBranchetti, Challenging issues in the teaching and learning of Calculus and Analysis, 2021, Routledge.
2020
Publications référencées
StéphanieBridoux, AntoineDerobertmasure, SimonDe 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.
ThomasBrihaye, FlorentDelgrange, YoussoufOualhadj, MickaëlRandour, 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.
ThomasBrihaye, VéroniqueBruyère, AlineGoeminne, Jean-FrançoisRaskin, Marievan 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.
AlineGoeminne, Constrained existence of weak subgame perfect equilibria in multiplayer Büchi games, Information Processing Letters, 163 (2020), Elsevier.
PierreVandenhove, Decisiveness of Stochastic Systems and its Application to Hybrid Models, International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium, 2020.
PatriciaBouyer, ThomasBrihaye, MickaëlRandour, CédricRivière, PierreVandenhove, Decisiveness of Stochastic Systems and its Application to Hybrid Models, International Symposium on Games, Automata, Logics and Formal Verification, Brussels, Belgium, 2020.
CédricPilatte, NP-completeness of slope-constrained drawing of complete graphs, Journal of Computational Geometry, (2020), Carleton University.
PierreVandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, International Conference on Concurrency Theory, Vienna, Austria, 2020.
ThomasBrihaye, AlineGoeminne, On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games, International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Autriche, 2020.
QuentinMenet, Inverse of U-frequently hypercyclic operators, Journal of Functional Analysis, 279 (2020), Elsevier.
PatriciaBouyer, StéphaneLe Roux, YoussoufOualhadj, MickaëlRandour, PierreVandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, International Conference on Concurrency Theory, Vienna, Austria, 2020.
ThomasBrihaye, GillesGeeraerts, MarionHallet, StéphaneLe Roux, On the Termination of Dynamics in Sequential Games, Information and Computation, (2020), Elsevier.
FlorentDelgrange, Joost-PieterKatoen, TimQuatmann, MickaëlRandour, Simple Strategies in Multi-Objective MDPs, International Conference on Tools and Algorithms for Construction and Analysis of Systems, Dublin, Ireland, 2020.
QuentinLambotte, FrançoisePoint, On expansions of (Z,+,0), Annals of Pure and Applied Logic, 171 (2020), pp. 1–36, Elsevier.
DOI: 10.1016/j.apal.2020.102809.
JavierFalcó, KarlGrosse-Erdmann, Algebras of frequently hypercyclic vectors, Mathematische Nachrichten, 293 (2020), pp. 1120–1135, Wiley - VCH Verlag GmbH & Co..
NathanaelMariaule, 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.
SoniaL'Innocente, FrançoisePoint, Bézout domains and lattice-valued modules, Journal of Pure and Applied Algebra, 224 (2020), pp. 444–467, Elsevier.
QuentinMenet, A bridge between U-frequent hypercyclicity and frequent hypercyclicity, Journal of Mathematical Analysis and Applications, 482 (2020), Elsevier.
CédricPilatte, On the sets of n points forming n + 1 directions, Electronic Journal of Combinatorics, (2020), Electronic Journal of Combinatorics.
DOI: 10.37236/8308.
JavierFalcó, KarlGrosse-Erdmann, Algebrability of the set of hypercyclic vectors for backward shift operators, Advances in Mathematics, 366 (2020), Elsevier.
KarlGrosse-Erdmann, Karl Weierstrass: A Westphalian mathematician, Mathematical Intelligencer, 42 (2020), pp. 60–63, Springer.
Actes de congrès avec peer-reviewing
StéphanieBridoux, Cécilede Hosson, CélineNihoul, Pratiques in situ d’enseignants universitaires et confrontation avec le vécu des étudiants : une étude de cas, INDRUM, Bizerte, Tunisie, 2020.
StéphanieBridoux, MartineDe Vleeschouwer, NicolasGrenier-Boley, RitaKhanfour-Armale, NathalieLebrun, ZoéMesnil, CélineNihoul, The professional identity of teacher-researchers in mathematics, INDRUM, Bizerte, Tunisie, 2020.
NithyaraajKugalur Palanisamy, FrançoisDucobu, EdouardRivière, PedroArrazola, 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
ThomasBrihaye, GillesGeeraerts, MarionHallet, BenjaminMonmege, BrunoQuoitin, Dynamics on Games: Simulation-Based Techniques and Applications to Routing, Foundations of Software Technology and Theoretical Computer Science, , , 2019.
QuentinBrouette, PabloCubides-Kovacsics, FrançoisePoint, Strong density property of definable types and closed ordered differential fields, Journal of Symbolic Logic, (2019), Cambridge University Press.
FlorentDelgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
ThomasBrihaye, FlorentDelgrange, YoussoufOualhadj, MickaëlRandour, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
ChristopheTroestler, FrancescaGladiali, MassimoGrossi, A non-variational system involving the critical Sobolev exponent. The radial case., Journal d'Analyse Mathématique, (2019), Magnes Press.
arXiv: 1603.05641.
NithyaraajKugalur Palanisamy, EdouardRivière, ArrazolaPedro, FrançoisDucobu, 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.
ThomasBrihaye, VéroniqueBruyère, AlineGoeminne, Jean-FrançoisRaskin, Marievan den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
ThomasBrihaye, VéroniqueBruyère, AlineGoeminne, NathanThomasset, On Relevant Equilibria in Reachability Games, Reachability Problems, Brussels, Belgium, 2019.
KarlGrosse-Erdmann, Frequently hypercyclic bilateral shifts, Glasgow Mathematical Journal, 61 (2019), pp. 271–286, Cambridge University Press.
SoniaL’Innocente, FrançoisePoint, GenaPuninski, CarloToffalori, The Ziegler spectrum of the ring of entire complex valued functions, Journal of Symbolic Logic, (2019), Cambridge University Press.
JuanBès, QuentinMenet, AlfredoPeris, YuniedPuig, Strong transitivity properties for operators, Journal of Differential Equations, 266 (2019), pp. 1313–1337, Elsevier.
VéroniqueBruyère, QuentinHautem, MickaëlRandour, Jean-FrançoisRaskin, Energy Mean-Payoff Games, International Conference on Concurrency Theory, Amsterdam, The Netherlands, 2019.
Actes de congrès avec peer-reviewing
FrançoisePoint, Valued modules on skew polynomial rings and Bézout domains, Model theory of modules, algebras and categories, Erice, Italie, 2019.
StéphanieBridoux, Classe inversée pour introduire les suites numériques: une expérience en première année universitaire, EMF 2018, Gennevilliers, France, 2019.
CélineNihoul, 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éphanieBridoux, MartineDe Vleeschouwer, NicolasGrenier-Boley, RitaKhanfour-Armale, NathalieLebrun, ZoéMesnil, CélineNihoul, 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
LucBélair, FrançoisePoint, Fractional parts of dense additive subgroups of real numbers, Algebra Universalis, 79 (2018), pp. 1–23, Birkhauser Verlag.
ThomasBrihaye, GillesGeeraerts, Hsi-MingHo, ArthurMilchior, BenjaminMonmege, Efficient Algorithms and Tools for MITL Model-Checking and Synthesis, IEEE International Conference on Engineering of Complex Computer Systems, Melbourne, Australie, 2018.
StéphaneLe Roux, ArnoPauly, MickaëlRandour, Extending finite-memory determinacy by Boolean combination of winning conditions, Foundations of Software Technology and Theoretical Computer Science, Ahmedabad, India, 2018.
QuentinMenet, Invariant subspaces for non-normable Fréchet spaces, Advances in Mathematics, 339 (2018), pp. 495–539, Elsevier.
FrançoisePoint, 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.
PatriciaBouyer, MauricioGonzalez, NicolasMarkey, MickaëlRandour, Multi-weighted Markov decision processes with reachability objectives, International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany, 2018.
KarlGrosse-Erdmann, Upper frequent hypercyclicity and related notions, Revista Matemática Complutense, 31 (2018), pp. 673–711, Universidad Complutense de Madrid.
StéphanieBridoux, 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.
ThomasBrihaye, VéroniqueBruyère, AlineGoeminne, Jean-FrançoisRaskin, 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.
QuentinBrouette, FrançoisePoint, AnandPillay, GregCousins, Embedded Picard-Vessiot extensions, Communications in Algebra, 46 (2018), pp. 1_7, Taylor and Francis.
DOI: 10.1002/malq.201600098.
PatriciaBouyer, NicolasMarkey, Kim G.Larsen, SimonLaursen, MickaëlRandour, Average-energy games, Acta Informatica, 55 (2018), pp. 91–127, Springer.
ChristopheTroestler, FrancescaGladiali, MassimoGrossi, Entire radial and nonradial solutions for systems with critical growth, Calculus of Variations and Partial Differential Equations, 57 (2018), Springer.
arXiv: 1612.03510.
NathalieBertrand, PatriciaBouyer, ThomasBrihaye, PierreCarlier, When are stochastic transition systems tameable?, Journal of Logical and Algebraic Methods in Programming, (2018), Elsevier.
QuentinMenet, 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
ThomasBrihaye, GillesGeeraerts, MarionHallet, StéphaneLe Roux, Dynamics and Coalitions in Sequential Games, International Symposium on Games, Automata, Logics and Formal Verification, Rome, Italie, 2017.
ThomasBrihaye, GillesGeeraerts, Hso-MingHo, BenjaminMonmege, Timed-Automata-Based Verification of MITL over Signals, International Symposium/Workshop on Temporal Representation and Reasoning, Mons, Belgique, 2017.
ThomasBrihaye, GillesGeeraerts, Hsi-MingHo, BenjaminMonmege, MightyL : A Compositional Translation from MITL to Timed Automata, International Conference on Computer Aided Verification, Heidelberg, Allemagne, 2017.
RaphaëlBerthon, MickaëlRandour, Jean-FrançoisRaskin, Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes, International Colloquium on Automata, Languages and Programming, , , 2017.
QuentinMenet, Linear chaos and frequent hypercyclicity, Transactions of the American Mathematical Society, 369 (2017), pp. 4977–4994, American Mathematical Society.
ChristopheTroestler, ColetteDe Coster, SergeNicaise, 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.
PatriciaBouyer, PiotrHofman, MickaëlRandour, NicolasMarkey, MartinZimmermann, Bounding Average-energy Games, Foundations of Software Science and Computation Structure, , , 2017.
MickaëlRandour, Jean-FrançoisRaskin, OcanSankur, Percentile Queries in Multi-Dimensional Markov Decision Processes, Formal Methods in System Design, 50 (2017), pp. 207–248, Kluwer Academic Publishers.
VéroniqueBruyère, EmmanuelFiliot, MickaëlRandour, Jean-FrançoisRaskin, 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
NathalieLebrun, StéphanieBridoux, MartineDe Vleeschouwer, NicolasGrenier-Boley, RitaKhanfour-Armale, ZoéMesnil, CélineNihoul, L'identité professionnelle des enseignants chercheurs de physique. Comparaison avec celle des mathématiciens, ARDIST, Saint-Malo, France, 2017.
SalmaKuhlmann, MickaelMatuzinski, FrançoisePoint, 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
QuentinBrouette, Definable types in the theory of closed ordered differential fields, Archive for Mathematical Logic, 56 (2016), Springer.
StéphanieBridoux, ChristpheHache, NicolasGrenier-Boley, AlineRobert, 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.
QuentinMenet, AlfredoPeris, JuanBès, YuniedPuig, Recurrence properties of hypercyclic operators, Mathematische Annalen, 366 (2016), pp. 545–572, Springer.
ThomasBrihaye, MorganeEstiévenart, GillesGeeraerts, Hsi-MingHo, BenjaminMonmege, NathalieSznajder, Real-time Synthesis is Hard!, Lecture Notes in Computer Science, (2016), Springer.
ThomasBrihaye, GillesGeeraerts, AxelHaddad, BenjaminMonmege, Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost reachability games, Acta Informatica, (2016), Springer.
QuentinMenet, FrédéricBayart, RomualdErnst, Non-existence of frequently hypercyclic subspaces for P(D), Israel Journal of Mathematics, 214 (2016), pp. 149–166, Springer.
NathalieBertrand, PatriciaBouyer-Decitre, ThomasBrihaye, PierreCarlier, Decisive Stochastic Timed Automata, International Colloquium on Automata, Languages and Programming, Rome, Italie, 2016.
FrançoisePoint, MichelRigo, LaurentWaxweiler, Defining multiplication in some additive expansions of polynomial rings, Communications in Algebra, (2016), Taylor and Francis.
LucBélair, FrançoisePoint, 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.
QuentinMenet, RomualdErnst, StéphaneCharpentier, Gamma-supercyclicity, Journal of Functional Analysis, 270 (2016), pp. 4443–4465, Elsevier.
PatriciaBouyer, ThomasBrihaye, PierreCarlier, QuentinMenet, Compositional Design of Stochastic Timed Automata, Computer Science Symposium in Russia, Saint-Pétersbourg, Russie, 2016.
PatriciaBouyer-Decitre, ThomasBrihaye, PierreCarlier, QuentinMenet, Composition of stochastic timed automata, Lecture Notes in Computer Science, (2016), Springer.
ChristopheTroestler, ChristopherGrumiau, 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.
KarlGrosse-Erdmann, FabienHeuwelyckx, The pricing of lookback options and binomial approximation, Decisions in Economics and Finance, (2016), Springer.
ThomasBrihaye, Amit KumarDhar, GillesGeeraerts, AxelHaddad, BenjaminMonmege, Efficient Energy Distribution in a Smart Grid using Multi-Player Games, Cassting/SynCoP, Eindhoven, Pays-Bas, 2016.
RomainBrenguier, LorenzoClemente, PaulHunter, GuillermoPérez, MickaëlRandour, Jean-FrançoisRaskin, Non-Zero Sum Games for Reactive Synthesis (invited paper), Language and Automata Theory and Applications, Prague, Czech Republic, 2016.
LucBélair, MaximeGélinas, FrançoisePoint, 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.
PatriciaBouyer, NicolasMarkey, MickaëlRandour, ArnaudSangnier, DanielStan, 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élineNihoul, 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éphanieBridoux, NicolasGrenier-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éphanieBridoux, 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éphanieBridoux, VivianeDurand-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éphanieBridoux, NicolasGrenier-Boley, VivianeDurand-Guerrier, MartineDe Vleeschouwer, DeniseGrenier, ChantalMenini, MarcRogalski, PascaleSénéchaud, FabriceVandebrouck, 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ëlRandour, 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
ThomasBrihaye, GillesGeeraerts, AxelHaddad, BenjaminMonmege, GuillermoPérez, GabrielRenault, Quantitative Games under Failures, Foundations of Software Technology and Theoretical Computer Science, Bangalore, Inde, 2015.
ThomasBrihaye, GillesGeeraerts, AxelHaddad, EngelLefaucheux, BenjaminMonmege, Simple Priced Timed Games Are Not That Simple, Foundations of Software Technology and Theoretical Computer Science, Bangalore, Inde, 2015.
ThomasBrihaye, AxelHaddad, QuentinMenet, Simple strategies for Banach-Mazur games and sets of probability 1, Information and Computation, (2015), Elsevier.
QuentinMenet, JuanBès, Existence of common and upper frequently hypercyclic subspaces, Journal of Mathematical Analysis and Applications, 432 (2015), pp. 10–37, Elsevier.
CélineNihoul, StéphanieBridoux, 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.
ThomasBrihaye, GillesGeeraerts, AxelHaddad, BenjaminMonmege, To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games., International Conference on Concurrency Theory, Madrid, Espagne, 2015.
ChristopheTroestler, ChristopherGrumiau, MarcoSquassina, 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.
QuentinMenet, 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.
QuentinMenet, Hereditarily hypercyclic subspaces, Journal of Operator Theory, 73 (2015), pp. 385–405, Academia Romana.
ChristopheTroestler, SergeNicaise, ColetteDe 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ëlRandour, Variations on the Stochastic Shortest Path Problem (invited paper), International Conference on Verification, Model Checking and Abstract Interpretation, Mumbai, India, 2015.
PatriciaBouyer, NicolasMarkey, MickaëlRandour, Kim G.Larsen, SimonLaursen, Average-energy games, International Symposium on Games, Automata, Logics and Formal Verification, , , 2015.
MickaëlRandour, Jean-FrançoisRaskin, OcanSankur, Percentile Queries in Multi-Dimensional Markov Decision Processes, International Conference on Computer Aided Verification, , , 2015.
G.Bennett, KarlGrosse-Erdmann, Some pretty simple inequalities I, Positivity, 19 (2015), pp. 251–288, Birkhäuser.
KrishnenduChatterjee, LaurentDoyen, MickaëlRandour, Jean-FrançoisRaskin, 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
VivianeDurand-Guerrier, StéphanieBridoux, Contributions and limits of a specific course on manipulation of formal statements for fresh university students, CERME 9, Prague, République Tchèque, 2015.
StéphaneCharpentier, QuentinMenet, AugustinMouze, 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.
JulieDe Pril, JánosFlesch, JeroenKuipers, GijsSchoenmakers, KoosVrieze, Existence of Secure Equilibrium in Multi-Player Games with Perfect Information, Lecture Notes in Computer Science, 8635 (2014), pp. 213–225, Springer.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On MITL and Alternating Timed Automata over Infinite Words, Lecture Notes in Computer Science, (2014), Springer.
ArnaudCarayol, AxelHaddad, OlivierSerre, 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.
NathalieBertrand, ThomasBrihaye, BlaineGenest, Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata, Lecture Notes in Computer Science, (2014), Springer.
FabienHeuwelyckx, Convergence of European Lookback Options with Floating Strike in the Binomial Model, International Journal of Theoretical and Applied Finance, (2014), World Scientific Publishing.
QuentinMenet, Hypercyclic subspaces and weighted shifts, Advances in Mathematics, 255 (2014), pp. 305–337, Elsevier.
ChristopherGrumiau, ChristopheTroestler, 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
QuentinMenet, Hypercyclic Subspaces on Fréchet Spaces Without Continuous Norm, Integral Equations and Operator Theory, 77 (2013), pp. 489–520, Birkhauser Verlag.
ThomasBrihaye, LaurentDoyen, GillesGeeraerts, JoëlOuaknine, Jean-FrançoisRaskin, JamesWorrell, Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points, Lecture Notes in Computer Science, (2013), Springer.
ThomasBrihaye, QuentinMenet, Simple strategies for Banach-Mazur games and fairly correct systems, International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Italie, 2013.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On MITL and alternating timed automata, Lecture Notes in Computer Science, (2013), pp. 47–61, Springer.
ChristopherGrumiau, MarcoSquassina, ChristopheTroestler, 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.
SoniaL'Innocente, FrançoisePoint, CarloToffalori, 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.
QuentinBrouette, A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Mathematical Logic Quarterly, (2013), John Wiley & Sons.
FrançoisePoint, AbderezakOuldHoucine, Alternatives for pseudofinite groups, Journal of Group Theory, 16 (2013), pp. 461–495, Walter de Gruyter.
DOI: 10.1515/jgt-2013-0006.
ThomasBrihaye, VéroniqueBruyère, JulieDe Pril, HugoGimbert, On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games, Logical Methods in Computer Science, 9 (2013), Technischen Universitat Braunschweig.
ThomasBrihaye, JulieDe Pril, SvenSchewe, Multiplayer Cost Games with Simple Nash Equilibria, Lecture Notes in Computer Science, 7734 (2013), pp. 59–73, Springer.
ThomasBrihaye, VéroniqueBruyère, JulieDe 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.
KarlGrosse-Erdmann, Sung GuenKim, Bihypercyclic bilinear mappings, Journal of Mathematical Analysis and Applications, 399 (2013), pp. 701–708, Elsevier.
VéroniqueBruyère, MarcDucobu, OlivierGauwin, Visibly Pushdown Automata: Universality and Inclusion via Antichains, Language and Automata Theory and Applications, Bilbao, Espagne, 2013.
MassimoGrossi, ChristopherGrumiau, FilomenaPacella, Lane Emden problems with large exponents and singular Liouville equations, Journal de Mathématiques Pures et Appliquées, (2013), Elsevier.
ChristopherGrumiau, 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.
MassimoGrossi, ChristopherGrumiau, FilomenaPacella, 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
AxelHaddad, 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
PatriciaBouyer, ThomasBrihaye, MarcinJurdzinski, QuentinMenet, Almost-Sure Model-Checking of Reactive Timed Automata., Proceedings IEEE Computer Society Bioinformatics Conference, QEST 2012 (2012), pp. 138–147.
NicolasGuzy, FrançoisePoint, 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, KarlGrosse-Erdmann, Frequently hypercyclic subspaces, Monatshefte für Mathematik, 168 (2012), pp. 305–320, Springer.
CatherineFinet, A generalization of the Riesz–Fischer theorem and linear summability methods, Journal of Approximation Theory, 164 (2012), pp. 841–853, Elsevier.
LucBélair, FrançoisePoint, Corrigendum to: Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 77 (2012), pp. 727–728, Cambridge University Press.
ThomasBrihaye, VéroniqueBruyère, JulieDe Pril, HugoGimbert, Subgame Perfection for Equilibria in Quantitative Reachability Games., Foundations of Software Science and Computation Structure, Tallinn, Estonie, 2012.
PaulVan 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.
ChristopheTroestler, NicolasTacheny, 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éphanieBridoux, Notions de topologie: élaboration de leviers didactiques à intégrer dans un enseignement pour favoriser les apprentissages des étudiants, EMF 2012, Genève, Suisse, 2012.
AxelHaddad, 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
PaulVan 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
QuentinMenet, Sous-espaces fermés de séries universelles sur un espace de Fréchet, Studia Mathematica, 207 (2011), pp. 181–195, Polska Akademia Nauk.
ThomasBrihaye, VéroniqueBruyère, LaurentDoyen, MarcDucobu, Jean-FrançoisRaskin, Antichain-Based QBF Solving, Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011.
FrançoisePoint, 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.
ThomasBrihaye, LaurentDoyen, GillesGeeraerts, JoëlOuaknine, Jean-FrançoisRaskin, JamesWorrell, On Reachability for Hybrid Automata over Bounded Time, Lecture Notes in Computer Science, (2011), Springer.
ThomasBrihaye, LaurentDoyen, GillesGeeraerts, JoëlOuaknine, Jean-FrançoisRaskin, JamesWorrell, On Reachability for Hybrid Automata over Bounded Time, Lecture Notes in Computer Science, (2011), Springer.
NathalieBertrand, PatriciaBouyer, ThomasBrihaye, AmélieStainer, Emptiness and Universality Problems in Timed Automata with Positive Frequency, Lecture Notes in Computer Science, (2011), Springer.
PietroDello Stritto, Asymptotic classes of finite Moufang polygons, Journal of Algebra, 332 (2011), pp. 114–135, Elsevier.
EPRINT.
Actes de congrès avec peer-reviewing
ArnaudCarayol, AxelHaddad, OlivierSerre, Qualitative Tree Languages, 26th Annual IEEE Symposium on Logic in Computer Science, LICS, Toronto, Canada, 2011.
DOI: 10.1109/LICS.2011.28.
Ouvrages
KarlGrosse-Erdmann, A.Peris, Linear Chaos, 2011, Springer Verlag.
ISBN: 978-1-4471-2169-5.
Éditeur invité
RichardAron, JuanBès, KarlGrosse-Erdmann, A.Peris, Hypercyclicity and linear chaos, 2011, Springer.
Éditeur
JavierEsparza, ChristianMichaux, CharlesSteinhorn, Finite and Algorithmic Model Theory, 2011, Cambridge University Press.
2010
Publications référencées
LucBélair, FrançoisePoint, Quantifier elimination in valued Ore modules, Journal of Symbolic Logic, 75 (2010), pp. 1007–1034, Cambridge University Press.
DOI: 10.2178/jsl/1278682213.
SoniaL’Innocente, AngusMacintyre, FrançoisePoint, 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.
ChristopherGrumiau, ChristopheTroestler, 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.
MajaVolkov, 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çoisePoint, Existentially closed ordered difference fields and rings, Mathematical Logic Quarterly, 56 (2010), pp. 239–256, John Wiley & Sons.
ThomasBrihaye, VéroniqueBruyère, JulieDe Pril, Equilibria in Quantitative Reachability Games, Computer Science Symposium in Russia, Kazan, Russie, 2010.
DOI: 10.1007/978-3-642-13182-0_7.
ThomasBrihaye, VéroniqueBruyère, ElaineRender, 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.
NicolasGuzy, FrançoisePoint, 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, KarlGrosse-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.
KarlGrosse-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.
PatriciaBouyer, ThomasBrihaye, FabriceChevalier, 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, ChristopherGrumiau, 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.
KarlGrosse-Erdmann, R.Mortini, Universal functions for composition operators with non-automorphic symbol, Journal d'Analyse Mathématique, 107 (2009), pp. 355–376, Magnes Press.
ChristelBaier, NathalieBertrand, PatriciaBouyer, ThomasBrihaye, 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.
ChristopherGrumiau, ChristopheTroestler, 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.
ThomasBrihaye, ChristianMichaux, CédricRiviè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édricRiviè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.
ThomasBrihaye, ArnaudDa Costa Lopes, FrançoisLaroussinie, NicolasMarkey, 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éphanieBridoux, 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éphanieBridoux, 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
ChristopherGrumiau, 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.
NathalieBertrand, PatriciaBouyer, ThomasBrihaye, NicolasMarkey, Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics, IEEE proceedings, (2008), pp. 55–64.
DOI: 10.1109/QEST.2008.19.
PatriciaBouyer, ThomasBrihaye, MarcinJurdzinski, RankoLazic, MichalRutkowski, 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, ChristopherGrumiau, 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.
LucBélair, FrançoisePoint, É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.
ThomasBrihaye, NicolasMarkey, MohamedGhannem, LionelRieg, Good Friends are Hard to Find!, IEEE proceedings, (2008), pp. 32–40.
DOI: 10.1109/TIME.2008.10.
ChristelBaier, NathalieBertrand, PatriciaBouyer, ThomasBrihaye, MarcusGroesser, Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata, IEEE proceedings, (2008), pp. 217–226.
DOI: 10.1109/LICS.2008.25.
FBayart, KarlGrosse-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.
KarlGrosse-Erdmann, FLeó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
ChristelBaier, NathalieBertrand, PatriciaBouyer, ThomasBrihaye, MarcusGroesser, Probabilistic and Topological Semantics for Timed Automata, Lecture Notes in Computer Science, (2007), Springer.
PatriciaBouyer, ThomasBrihaye, VéroniqueBruyère, Jean-FrançoisRaskin, 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.
EhudHrushovski, FrançoisePoint, 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.
ThomasBrihaye, FrançoisLaroussinie, NicolasMarkey, GhassanOreiby, Timed Concurrent Game Structures, Lecture Notes in Computer Science, (2007), Springer.
ThomasBrihaye, Thomas A.Henzinger, Vinayak S.Prabhu, Jean-FrançoisRaskin, Minimum-Time Reachability in Timed Games, Lecture Notes in Computer Science, (2007), Springer.
PatriciaBouyer, ThomasBrihaye, FabriceChevalier, Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!, Lecture Notes in Computer Science, (2007), Springer.
ThomasBrihaye, 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, KarlGrosse-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, KarlGrosse-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
KarlGrosse-Erdmann, Dynamics of linear operators, Topics in complex analysis and operator theory, Malaga, Espagne, 2007.
Chapitres d'ouvrage
A. M. W.Glass, FrançoisePoint, Finitely presented abelian lattice-ordered groups, 2007, Springer-Verlag.
ISSN: 0302-9743.
2006
Publications référencées
CédricRiviè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édricRiviè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.
PatriciaBouyer, ThomasBrihaye, FabriceChevalier, Control in o-minimal Hybrid Systems, IEEE proceedings, (2006), pp. 367–378.
DOI: 10.1109/LICS.2006.22.
NicolasGuzy, CédricRiviè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.
PatriciaBouyer, ThomasBrihaye, NicolasMarkey, Improved undecidability results on weighted timed automata, Information Processing Letters, 98 (2006), pp. 188–194, Elsevier.
DOI: 10.1016/j.ipl.2006.01.012.
ThomasBrihaye, VéroniqueBruyère, Jean-FrançoisRaskin, 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.
ThomasBrihaye, 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.
ThomasBrihaye, ChristianMichaux, 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, KarlGrosse-Erdmann, Weighted Hardy inequalities for decreasing sequences and functions, Mathematische Annalen, 334 (2006), pp. 489–531, Springer.
A.Bonilla, KarlGrosse-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çoisePoint, 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
ChristianMichaux, CédricRiviè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.
ThomasBrihaye, VéroniqueBruyère, Jean-FrançoisRaskin, On optimal timed strategies, Lecture Notes in Computer Science, 3829 (2005), pp. 49–64, Springer.
DOI: 10.1007/11603009_5.
ThomasBrihaye, ChristianMichaux, 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, AngusMacintyre, FrançoisePoint, 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çoisePoint, 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, KarlGrosse-Erdmann, On series of positive terms, Houston Journal of Mathematics, 31 (2005), pp. 541–586, University of Houston.
KarlGrosse-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
ThomasBrihaye, VéroniqueBruyère, Jean-FrançoisRaskin, Model-Checking for Weighted Timed Automata, Lecture Notes in Computer Science, (2004), Springer.
ThomasBrihaye, ChristianMichaux, CédricRivière, ChristopheTroestler, On O-Minimal Hybrid Systems, Lecture Notes in Computer Science, 2993 (2004), pp. 133–138, Springer.
KarlGrosse-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, KarlGrosse-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, KarlGrosse-Erdmann, The hypercyclicity criterion for sequences of operators, Studia Mathematica, 157 (2003), pp. 17–32, Polska Akademia Nauk.
KarlGrosse-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, KarlGrosse-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, KarlGrosse-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, KarlGrosse-Erdmann, Strongly omnipresent integral operators, Integral Equations and Operator Theory, 44 (2002), pp. 397–409, Birkhauser Verlag.
2001
Publications référencées
ChristopheTroestler, CatherineFinet, LucasQuarta, Vector-Valued Variational Principles, Nonlinear Analysis: Theory, Methods and Applications, 52 (2001), pp. 197–218, Elsevier.
DOI: 10.1016/S0362-546X(02)00103-7.
ChristopheTroestler, 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.
KarlGrosse-Erdmann, On l1 -invariant sequence spaces, Journal of Mathematical Analysis and Applications, 262 (2001), pp. 112–132, Elsevier.
2000
Publications référencées
ChristopheTroestler, ChristianMichaux, 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.
KarlGrosse-Erdmann, Hypercyclic and chaotic weighted shifts, Studia Mathematica, 139 (2000), pp. 47–68, Polska Akademia Nauk.
KarlGrosse-Erdmann, Rate of growth of hypercyclic entire functions, Indagationes Mathematicae, 11 (2000), pp. 561–571, Elsevier.
1999
Publications référencées
KarlGrosse-Erdmann, Universal families and hypercyclic operators, Bulletin of the American Mathematical Society, 36 (1999), pp. 345–381, American Mathematical Society.
KarlGrosse-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
MiguelRamos, SusannaTerracini, ChristopheTroestler, 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
ChristopheTroestler, Strongly indefinite variational problems with lack of compactness, International Conference on Differential Equations, Lisboa, Portugal, 1998.
ChristianMichaux, ChristopheTroestler, Isomorphism Theorem for BSS Recursiveley Enumerable Sets over Real Closed Fields, International Colloquium Universal Machines and Computations, Metz, France, 1998.
Ouvrages
KarlGrosse-Erdmann, The blocking technique, weighted mean operators and Hardy’s inequality, 1998, Springer Verlag.
1997
Publications référencées
MiguelRamos, SusannaTerracini, ChristopheTroestler, 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, KarlGrosse-Erdmann, On non-distinguished matrix domains, Results in Mathematics, 32 (1997), pp. 285–290, Springer.
Ouvrages
ChristopheTroestler, Liouville type theorems and applications, 1997, Académie royale de Belgique. Classe des Sciences,.
1996
Publications référencées
Abdel KouiderBen-Naoum, ChristopheTroestler, MichelWillem, 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.
ChristopheTroestler, MichelWillem, 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
KarlGrosse-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.
KarlGrosse-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 KouiderBen-Naoum, ChristopheTroestler, MichelWillem, 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, KarlGrosse-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
KarlGrosse-Erdmann, Matrix transformations between the sequence spaces of Maddox, Journal of Mathematical Analysis and Applications, 180 (1993), pp. 223–238, Elsevier.
KarlGrosse-Erdmann, T -solid sequence spaces, Results in Mathematics, 23 (1993), pp. 303–321, Springer.
1992
Publications référencées
KarlGrosse-Erdmann, The structure of the sequence spaces of Maddox, Canadian Journal of Mathematics, 44 (1992), pp. 298–307, Canadian Mathematical Society.
KarlGrosse-Erdmann, On the f -dual of sequence spaces, Archiv der Mathematik, 58 (1992), pp. 575–581, Birkhauser Verlag.
KarlGrosse-Erdmann, Topologies on matrix spaces and universal matrices, Analysis, 12 (1992), pp. 47–56, Oxford University Press.
KarlGrosse-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.
KarlGrosse-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
KarlGrosse-Erdmann, Regularity properties of functional equations and inequalities, Aequationes Mathematicae, 37 (1989), pp. 233–251, Birkhauser Verlag.