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.
Presentations & posters with abstract
CélineNihoul, Les droites et les plans dans l'espace : quels impacts des pratiques enseignantes sur les apprentissages des élèves ?, Séminaire de l'Ecole Doctorale Thématique Didactique des disciplines, Mons, Belgique, 2022.
Presentations & posters without abstract
PierreVandenhove, Characterizing Omega-Regular Languages Through Strategy Complexity of Games on Infinite Graphs (invited talk), LaBRI seminar, Bordeaux, France, 2022.
KarlGrosse-Erdmann, A curious difference between H(C) and H(D), Computational Methods and Function Theory, CMFT 2021, Valparaiso (en ligne), Chili, 2022.
2021
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
CédricPilatte, New bound for Roth’s theorem with generalized coefficients, 2021.
FrançoisePoint, ON EXPONENTIAL TOPOLOGICAL FIELDS ENDOWED WITH A GENERIC DERIVATION., 2021.
FrançoisePoint, On definable groups in expansions of topological fields by a generic derivation., 2021.
FrançoisePoint, On topological fields of characteristic 0 with a generic derivation., 2021.
FrançoisePoint, Théorie des modèles 1, course notes, 2021.
GuillaumeSaes, Cette FORME va changer le MONDE !, 2021.
CélineNihoul, Impact des pratiques enseignantes sur la conceptualisation des droites et des plans dans l'espace: une étude de cas, 2021.
Popularization
ThomasBrihaye, Mathipulations, 2021, Exposé, Athénée Royal Marguerite Bervoets de Mons.
ThomasBrihaye, Comment les maths t’aident à réaliser des défis dignes de Fort Boyard ou d’Harry Potter ?, 2021, Exposé, Université des enfants à l’UMONS.
ThomasBrihaye, Trouver le vainqueur de Condorcet, 2021, La mémoire des rues, .
ThomasBrihaye, Mathipulations, 2021, Exposé, Institut de la Providence de Champion.
ThomasBrihaye, Mathipulations, 2021, Exposé, Institut Saint-Louis de Namur.
ThomasBrihaye, Quand les jeux mènent aux prix Nobel, 2021, Exposé, Athénée Royal de Mons.
ThomasBrihaye, Mathématiques, théorie des jeux et monde réel, 2021, Exposé, Collège du Sacré-Coeur de Charleroi.
ThomasBrihaye, Théorie des jeux, mathématiques et psychologie, 2021, Exposé, journées math-sciences (UMONS).
ThomasBrihaye, Mathipulations, 2021, Exposé, Communauté Scolaire Sainte-Marie de Namur.
ThomasBrihaye, Théorie des jeux, mathématiques et psychologie, 2021, Exposé, Communauté Scolaire Sainte-Marie de Namur.
Book chapters
MariaTrigueros, StéphanieBridoux, AnnO'Shea, LauraBranchetti, Challenging issues in the teaching and learning of Calculus and Analysis, 2021, Routledge.
Presentations & posters with abstract
GuillaumeSaes, Analyse de la régularité des trajectoires de processus non-localement bornés et Applications à l'analyse de données physiologiques de marathoniens, Colloque Probabilités et Statistiques, Lilles, France, 2021.
GuillaumeSaes, Une nouvelle caractérisation des exposants de régularités ponctuelles pour les trajectoires non-localement bornées, Journée du GdR Analyse Multifractale, Porquerolles, France, 2021.
Presentations & posters without abstract
KevinAgneessens, Vecteurs aléatoires fréquemment hypercycliques, Groupe de Travail d'Analyse Fonctionnelle, Villeneuve d'Ascq, France, 2021.
QuentinMenet, How to shift from frequent hypercyclicity to chaos?, Frontiers of Operator Theory, Luminy (CIRM), France, 2021.
CélineNihoul, Etude didactique des pratiques enseignantes pour l’enseignement des équations de droites et de plans dans l’espace : quels impacts sur les apprentissages des élèves ?, Séminaire du CREM (Centre de Recherche sur l’Enseignement des Mathématiques), Nivelles, Belgique, 2021.
JamesMain, Timed Games with Window Parity Objectives, Journées du GT Vérif, Gif-sur-Yvette, France, 2021.
PierreVandenhove, Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs, Journées du GT Vérif, Gif-sur-Yvette, France, 2021.
FrançoisePoint, On definable groups in expansions of topological fields by a generic derivation., Fields Institute (Thematic Program on Trends in Pure and Applied Model Theory), Toronto, Canada, 2021.
KarlGrosse-Erdmann, Dynamique de shifts à poids sur un arbre, Séminaire d'Analyse fonctionnelle, Lille, France, 2021.
JamesMain, Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives, Highlights of Logic, Games and Automata, Online, , 2021.
PierreVandenhove, Arena-Independent Finite-Memory Determinacy, Highlights of Logic, Games and Automata, Online, , 2021.
PierreVandenhove, Arena-Independent Finite-Memory Determinacy in Stochastic Games, International Conference on Concurrency Theory (CONCUR 2021), Paris, France, 2021.
QuentinMenet, Linear Dynamics, 1st EUNICE Math Symposium, (online), , 2021.
QuentinMenet, A-hypercyclicity, Four Days in Linear Dynamics, The University of Campania Luigi Vanvitelli (online), Italy, 2021.
KarlGrosse-Erdmann, Recurrent operators, Four Days in Linear Dynamics, The University of Campania Luigi Vanvitelli (online), Italy, 2021.
AngelosGaitanis, WardDe Paepe, francescoContino, Towards Real Time Transient mGT Performance Assessment, ASME Turbo Expo 2021: Turbomachinery Technical Conference and Exposition, Virtual, Online, 2021.
KarlGrosse-Erdmann, Zero-one law of orbital limit points, AMS Spring Western Sectional Meeting, San Francisco (virtual), USA, 2021.
PierreVandenhove, Arena-Independent Finite-Memory Strategies, Groupe de Travail Concurrence & Distribué et Model-Checking & Synthèse, LMF, École normale supérieure Paris-Saclay, Université Paris-Saclay, France, 2021.
StéphanieBridoux, Cécilede Hosson, Analyser les pratiques enseignantes : Pourquoi ? Comment ? Approche didactique en mathématique et en physique, Journée d'étude de l'Ecole Doctorale Thématique « Didactique des disciplines », UMONS, Belgique, 2021.
MickaëlRandour, Games Where You Can Play Optimally With Finite Memory, International Workshop on Formal Methods in AI, London, UK, 2021.
CédricPilatte, The Inverse Slope Problem and Additive Combinatorics, British Mathematical Colloquium (BMC), Glasgow, (Online), United Kingdom, 2021.
2020
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
FrançoisePoint, Theorie des modèles 1, course notes, 2020.
DamienGalant, CédricPilatte, A note on optimal degree-three spanners of the square lattice, 2020.
arXiv: 2010.13473.
Popularization
ClotildeFermanian Kammerer, StéphaneJaffard, GuillaumeSaes, LA PAROLE À JEAN PERRIN : LES COURBES SANS TANGENTE, 2020, Images des maths, http://images.math.cnrs.fr/La-parole-a-Jean-Perrin-les-courbes-sans-tangente.html.
QuentinMenet, Les systèmes dynamiques ou l'art d'itérer, 2020, Séminaire du CREM, .
MickaëlRandour, Les éclaireurs : la première ligne de soins, la théorie des jeux et les bugs informatiques, 2020, RTBF - Les éclaireurs, Brussels, Belgium.
ThomasBrihaye, Mathématiques, théorie des jeux et monde réel, 2020, Exposé, Communauté Scolaire Sainte-Marie Namur.
ThomasBrihaye, Mathipulations, 2020, Exposé, Auberge de jeunesse de Mons.
ThomasBrihaye, Mathématiques, théorie des jeux et monde réel, 2020, Exposé, Institut Saint André de Ramegnies-Chin.
ThomasBrihaye, Mathipulations, 2020, Exposé, Institut Saint André de Ramegnies-Chin.
ChristopheTroestler, StéphanieBridoux, Optimisation: quand les extrêmes sont les meilleurs, 2020, Institut Saint André, Ramegnies-Chin.
ChristopheTroestler, Quand les extrêmes sont les meilleurs !, 2020, Institut Saint André, 7520 Ramegnies Chin.
Presentations & posters with abstract
FrançoisePoint, Generic differential expansions of topological fields of characteristic 0, Mathematical Science Research Institute, Berkeley, US-CA, 2020.
GuillaumeSaes, Multifractal analysis of sums of random pulses, Journée du GdR AFHP, Marseille, France, 2020.
PierreVandenhove, Games Where You Can Play Optimally with Arena-Independent Finite Memory, 14th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2020), Grenoble, France, 2020.
Presentations & posters without abstract
PierreVandenhove, Understanding Finite-Memory Determinacy, LMF Research Days, Saclay, France, 2020.
QuentinMenet, Jeux de Banach-Mazur, espace de contractions et injectivité, Journées annuelles du GDR AFHP, CIRM, France, 2020.
QuentinMenet, Sous-espaces invariants et noyaux de seminormes, Séminaire d'Analyse Fonctionnelle, Lille, France, 2020.
StéphanieBridoux, MartineDe Vleeschouwer, NicolasGrenier-Boley, RitaKhanfour-Armale, NathalieLebrun, ZoéMesnil, CélineNihoul, The professional identity of teachers-researchers in mathematics, INDRUM, Bizerte, Tunisie, 2020.
StéphanieBridoux, Cécilede Hosson, CélineNihoul, University teachers' in situ pratices and comparison with students' experiences: a case study, INDRUM, Bizerte, Tunisie, 2020.
AlineGoeminne, On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games, International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Austria, 2020.
AlineGoeminne, On Relevant Equilibria in Reachability Games, 68NQRT seminar, Rennes, France, 2020.
KarlGrosse-Erdmann, Opérateurs fréquemment récurrents, Séminaire d'Analyse Fonctionnelle, Lille, France, 2020.
2019
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
StéphanieBridoux, Formation CORSCI - Pratiques enseignantes à l'université et confrontation au vécu des étudiants, 2019.
ThomasBrihaye, VéroniqueBruyère, AlineGoeminne, NathanThomasset, On Relevant Equilibria in Reachability Games, 2019.
FrançoisePoint, Theorie des modeles 1, course notes, 2019.
CélineNihoul, Droites et plans dans l'espace: opérationnalisation du cadre de la théorie de l'activité, Séminaire des jeunes chercheurs de l'ARDM (WEJCH19), Paris, France, 2019.
ThomasBrihaye, VéroniqueBruyère, AlineGoeminne, Jean-FrançoisRaskin, Marievan den Bogaard, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, 2019.
CédricPilatte, Un problème de pentes, Losanges, (2019), Société Belge des Professeurs de Mathématiques d'Expression Française (SBPMef).
CélineNihoul, L'enseignement des droites et des plans dans l'espace en Belgique: une étude des moments d'exposition des connaissances, 2019.
Popularization
ThomasBrihaye, Mathématiques, théorie des jeux et monde réel, 2019, Exposé, Athénée Royal de Binche.
ThomasBrihaye, Mathématiques, théorie des jeux et monde réel, 2019, Exposé, Athénée Royal de Binche.
QuentinMenet, DidierLeroy, CoralieMuylaert, FabienneVande Meerssche, Les Eclaireurs : Moyen-Orient, Effet Papillon et Economie Vertueuse, 2019, Emission, .
MickaëlRandour, Pint of Science Mons 2019, 2019, Festival scientifique, Mons.
FlorentDelgrange, AlineGoeminne, MarionHallet, QuentinMeurisse, ClémentTamines, NathanThomasset, MickaëlRandour, KevinVan Mieghem, A vous de jouer !, 2019, Atelier, Journées Math-Sciences.
ThomasBrihaye, Mathipulations, 2019, Exposé, Université de Liège, Pi Day 2019 (seconde édition).
ThomasBrihaye, Mathipulations, 2019, Exposé, Université de Liège - Pi Day 2019.
ThomasBrihaye, Mathipulations, 2019, Exposé, Institut Saint Laurent de Marche-en-Famenne.
ThomasBrihaye, Retour vers le futur: à toi de jouer!, 2019, Expo, Institut Saint Laurent de Marche-en-Famenne.
ChristopheTroestler, StéphanieBridoux, Optimisation — Quand les extrêmes sont les meilleurs !, 2019, Collège Saint Guibert, Gembloux.
ThomasBrihaye, Quand les jeux mènent aux Prix Nobel, 2019, Exposé, Athénée Royal de Saint Ghislain.
Presentations & posters with abstract
ChristopheTroestler, A computer assisted proof of the symmetries of least energy nodal solutions on squares, Second Days Of Nonlinear Elliptic PDE in Hauts-de-France, Calais, France, 2019.
MoniaMestiri, Common upper frequent hypercyclicity, FNRS Group Functional Analysis, Liège, Belgique, 2019.
MoniaMestiri, Critère de U-fréquente hypercyclicité commune, Séminaire d'Analyse et Géométrie, Marseille, France, 2019.
ThomasBrihaye, Game theory, Evolution and Network, 68NQRT, Rennes, France, 2019.
AlineGoeminne, Multiplayer Reachability Games Played on Graphs, Grascomp Doctoral Day (GDD’19), UNamur, Belgique, 2019.
MickaëlRandour, Life Is Random, Time Is Not: Markov Decision Processes with Window Objectives (invited talk), LSV working group, ENS Paris-Saclay, Cachan, France, 2019.
QuentinMenet, Dynamic behaviors of the inverse of an operator, Workshop d'automne de l'ANR Front, Clermont-Ferrand, France, 2019.
StéphanieBridoux, NicolasGrenier-Boley, Une expérience de classe inversée en première année universitaire: quelle (ré)organisation des apprentissages, 20ème Ecole d'Eté de Didactique des Mathématiques, Autrans, France, 2019.
MickaëlRandour, Games Where You Can Play Optimally With Finite Memory, GT ALGA annual meeting 2019, Paris, France, 2019.
PierreVandenhove, Reachability in Stochastic Hybrid Systems, Highlights of Logic, Games and Automata, Warsaw, Poland, 2019.
MickaëlRandour, Games Where You Can Play Optimally With Finite Memory, Highlights of Logic, Games and Automata, Warsaw, Poland, 2019.
AlineGoeminne, On Relevant Equilibria in Reachability Games, Highlights of Logic, Games and Automata, Warsaw, Poland, 2019.
ThomasBrihaye, Théorie des jeux, évolution et réseaux informatique, 13ème Journée des Doctorants en Mathématiques du Nord-Pas-de-Calais, Université de Lens, France, 2019.
PierreVandenhove, Reachability in Stochastic Hybrid Systems, 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019.
MickaëlRandour, Extending finite-memory determinacy by Boolean combination of winning conditions, 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019.
AlineGoeminne, On Relevant Equilibria in Reachability Games, 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019.
AlineGoeminne, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019.
AlineGoeminne, The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games, Méthodes Formelles et Vérification, Bruxelles, Belgique, 2019.
MickaëlRandour, Extending finite-memory determinacy by Boolean combination of winning conditions, 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada, 2019.
FlorentDelgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada, 2019.
CélineNihoul, Droites et plans dans l'espace: opérationnalisation du cadre de la théorie de l'activité, Séminaire des jeunes chercheurs de l'ARDM (WEJCH19), Paris, France, 2019.
FlorentDelgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, UnRAVeL Research Training Group, Aachen, Germany, 2019.
AlineGoeminne, PSPACE algorithm for SPEs in quantitative reachability games, Centre Fédéré en Vérification (ULB), Bruxelles, Belgique, 2019.
FlorentDelgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Mardi des Chercheurs 2019 (MdC2019), Mons, Belgique, 2019.
MickaëlRandour, Rich behavioral models: illustration on journey planning (invited talk), LSV seminar, ENS Paris-Saclay, Cachan, France, 2019.
MarionHallet, Dynamics in graph games, Ecole Jeunes Chercheurs en Informatique Mathématique, Marseille, France, 2019.
StéphanieBridoux, Étude de pratiques in situ d'enseignants universitaires et confrontation avec le vécu des étudiants, La pédagogie universitaire: un terrain pour les recherches en didactique des disciplines, Rouen, France, 2019.
MarionHallet, Dynamics in graph games, GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgique, 2019.
MickaëlRandour, Rich behavioral models: illustration on journey planning (invited talk), GAMENET Workshop - Theory and Algorithms in Graph and Stochastic Games, Mons, Belgique, 2019.
FlorentDelgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, Theory and Algorithms in Graph and Stochastic Games, Mons, Belgium, 2019.
QuentinMenet, Le chaos linéaire: un paradoxe?, Colloquium du LMPA, Calais, France, 2019.
CélineNihoul, Favoriser la conceptualisation des droites et des plans dans l'espace: les apports du didacticien, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2019.
PierreVandenhove, Reachability in Infinite Markov Chains, Mardi des Chercheurs, Mons, Belgique, 2019.
AlineGoeminne, Games played on graph with quantitative reachability objectives, Mardi des Chercheurs, Mons, Belgique, 2019.
MoniaMestiri, U-fréquente hypercyclicité commune, Séminaire d'Analyse Fonctionnelle, Lille, France, 2019.
FlorentDelgrange, Life is Random, Time is Not: Markov Decision Processes with Window Objectives, MFV seminar - ULB, Brussels, Belgium, 2019.
MickaëlRandour, Journey planning in uncertain environments, the multi-objective way, Complex Systems think tank, Mons, Belgium, 2019.
2018
Referenced Publications
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.
Publications (not referenced)
FrançoisePoint, Théorie des modèles 1, course notes, 2018.
FrançoisePoint, Topological large fields, their generic differential expansions and transfer results, Kolchin seminar, New-York, Etats-Unis, 2018.
PabloCubides Kovacsics, FrançoisePoint, Topological large fields, their generic differential expansions and transfer results, Workshop on Tame Expansions of O-minimal Structures, Konstanz, Allemagne, 2018.
StéphanieBridoux, Formation CORSCI - Classe inversée pour enseigner les mathématiques: une expérience en première année universitaire, 2018.
FrançoisePoint, Topological large fields, their generic differential expansions and transfer results, Model-Theoretic Methods in Number Theory and Algebraic Differential Equations, Manchester, Angleterre, 2018.
MoniaMestiri, Common A-hypercyclicity, 2018.
CélineNihoul, Droites et plans dans l'espace: méthodologie et analyse d'une étude de terrain, Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH), Rennes, France, 2018.
MarionHallet, Introduction à la cryptographie, 2018.
Popularization
ThomasBrihaye, Mathipulations, 2018, Exposé, Athénée des Pagodes .
MickaëlRandour, Prévenir les bugs informatiques, 2018, Interview, FNRS.TV, Bruxelles.
ChristopheTroestler, Optimisation — Quand les extrêmes sont les meilleurs !, 2018, École des Ursulines, Mons.
ChristopheTroestler, StéphanieBridoux, Optimisation: quand les extrêmes sont les meilleurs, 2018, Ecole des Ursulines, Mons.
ThomasBrihaye, Mathipulations, 2018, Exposé, Ecole internationale du Shape, section belge.
ThomasBrihaye, Mathématiques, théorie des jeux et Prix Nobel, 2018, Exposé, CES Saint Vincent de Soignies.
StéphanieBridoux, Toucher l'infini du bout des doigts: du domaine de la fiction?, 2018.
ThomasBrihaye, Mathématiques, modéles et réalité, 2018, Exposé, Journées math-sciences 2018.
AlineGoeminne, MarionHallet, QuentinHautem, MickaëlRandour, A vous de jouer !, 2018, Exposé, Journées Math-Sciences.
ChristopheTroestler, Optimisation — Quand les extrêmes sont les meilleurs !, 2018, École IPET, Nivelles rue du Paradis 79A - 1400 NIVELLES.
Presentations & posters with abstract
StéphanieBridoux, Classe inversée pour introduire les suites numériques: une expérience en première année universitaire, Espace Mathématique Francophone (EMF) 2018, Gennevilliers, France, 2018.
ChristopheTroestler, Une preuve assistée par ordinateur pour les symétries des solutions nodales d'énergie minimale de Lane-Emden sur le carré, Séminaire d’analyse appliquée A³, Amiens, France, 2018.
AntonellePardo, PhilippeDony, RemyDemeester, AlineGoulard, MathieuRivolta, MarcJoris, SergeStenuit, IMPACT DE L’IMPLÉMENTATION D’UNE STRATÉGIE GLOBALE COLLABORATIVE MÉDECIN-PHARMACIEN SUR LES PRATIQUES DE PRESCRIPTION ET D’ADMINISTRATION DE L’ANTIBIOPROPHYLAXIE À L’HÔPITAL CIVIL MARIE CURIE DU CHU DE CHARLEROI, 29e JOURNEE SCIENTIFIQUE de l'AFPHB, Mons, Belgique, 2018.
Presentations & posters without abstract
QuentinBrouette, Clôture algébrique et dimension en théorie des modèles, Séminaire théorie des modèles, Mons, Belgique, 2018.
KarlGrosse-Erdmann, A glimpse at linear dynamics, Recent advances in Operator theory and Operator algebras OTOA 2018, Bangalore, Inde, 2018.
AlineGoeminne, Jeux sur graphe et objectifs d'atteignabilité, Séminaire Jeunes (Math-Info), Mons, Belgique, 2018.
KarlGrosse-Erdmann, Chaos and frequent hypercyclicity for weighted shifts, Autumn Workshop ANR Front, Lens, France, 2018.
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) 2018, Gennevilliers, France, 2018.
MickaëlRandour, Answering reachability problems in Markov decision processes using learning algorithms, L² meeting, Mons, Belgium, 2018.
QuentinMenet, Invertible operators and dynamical properties, Workshop on Functional Analysis and Operator Theory, Valencia, Espagne, 2018.
FrançoisePoint, Nullstellensatz in exponential fields, Real Algebraic Geometry and Model Theory (RAGMT), Konstanz, Allemagne, 2018.
AlineGoeminne, Constrained existence problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives, International Symposium on Games, Automata, Logics, and Formal Verification, Saarbrücken, Allemagne, 2018.
AlineGoeminne, Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives, Highlights of Logic, Games and Automata, Berlin, Allemagne, 2018.
MarionHallet, Dynamics and Coalitions in Sequential Games : Poster Presentation, GAMENET Training School, Cracovie, Pologne, 2018.
ThomasBrihaye, Mathipulations, 44e congrès de la Société Belge des Professeurs de Mathématique d’expression française, Athénée Robert Catteau de Bruxelles, Belgique, 2018.
AudreyKumps, BrunoDe Lièvre, Le numérique au service de l'apprentissage. Exemples de pratiques enseignantes, Educode, Bruxelles, Belgique, 2018.
KarlGrosse-Erdmann, Linear dynamics, Linear dynamics and Reconstruction of signals from incomplete frequency data, Copenhague, Danemark, 2018.
AlineGoeminne, Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives, 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018), Cachan, France, 2018.
ThomasBrihaye, Stochastic o-minimal hybrid systems, 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis, Oxford, UK, 2018.
AlineGoeminne, Constraint Problem for Weak Subgame Perfect Equilibria with ω-regular Boolean Objectives, 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis - MoRe 2018, Oxford, UK, 2018.
KarlGrosse-Erdmann, Algebren in der linearen Dynamik, Séminaire, Trier, Allemagne, 2018.
QuentinMenet, Invariant subspaces in Fréchet spaces, Pawel Domanski Memorial Conference, Bedlewo, Pologne, 2018.
KarlGrosse-Erdmann, Algebraic structures in linear dynamics, Pawel Domanski Memorial Conference, Bedlewo, Pologne, 2018.
AlineGoeminne, Constraint Problem for Weak Subgame Perfect Equilibria with omega-regular Boolean Objectives., GT Vérification, Grenoble, France, 2018.
MickaëlRandour, Rich behavioral models: illustration on journey planning (invited session), GT Vérification, Grenoble, France, 2018.
MarionHallet, Dynamics on Sequential Games and Games played on Graph, GT Vérification, Grenoble, France, 2018.
CélineNihoul, L'enseignement des droites et des plans dans l'espace: une étude des moments d'exposition des connaissances, Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH), Rennes, France, 2018.
ThomasBrihaye, When are Stochastic Transitions Systems Tameable ?, Séminaire du département d’informatique de l’Université de Liverpool, Liverpool, UK, 2018.
CélineNihoul, L'enseignement des droites et des plans dans l'espace: une étude des moments d'exposition des connaissances, Journée doctorale thématique en didactique des disciplines, Mons, Belgique, 2018.
ThomasBrihaye, When are Stochastic Transitions Systems Tameable ?, Groupe de contact Conception de systèmes informatiques corrects, Bruxelles, Belgique, 2018.
MarionHallet, A vous de jouer !, Journées Math-Sciences, Mons, Belgique, 2018.
MarionHallet, Dynamics and Coalitions in Sequential Games, MOVE, Aix-Marseille Université, France, 2018.
MajaVolkov, Supersingular abelian varieties with non semisimple Tate module, Number Theory Seminar, Durham, Royaume-Uni, 2018.
MajaVolkov, Local Geometric Galois Representations, Pure Maths Colloquium, Durham, Royaume-Uni, 2018.
MickaëlRandour, Rich behavioral models: illustration on journey planning (invited talk), Verification seminar - University of Oxford, Oxford, UK, 2018.
2017
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
PierreCarlier, Verification of Stochastic Timed Automata, 2017.
IsabelleBloch, StéphanieBridoux, VivianeDurand-Guerrier, DeniseGrenier, PatrickFrétigné, JacquelineMac Aleese, GwenolaMadec, ChantalMenini, MarcRogalski, PascaleSénéchaud, FabriceVandebrouck, Limites de suites réelles et de fonctions numériques d'une variable réelle: constats, pistes pour les enseigner, Petit X, (2017), Institut de Recherche sur l'Enseignement des Mathématiques.
StéphanieBridoux, Formation CORSCI - Classe inversée pour enseigner les mathématiques: une expérience en première année universitaire, 2017.
FrançoisePoint, Topological large fields and their generic expansion to differential fields, Model theory and applications to geometry, Padoue, Italie, 2017.
FrançoisePoint, Bézout domains and lattice valued modules, Model theory of modules, algebras and categories, Erice, Italie, 2017.
CélineNihoul, Droites et plans dans l'espace: apports des outils théoriques dans l'évolution d'un travail de recherche en didactique., Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH17), La Grande Motte, France, 2017.
CélineNihoul, Bilan et premiers résultats de recherche: les droites et les plans dans l'espace, 2017.
Popularization
MarionHallet, Les deux orientations de l’espace euclidien, les déplacements et les retournements de l’espace euclidien en 5ième et 6ième secondaires., 2017.
ChristopheTroestler, StéphanieBridoux, Optimisation — Quand les extrêmes sont les meilleurs !, 2017, Collège St Benoit, Maredsous.
ChristopheTroestler, StéphanieBridoux, Optimisation — Quand les extrêmes sont les meilleurs !, 2017, Collège Notre-Dame de Tournai, Tournai.
ThomasBrihaye, Mathipulations, 2017, Exposé, Journées math-sciences à l’UMONS.
PierreCarlier, MarionHallet, QuentinHautem, Jouer n'est pas qu'un jeu, 2017, Présentation orale, Journées Math Sciences Mons.
ChristopheTroestler, Les procédures de vote sous la loupe mathématique, 2017, Collège Notre-Dame de Tournai, Tournai.
StéphanieBridoux, Prisonniers des maths, 2017, Journées Math-Sciences, Mons.
ThomasBrihaye, Mathématiques, théorie des jeux et Prix Nobel, 2017, Exposé, Congrès MATh.en.JEANS organisé à Arras (France).
ThomasBrihaye, Quand les jeux mènent aux prix Nobel, 2017, Exposé, Collège Notre-Dame de Tournai.
ChristopheTroestler, Les procédures de vote sous la loupe mathématique, 2017, École Vallée Bailly, Braine-l'Alleud.
ThomasBrihaye, Quand les jeux mènent au prix Nobel, 2017, Exposé, Athénée Royal de Saint Ghislain.
Presentations & posters with abstract
MoniaMestiri, Common upper frequent hypercyclicity, Journées du GDR AFHP, Bordeaux, France, 2017.
MoniaMestiri, U-fréquente hypercyclicité commune pour les multiples d’un opérateur, Séminaire Analyse et Géométrie, Marseille, France, 2017.
ChristopheTroestler, A computer assisted proof of the symmetry of solutions to a PDE, Computers in Scientific Discovery 8, Mons, Belgium, 2017.
ChristopheTroestler, Radial and non-radial positive solutions to a system with critical growth on ℝᴺ, First days of Nonlinear Elliptic PDE in Hauts-de-France, Valenciennes, France, 2017.
MarionHallet, Dynamiques sur le jeux sous forme extensive, Ecole jeunes chercheurs en Informatique mathématique, Lyon, France, 2017.
Presentations & posters without abstract
MarionHallet, Dynamics and Coalitions in Sequential Games, The 2nd Winter School in Engineering and Computer Science on Formal Verification, Jerusalem, Israël, 2017.
MarionHallet, Le concept de stabilité dans les jeux sur arbre, Séminaire Jeunes (Math-Info), Mons, Belgique, 2017.
PierreCarlier, Verification of Stochastic Timed Automata, Séminaire du LSV, ENS Paris-Saclay (Cachan), France, 2017.
QuentinMenet, Invariant subspaces in Fréchet spaces, Seminario del IUMPA, Valencia, Espagne, 2017.
QuentinMenet, Invariant subspaces in Fréchet spaces, Journées du GDR AFHP, Bordeaux, France, 2017.
MickaëlRandour, Rich behavioral models: illustration on journey planning (invited session talk), Highlights of Logic, Games and Automata, London, England, 2017.
MarionHallet, Dynamics and Coalitions in Sequential Games, Méthodes formelles et vérification, UBL (Bruxelles), Belgique, 2017.
MajaVolkov, La loi de réciprocité quadratique, Brussels Summer School of Mathematics, Bruxelles, Belgique, 2017.
QuentinMenet, Typical properties of hypercyclic operators on Hilbert Spaces, CEDYA (Congreso de Ecuaciones Diferenciales y Aplicaciones), Logrono, Espagne, 2017.
CélineNihoul, Droites et plans dans l'espace: apports des outils théoriques dans l'évolution d'un travail de recherche en didactique., Journée des doctorants de l'Ecole doctorale thématique en Didactique des disciplines, Bruxelles, Belgique, 2017.
MarionHallet, Jouer n'est pas qu'un jeu, Filles et maths : une équation lumineuse, Jeumont, France, 2017.
CélineNihoul, Droites et plans dans l'espace: apports des outils théoriques dans l'évolution d'un travail de recherche en didactique., Séminaire des Jeunes Chercheurs de l'ARDM (WEJCH17), La Grande Motte, France, 2017.
NicolasGrenier-Boley, StéphanieBridoux, CélineNihoul, MartineDe Vleeschouwer, Cécilede Hosson, RitaKhanfour-Armale, NathalieLebrun, CarolineLeininger-Frézal, ZoéMesnil, Pratiques d'enseignement des enseignants-chercheurs en chimie, géographie, mathématique et physique: problématique, méthodologie, premiers résultats, Petit séminaire national, Paris, France, 2017.
MickaëlRandour, Bounding Average-Energy Games, 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala, Sweden, 2017.
QuentinBrouette, Dimensions en théorie des modèles et d’autres sujets mathématiques, Séminaire Jeunes (Math-Info), Mons, Belgique, 2017.
MickaëlRandour, Rich behavioral models: illustration on journey planning and focus on multi-constraint percentile queries in Markov decision processes (invited talk), Informatik Kolloquium - RWTH Aachen, Aachen, Germany, 2017.
QuentinMenet, Sous-espaces invariants pour les espaces de Fréchet, Séminaire Analyse et Géométrie, Marseille, France, 2017.
StéphanieBridoux, Classe inversée pour enseigner les mathématiques: une expérience en première année d'université, Séminaire interacadémique de l'école doctorale en Didactique des disciplines, Mons, Belgique, 2017.
NathanaelMariaule, Some remarks about the field of p-adic numbers expanded by a multiplicative subgroup, Model Theory and Applications, Mons, Belgique, 2017.
LoïcAsius, StéphanieBridoux, Marie-ChristineLevy, MoniquePariès, FrançoisePilorge, AlineRobert, LaurentVivier, Table ronde sur la classe inversée pour le secondaire ou quand le prof de math est sur YouTube, Séminaire de l'IREM de Paris 7, Paris, France, 2017.
2016
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
FrançoisePoint, On the field of transseries-construction and first-order properties., Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Allemagne, 2016.
FrançoisePoint, (Un)decidable expansions of certain Euclidean rings, Definability and Decidability Problems in Number Theory, Oberwolfach, Allemagne, 2016.
FrançoisePoint, Théorie des modèles 1, course notes, 2016.
StéphanieBridoux, CécileAllard, LoicAsius, MoniqueChappet-Pariès, FrançoisePilorge, AlineRobert, Quand le professeur de mathématiques est sur You Tube, 2016.
NathalieBertrand, PatriciaBouyer-Decitre, ThomasBrihaye, PierreCarlier, Decisiveness and stochastic timed automata, 12th Summer School on Modelling and Verification of Parallel Processes (MOVEP'16), Gênes, Italie, 2016.
FabienHeuwelyckx, Lookback options with floating strike and binomial approximations, 2016.
KarlGrosse-Erdmann, Frequently hypercyclic operators: Recent advances and open problems, Advanved courses of mathematical analysis VI, Antequera, Espagne, 2016.
Popularization
ChristopheTroestler, Les procédures de vote sous la loupe mathématique, 2016, Athénée Royal de Nivelles, Nivelles.
ChristopheTroestler, StéphanieBridoux, Quand les extrêmes sont les meilleurs !, 2016, Collège Saint Benoit, Maredsous.
ThomasBrihaye, Quand les jeux mènent aux prix Nobel, 2016, Exposé JMS 2016, UMONS.
ThomasBrihaye, Quand les jeux mènent aux prix Nobel, 2016, Exposé, Athénée Royal de Nivelles.
ThomasBrihaye, NicolasBoulanger, PhilippeGrosjean, TomMens, COMPLEXYS - Research Institute for Complex Systems, 2016, Belgian Research in Belgium, .
Presentations & posters with abstract
FrançoisePoint, Decidability questions for theories of modules over certain Bézout rings, BN-pair, a conference in the honor of the 60th birthdays of Alexandre Borovik and Ali Nesin, Istanbul, Turquie, 2016.
JulieDe Pril, CécileGodfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, World Finance Conference, New York, Etats-Unis, 2016.
FrançoisePoint, Alternatives for pseudofinite groups, Model theory of finite and pseudo finite structures, Leeds, Grande-Bretagne, 2016.
JulieDe Pril, CécileGodfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, 19th International Symposium on Ethics, Business and Society, IESE Business School Barcelone, Espagne, 2016.
Presentations & posters without abstract
FrançoisePoint, On the field of transseries-construction and first-order properties., Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations, Oberwolfach, Allemagne, 2016.
StéphanieBridoux, NicolasGrenier-Boley, ChristopheHache, AlineRobert, Anciennes et nouvelles questions sur l'enseignement supérieur-Un exemple de recherches actuelles sur l'exposition des connaissances en cours magistral, Séminaire national de didactique des mathématiques, Paris, France, 2016.
KarlGrosse-Erdmann, The search for linearity in linear dynamics, Infinite dimensional analysis, Kent, USA, 2016.
FrançoisePoint, (Un)decidable expansions of certain Euclidean rings, Definability and Decidability Problems in Number Theory, Oberwolfach, Allemagne, 2016.
KarlGrosse-Erdmann, Return times and associated densities in linear dynamics, Measure theory seminar, Kent State University, Kent, USA, 2016.
QuentinMenet, Periodic points at the service of hypercyclicity, Journées du GDR AFHP, Toulouse, France, 2016.
MickaëlRandour, Average-energy games, Highlights of Logic, Games and Automata, Bruxelles, Belgique, 2016.
ThomasBrihaye, Decisive Stochastic Processes, Highlights of Logic, Games and Automata, Bruxelles, Belgique, 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.
KarlGrosse-Erdmann, Upper frequent hypercyclicity, Workshop on Dynamics of linear operators, Istanbul, Turquie, 2016.
KarlGrosse-Erdmann, Frequently hypercyclic operators - a survey, Workshop on Dynamics of linear operators, Istanbul, Turquie, 2016.
QuentinMenet, A rich family of weighted operators, Séminaire d’Analyse de l’Université Polytechnique de Valencia, Valencia, Espagne, 2016.
QuentinLambotte, Superstable expasions of (Z,+,0), Second Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016.
QuentinMenet, Periodic points at the service of hypercyclicity, Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logrono, Espagne, 2016.
QuentinBrouette, Differential Galois groups of strongly normal extensions, Second joint conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016.
KarlGrosse-Erdmann, On upper frequent hypercyclicity, Second joint conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Logroño, Espagne, 2016.
JulieDe Pril, CécileGodfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, Recent Advances in Social Finance, Université de Rennes I, France, 2016.
MickaëlRandour, Reachability in Networks of Register Protocols under Stochastic Schedulers, MFV seminar - ULB, Brussels, Belgique, 2016.
CécileGodfroid, JulieDe Pril, How to reconcile financial incentives with prosocial motivation of loan officers in microfinance?, Matinée des Chercheurs 2016, Valenciennes, France, 2016.
QuentinBrouette, Types définissables dans les corps ordonnés différentiellement clos., Séminaire théorie des modèles et groupes, Université Paris 7, France, 2016.
MickaëlRandour, Planning a journey in an uncertain environment: variations on the stochastic shortest path problem, InforTech Scientific Day, Mons, Belgium, 2016.
CélineNihoul, Outils didactiques et méthodologie pour mieux comprendre les difficultés d'enseignement des droites et des plans dans l'espace, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2016.
PierreCarlier, Atteignabilité dans les automates temporisés et stochastiques, Séminaire Jeunes (Math-Info) 2016, Mons, Belgique, 2016.
MickaëlRandour, Reachability in Networks of Register Protocols under Stochastic Schedulers (invited talk), IRISA - INRIA Rennes seminar, Rennes, 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.
CélineNihoul, Difficulties encountered by students to recognize "lines" and "planes" in space, International Network for Didactic Research in University Mathematics (INDRUM), Montpellier, France, 2016.
QuentinLambotte, Expansions superstables du groupe des entiers, Séminaire des jeunes chercheurs de l'UMONS, Mons, Belgique, 2016.
NathalieBertrand, PatriciaBouyer-Decitre, ThomasBrihaye, PierreCarlier, Decisiveness and stochastic timed automata, Séminaire du groupe de travail Vasco-Mexico du LSV, ENS Cachan, Cachan, France, 2016.
CécileGodfroid, JulieDe Pril, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, 7th Conference on Innovative Trends Emerging in Microfinance, Shanghai, Chine, 2016.
NathalieBertrand, PatriciaBouyer-Decitre, ThomasBrihaye, PierreCarlier, Decisiveness and stochastic timed automata, Centre Fédéré en Vérification (ULB), Bruxelles, Belgique, 2016.
QuentinBrouette, Differential Galois theory, from Picard-Vessiot extensions to strongly normal extensions, Séminaire Logique et Analyse, Université de Gand, Belgique, 2016.
StéphanieBridoux, Une expérience de pédagogie inversée, Journées communes CII Lycée et Université, Bordeaux, France, 2016.
MickaëlRandour, Planning a journey in an uncertain environment, Modeling & Simulation Day - Energie and Complexys Institutes - UMONS, Mons, Belgium, 2016.
KarlGrosse-Erdmann, Frequently hypercyclic operators, and related notions, Séminaire d'analyse Liège Trèves, Trier, Allemagne, 2016.
StéphanieBridoux, NicolasGrenier-Boley, Moments d’exposition des connaissances à l’université : le cas de la notion de limite, Journée "Enseignement de l'Analyse à l'université", Paris, France, 2016.
2015
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
CélineNihoul, Difficultés d'étudiants universitaires à reconnaître les objets "droites" et "plans" dans l'espace, 2015.
MorganeEstiévenart, Verification and synthesis of MITL through alternating timed automata, 2015.
MoniqueChappet-Pariès, StéphanieBridoux, NicolasGrenier-Boley, ChristopheHache, AlineRobert, Les moments d'exposition des connaissances en mathématiques, 2015.
CélineNihoul, Difficultés d'étudiants universitaires dans la conceptualisation des équations de droites et de plans dans l'espace, Séminaire WEJCH 2015, Mons, Belgique, 2015.
QuentinBrouette, FrançoisePoint, Differential Galois theory in the class of formally real fields, Logic Colloquium, Vienne, Autriche, 2015.
PatriciaBouyer, ThomasBrihaye, PierreCarlier, QuentinMenet, Composition of stochastic timed automata, Frontiers of Formal Methods, Aachen, Allemagne, 2015.
Popularization
ThomasBrihaye, Quand les jeux mènent aux prix Nobel, 2015.
ChristianDu Brulle, QuentinMenet, Après le doctorat, place au postdoctorat, 2015, Journal en ligne, Daily Science.
ThomasBrihaye, Thomas Brihaye, professeur d’analyse à Mons et à... Port-au-Prince !, 2015, Daily Science, .
ThomasBrihaye, Les ordinateurs quantiques, quelles conséquences pour la complexité algorithmique ?, 2015.
Presentations & posters with abstract
JulieDe Pril, CécileGodfroid, How to reconcile financial incentives and pro-social motivation of loan officers in microfinance?, 5th European Reward Management Conference, Bruxelles, Belgique, 2015.
ChristopheTroestler, On positive solutions to the Lane-Emden problem with Neumann boundary conditions, Séminaire ANEDP - Analyse non linéaire et EDP, Bruxelles, Belgique, 2015.
ChristopheTroestler, AmirChaudhry, Tools to explore the OPAM Community, OCaml 2015, Vancouver, Canada, 2015.
ChristopheTroestler, ColetteDe Coster, SergeNicaise, Nodal properties of eigenfunctions of a generalized buckling problem on balls, 8ème édition de la Matinée des Chercheurs 2015 (MdC2015), Mons, Belgique, 2015.
Presentations & posters without abstract
KarlGrosse-Erdmann, Upper frequent hypercyclicity, and related notions, Journées du GdR "Analyse fonctionnelle et harmonique et probabilités", Marseille, France, 2015.
QuentinMenet, Linear Chaos and Frequent Hypercyclicity, Operator Algebra Seminar, Leuven, Belgique, 2015.
ThomasBrihaye, A brief introduction to evolutionnary game theory, Sixth Cassting meeting, Cachan, France, 2015.
QuentinBrouette, Stellensätze in closed ordered differential fields, Structures algébriques ordonnées et leurs interactions, Luminy, France, 2015.
KarlGrosse-Erdmann, Upper frequently hypercyclic operators, Frontières de la dynamique linéaire, Marseille, France, 2015.
QuentinMenet, Linear Chaos and Frequent Hypercyclicity, Frontiers of Operator Dynamics, CIRM (Luminy), France, 2015.
MickaëlRandour, Percentile Queries in Multi-Dimensional Markov Decision Processes, Highlights of Logic, Games and Automata, Prague, Czech Republic, 2015.
MickaëlRandour, Synthesis in Multi-Criteria Quantitative Games (invited talk - Ackermann Award lecture), 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Allemagne, 2015.
FabienHeuwelyckx, Lookback Options in the Binomial Model, 7th General AMaMeF and Swissquote Conference, Lausanne, Suisse, 2015.
MickaëlRandour, Percentile Queries in Multi-Dimensional Markov Decision Processes, 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, USA, 2015.
QuentinMenet, Linear Chaos and Frequent Hypercyclicity, Workshop Functional Analysis Valencia, Valencia, Espagne, 2015.
MickaëlRandour, Average-energy games, Annual seminar of the LSV, Dourdan, France, 2015.
PatriciaBouyer, ThomasBrihaye, PierreCarlier, QuentinMenet, Compositional Design of Stochastic Timed Automata, Annual seminar of the LSV, Dourdan, France, 2015.
QuentinMenet, Different notions of hypercyclicity and hypercyclic subspaces, Recent Trends in Operator Theory and Function Theory, Lille, France, 2015.
MickaëlRandour, Percentile Queries in Multi-Dimensional Markov Decision Processes (invited talk), LACL seminar - UPEC, Créteil, France, 2015.
CélineNihoul, Difficultés d'étudiants universitaires dans la conceptualisation des équations de droites et de plans dans l'espace., Séminaire WEJCH 2015, Mons, Belgique, 2015.
MickaëlRandour, Planning a journey in an uncertain environment: variations on the stochastic shortest path problem, EDT Complex Meeting - UNamur, Namur, Belgium, 2015.
ThomasBrihaye, About Banach-Mazur games, AutoMathA 2015 : Jewels of Automata : from Mathematics to Applications, Leipzig, Allemagne, 2015.
PatriciaBouyer, ThomasBrihaye, PierreCarlier, QuentinMenet, Compositional Design of Stochastic Timed Automata, Méthodes formelles et Vérification, Bruxelles (ULB), Belgique, 2015.
MajaVolkov, Variétés abéliennes supersingulières à module de Tate non semisimple, Arithmétique en Plat Pays, Lille, France, 2015.
QuentinMenet, Propriétés de récurrence des opérateurs hypercycliques, Séminaire d'Analyse Fonctionnelle, Lille, France, 2015.
MickaëlRandour, Average-energy games, ERC Workshop in Verification, Vienne, Autriche, 2015.
PatriciaBouyer, ThomasBrihaye, PierreCarlier, QuentinMenet, Composition of stochastic timed automata, ERC Workshop in Verification, Vienne, Autriche, 2015.
FabienHeuwelyckx, Les arbres et les options lookback, 8ème édition de la Matinée des Chercheurs 2015 (MdC2015), Mons, Belgique, 2015.
MickaëlRandour, Games with Window Quantitative Objectives, Frontiers of Formal Methods (FFM 2015), Aachen, Germany, 2015.
QuentinMenet, Linear Chaos and Frequent Hypercyclicity, Analysis Seminar, Houston, US-TX, 2015.
QuentinMenet, Linear Chaos and Frequent Hypercyclicity, Linear Analysis Seminar, College Station, USA, 2015.
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.
MickaëlRandour, Percentile Queries in Multi-Dimensional Markov Decision Processes, Dagstuhl Seminar, "Non-Zero-Sum-Games and Control", Wadern, Allemagne, 2015.
QuentinMenet, Hypercyclic subspaces, Banach Spaces Seminar, College Station, USA, 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.
Publications (not referenced)
StéphanieBridoux, La transition secondaire-université dans les cours de mathématiques: une expérience à l'UMONS, Congrès AIPU 2014, Pédagogie universitaire : entre enseignement et recherche, Mons, Belgique, 2014.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On MITL and alternating timed automata over infinite words, 2014.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On alternating timed automata for MITL, Journées montoises d'informatique théorique, Nancy, France, 2014.
JulieDe Pril, Equilibria in Multiplayer Cost Games, Dagstuhl Seminar: ”Quantitative Models: Expressiveness, Analysis, and New Applications”, Dagstuhl, Germany, 2014.
StéphanieBridoux, La transition secondaire-université: une expérience en Belgique, Repères: Revue des Instituts de Recherche sur l'Enseignement des Mathématiques, (2014), Topiques.
StéphanieBridoux, Enseignement des premières notions de topologie à l'université - Une étude de cas, Actes du séminaire national de didactiques des mathématiques, (2014).
Popularization
ThomasBrihaye, Mathématiques, théorie des jeux et prix Nobel, 2014, Exposé, CREM (Nivelles).
ThomasBrihaye, Mathématiques : quand les jeux mènent aux prix Nobel, 2014, Exposé, Collège Notre-Dame (Tournai).
ThomasBrihaye, Applications de la théorie des jeux en informatique, 2014, Exposé, Académie royale des sciences, des lettres et des beaux-arts de Belgique.
StéphanieBridoux, ChristopheTroestler, Optimisation: quand les extrêmes sont les meilleurs, 2014, JMS, UMONS.
StéphanieBridoux, ChristopheTroestler, Optimisation: quand les extrêmes sont les meilleurs, 2014, JMS, UMONS.
AaronBohy, PierreCarlier, JulieDe Pril, YoussoufOualhadj, MickaëlRandour, Jouer n'est pas qu'un jeu !, 2014, Atelier, Journées Maths-Sciences, Mons.
ChristopheTroestler, StéphanieBridoux, Optimisation — quand les extrêmes sont les meilleurs, 2014, Institut Sainte-Marie, La Louvière.
ThomasBrihaye, Mathématiques, théorie des jeux et prix Nobel, 2014, Exposé, Université du Luxembourg.
ThomasBrihaye, Quand les jeux mènent aux prix Nobel, 2014, Exposé, Institut Sainte Marie (La Louvière).
StéphanieBridoux, ManuelCouvreur, ValérieHenry, Marie-NoëlleHindryckx, Jean-LouisJadoulle, FrancescoLo Bue, CécileMoucheron, FrançoisReniers, MarcRomainville, XavierSimon, GermainSimons, DidierVillers, GhislaineViré, N’importe qui pourra-t-il enseigner n’importe quoi à nos enfants ?, 2014, Le Soir, Bruxelles.
Presentations & posters with abstract
JulieDe Pril, Existence of Secure Equilibrium in Multi-Player Games with Perfect Information, Mathematical Foundations of Computer Science 2014 - 39th International Symposium (MFCS 2014), Budapest, Hungary, 2014.
AshishAgarwal, SebastienMondet, PhilippeVeber, ChristopheTroestler, Biocaml: The OCaml Bioinformatics Library, Bioinformatics Open Source Conference (BOSC 2014), Boston, US-MA, 2014.
ChristopheTroestler, Solutions positives de l'équation de Lane-Emden avec conditions au bord de Neumann, Séminaire du LAMAV, Valenciennes, France, 2014.
JulieDe Pril, Equilibria in Multiplayer Cost Games, Dagstuhl Seminar: ”Quantitative Models: Expressiveness, Analysis, and New Applications”, Dagstuhl, Germany, 2014.
Presentations & posters without abstract
MickaëlRandour, Planning a Journey in an Uncertain Environment: The Stochastic Shortest Path Problem Revisited (invited talk), LIF seminar - MOVE research group, Marseille, France, 2014.
QuentinMenet, Chaos linéaire et fréquente hypercyclicité, Séminaire d'Initiation à l'Analyse, Paris, France, 2014.
QuentinMenet, Linear Chaos and Frequent Hypercyclicity, Istanbul Analysis Seminars, Istanbul, Turquie, 2014.
StéphanieBridoux, Difficultés d'étudiants universitaires dans la conceptualisation des équations de plans dans l'espace., Journée d'étude "Espace & Abstraction", Mons, Belgique, 2014.
StéphanieBridoux, CélineNihoul, Difficultés d’étudiants universitaires dans la conceptualisation des équations de plans dans l’espace, journée nationale de l’ADMEE ≪ Espace et abstraction : Evaluer les compétences complexes de la maternelle à l’université ≫, Mons, Belgique, 2014.
QuentinMenet, Chaos linéaire et fréquente hypercyclicité, Journées du Gdr AFHP, Lille, France, 2014.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On alternating timed automata for MITL, Journées montoises d'informatique théorique, Nancy, France, 2014.
KarlGrosse-Erdmann, On frequently hypercyclic operators, VI International Course of Mathematical Analysis in Andalucía, Antequeras, Málaga, Espagne, 2014.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On MITL and alternating timed automata over infinite words, FORMATS - Formal Modelling and Analysis of Timed Systems, Florence, Italy, 2014.
QuentinMenet, Existence of common hypercyclic subspaces, IWOTA, Amsterdam, Pays-Bas, 2014.
QuentinMenet, Existence of frequently hypercyclic subspaces,, FNRS Group - Functional Analysis, Esneux, Belgique, 2014.
StéphanieBridoux, VivianeDurand-Guerrier, Les suites, un objet typique de la transition secondaire-université, Commission Inter IREM Université, Rennes, France, 2014.
KarlGrosse-Erdmann, Some pretty simple inequalities, 7th Conference on Function spaces, Edwardsville, US-IL, 2014.
ThomasBrihaye, Deciding the value 1 problem in 1-clock Decision Stochastic Timed Automata, Troisième réunion Cassting, Bruxelles, Belgique, 2014.
QuentinMenet, Shifts à poids sur lp et sous-espaces fréquemment hypercycliques, Journées Cortenaises d’Analyse Mathématiques, Corte, France, 2014.
QuentinMenet, Existence de sous-espaces fréquemment hypercycliques, Séminaire d'Initiation à l'Analyse, Paris, France, 2014.
ThomasBrihaye, Banach-Mazur games and fairly correct systems, Réunion du NCM – Comité National de Mathématique, Mons, Belgique, 2014.
StéphanieBridoux, Difficultés des étudiants de L1 dans des tâches de manipulation des définitions, Groupe de travail Didactique et épistémologie des mathématiques du supérieur, Montpellier, France, 2014.
StéphanieBridoux, La complexité des tâches de manipulation des définitions: le cas des notions de topologie, Séminaire de Didactique et épistémologie des mathématiques, Montpellier, France, 2014.
KarlGrosse-Erdmann, Un principe d'extrapolation dans la théorie des inégalités, Séminaire d'analyse fonctionnelle, Lille, France, 2014.
ThomasBrihaye, Multiplayer cost games with simple Nash equilibria, Réunion annuelle du GT jeux du GDR-IM, Paris, France, 2014.
QuentinBrouette, Differential Galois Theory and Real Fields, British Postgraduate Model Theory 2014 (BPGMT2014), Leeds, Grande-Bretagne, 2014.
2013
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
AxelHaddad, Shape-Preserving Transformations of Higher-Order Recursion Schemes, 2013.
BertrandDesmons, Mathematical study of wrinkling shapes of thin membranes, 2013.
QuentinMenet, Existence and non-existence of hypercyclic subspaces, 2013.
MarcDucobu, Antichains for QBF evaluation and VPA decision problems, 2013.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On MITL and alternating timed automata, 2013.
JulieDe Pril, Equilibria in Multiplayer Cost Games, 2013, UMONS.
ChristopheTroestler, oasis2opam, software, 2013.
StéphanieBridoux, MélanieDeronne, Compétences: la parole aux enseignants, Losanges, (2013), Société Belge des Professeurs de Mathématiques d'Expression Française (SBPMef).
Popularization
ThomasBrihaye, QuentinMenet, Topology, probability, games and verification, 2013, Notes de la cinquième BSSM, .
ThomasBrihaye, Mathématiques: quand les jeux mènent aux prix Nobel, 2013.
ThomasBrihaye, Quand les jeux mènent au prix Nobel, 2013.
ChristopherGrumiau, Les dérivées dans le monde du sport, 2013, Institut Saint-Laurent, Marche-en-Famenne.
ChristopheTroestler, StéphanieBridoux, Maths en rue: Quiz Mathématique, 2013, Math en Rue, Bruxelles.
ChristopheTroestler, StéphanieBridoux, Optimisation — quand les extrêmes sont les meilleurs, 2013, Athénée Royal Vauban, Charleroi.
ChristopheTroestler, StéphanieBridoux, La théorie des graphes au secours des géographes, 2013, Printemps des Sciences, UMONS.
ChristopheTroestler, StéphanieBridoux, Optimisation — quand les extrêmes sont les meilleurs, 2013, Centre Scolaire Ma Campagne, Ixelles.
ChristopherGrumiau, Les dérivées dans le monde du sport, 2013, invitation Ecole secondaire, Athenée de Nivelles.
Presentations & posters with abstract
FabienHeuwelyckx, Lookback options in the binomial model, Nord-Pas de Calais/ Belgium Congress of Mathematics, Valenciennes, France, 2013.
FabienHeuwelyckx, On the Convergence of European Options in the Binomial Model, PhD-Day (BMS), Bruxelles, Belgique, 2013.
ChristopheTroestler, Multiplicity and symmetry of positive solutions to semi-linear elliptic problems with Neumann boundary conditions, International Workshop on Variational Problems and PDE's, São Paulo, Brazil, 2013.
FabienHeuwelyckx, On the Convergence of European Lookback Options with Floating Strike in the Binomial Model, Advances in Mathematics of Finance - 6th General AMaMeF and Banach Center Conference, Varsovie, Pologne, 2013.
ChristopheTroestler, Multiplicité et symétrie des solutions positives de problèmes semilinéaires elliptiques avec conditions au bord de Neumann, Séminaire A³, Amiens, France, 2013.
ChristopherGrumiau, Convergence of MPA for indefinite problems, systems and quasi-linear problems, P(n)-seminar, Rome, Italy, 2013.
Presentations & posters without abstract
StéphanieBridoux, La formation initiale à l'université - Quelques spécificités proposées à l'UMONS, Colloque des mathématiques, Liège, Belgique, 2013.
QuentinMenet, Hypercyclic subspaces, Nord Pas de Calais / Belgium Congress of Mathematics, Mons, Belgique, 2013.
QuentinMenet, Banach-Mazur games, Nord Pas de Calais / Belgium Congress of Mathematics, Valenciennes, France, 2013.
ThomasBrihaye, Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points, ATVA - International Symposium on Automated Technology for Verification and Analysis, Hanoï, Vietnam, 2013.
QuentinMenet, Shifts à poids sur lp et sous-espaces fréquemment hypercycliques, Séminaire d'analyse et géométrie, Marseille, France, 2013.
ThomasBrihaye, MorganeEstievenart, GillesGeeraerts, On MITL and alternating timed automata, Second Cassting Meeting, Aalborg, Danemark, 2013.
MarcDucobu, Right-Universality of Visibly Pushdown Automata, Runtime Verification, Rennes, France, 2013.
ThomasBrihaye, Simple strategies for Banach-Mazur games and fairly correct systems, Highlights of Logic, Games and Automata, Paris, France, 2013.
ThomasBrihaye, On the decidability of priced timed games, Highlights of Logic, Games and Automata, Paris, France, 2013.
QuentinMenet, Simple strategies for Banach-Mazur games and fairly correct systems, Fourth International Symposium on Games, Automata, Logics and Formal Verification, Borca di Cadore, Italie, 2013.
CédricRivière, ThomasBrihaye, Introduction à la théorie des jeux, Ville numérique et agriculture bio-high-tech, Paris, Cité des Sciences, France, 2013.
QuentinBrouette, Differential Galois theory and formally real fields, Oberseminar Modelltheorie, Universität Konstanz, Allemagne, 2013.
QuentinBrouette, Stellensätze in closed ordered differential fields, Oberseminar Reelle Geometrie und Algebra, Universität Konstanz, Allemagne, 2013.
QuentinMenet, Hypercyclic subspaces on Fréchet spaces without continuous norm, Operators on Banach spaces: Banach space Meeting 2013, Castro Urdiales, Espagne, 2013.
KarlGrosse-Erdmann, Sums of powers vs. powers of sums, Workshop Functional Analysis, Valencia, Espagne, 2013.
StéphanieBridoux, MélanieDeronne, L'approche par compétences dans l'enseignement des mathématiques: un état des lieux en Belgique avant une nouvelle réforme des programmes, Séminaire du Laboratoire de Didactique André Revuz, Paris, France, 2013.
MorganeEstievenart, ThomasBrihaye, GillesGeeraerts, On MITL and alternating timed automata, Méthodes Formelles et Vérification, Bruxelles, Belgique, 2013.
StéphanieBridoux, Des dispositifs pour mieux accueillir les étudiants à l'université, La réforme des programmes de lycée: et alors?, Lyon, France, 2013.
QuentinMenet, Hypercyclic subspaces for weighted shifts, Measure Theory Seminar, Kent, USA, 2013.
QuentinMenet, Hypercyclic subspaces in Fréchet spaces without continuous norm, Measure Theory Seminar, Kent, USA, 2013.
QuentinMenet, Dynamical systems and hypercyclic operators, Colloquium (Department of mathematical sciences), Kent, USA, 2013.
QuentinMenet, Hypercyclic subspaces on Fréchet spaces, Analysis Seminar, Bowling Green, USA, 2013.
QuentinMenet, Hypercyclic subspaces, Analysis Seminar, Bowling Green, USA, 2013.
MarcDucobu, Visibly Pushdown Automata: Universality and Inclusion via Antichains, 7th International Conference on Language and Automata Theory and Applications (LATA 2013), Bilbao, Espagne, 2013.
StéphanieBridoux, La transition secondaire/supérieur: la parole aux acteurs de terrain, Journée des Préfets et des Directeurs d'écoles, Mons, Belgique, 2013.
StéphanieBridoux, Enseignement des premières notions de topologie à l'université - Une étude de cas, Séminaire national de didactique des mathématiques, Paris, France, 2013.
FabienHeuwelyckx, Options Lookbacks dans le Modèle Binomial, Matinée des chercheurs (MDC 2013), Mons, Belgique, 2013.
FabienHeuwelyckx, Le modèle discret pour évaluer les options lookback, Séminaires pour jeunes doctorants; Faculté des Sciences de l'UMons, Mons, Belgique, 2013.
JulieDe Pril, Multiplayer Cost Games with Simple Nash Equilibria, Symposium on Logical Foundations of Computer Science (LFCS 2013), San Diego, US-CA, 2013.
2012
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
FrançoisePoint, Cours "Théorie des modèles 1" (Cours du trimestre automne 2012), course notes, 2012.
ChristopheTroestler, Mesh: a collection of algorithms to build and manipulate triangular meshes, software, 2012.
QuentinBrouette, A Nullstellensatz and a Positivstellensatz for Ordered Differential Fields, Logic Colloquium 2012, Manchester, UK, 2012.
CélineDenayst, Identification des peptides au moyen des modèles de Markov cachés, Master thesis, 2012, UMONS.
VéroniqueBruyère, MarcDucobu, OlivierGauwin, Visibly pushdown automata on trees: universality and u-universality, 2012.
ChristopheTroestler, L-BFGS: a binding to the code by J. Nocedal giving a quasi-Newton method for the optimization of functions of many variables, software, 2012.
ChristopheTroestler, Odepack: an OCaml interface to the celebrated collection of code to numerically solve systems of ordinary differential equations, software, 2012.
Popularization
ThomasBrihaye, Trains, sécurité, math et jeux, 2012.
StéphanieBridoux, ChristopheTroestler, Optimisation — quand les extrêmes sont les meilleurs, 2012, Institut Saint-Laurent, Marche-en-Famenne.
ThomasBrihaye, Retour vers le futur, à toi de jouer!, 2012.
StéphanieBridoux, ChristopheTroestler, Quiz Mathématique, 2012, Printemps des Sciences, UMONS, Mons.
ThomasBrihaye, Trains, sécurité, math et jeux, 2012.
Book chapters
PaulVan Praag, Un pionnier en histoire des mathématiques : le Père Henri Bosmans sj (1852-1928), 2012, KADOC-Prosopon.
Presentations & posters with abstract
ChristopheTroestler, Multiplicity and symmetry of positive solutions to semi-linear elliptic problems with Neumann boundary conditions, Variational and Topological problems, Flagstaff, USA, 2012.
ChristopherGrumiau, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, Variational and Topological problems, Flagstaff, USA, 2012.
BertrandDesmons, Wrinkling of thin membranes laying on fluid substrates under small compression, Spring School in Nonlinear Partial Differential Equations, Brussels, Belgium, 2012.
ChristopherGrumiau, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, Spring School in Nonlinear Partial Differential Equations, Brussels, Belgium, 2012.
Presentations & posters without abstract
QuentinMenet, Sous-espaces hypercycliques dans les espaces de Fréchet, Journées du Gdr AFHP, Marne-La-Vallée, France, 2012.
KarlGrosse-Erdmann, Introduction to linear dynamics, Ecole doctorale, Adam Mickiewicz University Poznan, Pologne, 2012.
QuentinMenet, Sous-espaces hypercycliques dans les espaces de Fréchet, Séminaire d'Analyse Fonctionnelle, Lille, France, 2012.
MarcDucobu, Visibly pushdown automata on trees: universality and u-universality, CFV seminar, Bruxelles, Belgique, 2012.
MarcDucobu, Visibly pushdown automata on trees: universality and u-universality, Mons Days of Theoretical Computer Science, Louvain-la-Neuve, Belgique, 2012.
BertrandDesmons, One-dimensional wrinkling of thin films, Frontiers of Mathematics and Applications III, Santander, Espagne, 2012.
ThomasBrihaye, Topologie, probabilité, jeux et vérification de systèmes informatiques, Brussels Summer School of Mathematics, Bruxelles, Belgique, 2012.
KarlGrosse-Erdmann, Topics in linear dynamics, Ecole doctorale, Universitat Politecnica de Valencia, Espagne, 2012.
KarlGrosse-Erdmann, A new paradigm for chaos, Colloquium, Universität Würzburg, Allemagne, 2012.
KarlGrosse-Erdmann, Common subspaces of hypercyclic vectors, 1st Joint conference of the Belgian, Royal Spanish and Luxembourg mathematical societies, Liège, Belgique, 2012.
ThomasBrihaye, Almost-Sure Model-Checking of Reactive Timed Automata., ERC-Workshop on Quantitative and Game Models for the Synthesis of Reactive Systems, Bruxelles, Belgique, 2012.
ChristopherGrumiau, Lane-Emden problems: Asymptotic behavior of low energy nodal solutions, groupe de contact FNRS (EDP et semi-groupe), Louvain-la-Neuve, Belgium, 2012.
QuentinMenet, Hypercyclic subspaces and weighted shifts, Seminario del IUMPA, Universitat Politècnica de València, Spain, 2012.
JulieDe Pril, Subgame Perfection for Equilibria in Quantitative Reachability Games, 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2012), Tallinn, Estonie, 2012.
ChristopherGrumiau, Nonlinear Schrödinger problems: existence, symmetry and numerical approaches, Séminaire du Laboratoire Paul Painlevé, Lille, France, 2012.
KarlGrosse-Erdmann, Bihypercyclic bilinear mappings, HCAA 2012 Harmonic and Complex Analysis, Puerto de la Cruz, Tenerife, Espagne, 2012.
KarlGrosse-Erdmann, Recent developments in linear dynamics, 5th ILJU School of Mathematics, Gyeongju, Corée, 2012.
ChristopheTroestler, Symmetry and symmetry breaking of least energy (nodal) solutions of semi-linear elliptic problems with Neumann boundary conditions, Séminaire, Université Toulouse 1 — Capitole, France, 2012.
QuentinBrouette, A nullstellensatz and a Positivstellensatz for Ordered Differential Fields, British Postgraduate Model Theory Conference, Oxford, 4-6 January 2012, Oxford, UK, 2012.
2011
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
JulieDe Pril, Nash Equilibrium in Quantitative Games Played on Graphs, LogICCC Final Conference, Berlin, Allemagne, 2011.
AbderezakOULD HOUCINE, Homogeneity and prime models in torsion-free hyperbolic groups, Confluentes Mathematici, 3 (2011), pp. 121–155, World Scientific.
StéphanieBridoux, Enseignement des premières notions de topologie à l'université - Une étude de cas, 2011.
FrançoisePoint, Definability in valued Ore modules, Logic Colloquium 2010, Paris, France, 2011.
ThomasBrihaye, VéroniqueBruyère, HadrienMélot, Non, les ordinateurs ne seront jamais tout-puissants!, Élement: le Magazine de l'Université de Mons, 5 (2011), Université de Mons.
HadrienMélot, ChristopheTroestler, L'ordinateur au cœur de la découverte mathématique, Élement: le Magazine de l'Université de Mons, 5 (2011), pp. 29–31, Université de Mons.
Popularization
ChristopheTroestler, Les procédures de vote sous la loupe mathématique, 2011, Institut Saint-Laurent, Marche-en-Famenne.
StéphanieBridoux, ChristopheTroestler, Optimisation — quand les extrêmes sont les meilleurs, 2011, École Jean Rey, Couvin.
StéphanieBridoux, ChristopheTroestler, Quiz Mathématique, 2011, Printemps des Sciences, UMONS, Mons.
ChristopherGrumiau, Les mathématiques dans le monde du sport, 2011, Journée Math/Sciences, UMONS, Mons.
ChristopheTroestler, Atelier de robotique : Rubik's cube & Puissance 4, 2011, Printemps des Sciences, UMONS, Mons.
KarlGrosse-Erdmann, QuentinMenet, Le chaos linéaire : un paradoxe ?, 2011.
KarlGrosse-Erdmann, La compression d'image, 2011.
Books
KarlGrosse-Erdmann, A.Peris, Linear Chaos, 2011, Springer Verlag.
ISBN: 978-1-4471-2169-5.
Invited Editor
RichardAron, JuanBès, KarlGrosse-Erdmann, A.Peris, Hypercyclicity and linear chaos, 2011, Springer.
Editor
JavierEsparza, ChristianMichaux, CharlesSteinhorn, Finite and Algorithmic Model Theory, 2011, Cambridge University Press.
Presentations & posters with abstract
ChristopherGrumiau, Nonlinear Schrödinger problems : survey about existence, symmetry and multiplicity results, EU-Young workshop in mathematics, Grenade, Espagne, 2011.
Presentations & posters without abstract
QuentinMenet, Sous-espaces fermés de séries universelles, Journées 2011 du Gdr AFHA, Clermont-Ferrand, France, 2011.
QuentinMenet, Sous-espaces hypercycliques et shifts à poids, Séminaire d'Initiation à l'Analyse, Paris, France, 2011.
JulieDe Pril, Nash Equilibrium in Quantitative Games Played on Graphs, LogICCC Final Conference, Berlin, Allemagne, 2011.
ChristopherGrumiau, Nonlinear PDEs : multiplicity, numerical approaches and symmetries, 6ème édition de la Matinée des Chercheurs (MDC 2011), Mons, Belgique, 2011.
MarcDucobu, Antichain-based QBF solving, Matinée des chercheurs, UMONS, Belgique, 2011.
StéphanieBridoux, La transition secondaire-université en mathématiques, du métier d'étudiant au métier d'enseignant, Matinée des Chercheurs, Mons, Belgique, 2011.
BertrandDesmons, One-dimensional wrinkling of thin films, Matinée des Chercheurs 2011, Université de Mons, Belgique, 2011.
KarlGrosse-Erdmann, Recent developments in linear dynamics, Trimester on functional analysis, complex analysis and operator theory, Valencia, Espagne, 2011.
ChristopherGrumiau, Nonlinear Schrödinger problems : multiplicity and symmetry of positive solutions, Nonlinear PDE and harmonic analysis, Rome, Italie, 2011.
ThomasBrihaye, Antichain based QBF solving, Séminaire du département d'informatique de l'université d'Oxford, Oxford, Angleterre, 2011.
2010
Referenced Publications
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.
ChristopherGrumiau, Symmetries of solutions for nonlinear Schrödinger equations : numerical and theoretical approaches, 2010.
MartineDumont, FabienHeuwelyckx, Mathématique II . Syllabus d'exercices, course notes, 2010.
MartineDumont, FabienHeuwelyckx, Mathématiques I. Syllabus d'exercices, course notes, 2010.
Popularization
ChristopherGrumiau, Mathematical education in Belgium, 2010, invitation de l'Université du Connecticut, UCONN, Storrs (USA).
ChristopheTroestler, Atelier de robotique : Puissance 4, 2010, Printemps des Sciences, UMONS, Mons.
Presentations & posters with abstract
ChristopheTroestler, Wrinkling of thin membranes on fluid substrates., Workshop on Variational Methods in Nonlinear Differential Equations, Oaxaca, Mexique, 2010.
ChristopherGrumiau, Nonlinear Schrödinger problems : survey about symmetries, PhD Day (BMS), Bruxelles, Belgique, 2010.
Presentations & posters without abstract
ChristopherGrumiau, Lane Emden problem : survey about symmetries, PDE and Image Analysis seminar, Storrs, USA, 2010.
BertrandDesmons, One-dimensional wrinkling of thin membranes, PhD Day (BMS), Bruxelles, Belgique, 2010.
BertrandDesmons, One-dimensional wrinkling of thin membranes, Workshop on thin structures, Naples, Italie, 2010.
JulieDe Pril, Equilibria in Quantitative Reachability Games, 5th International Computer Science Symposium in Russia (CSR 2010), Kazan, Russie, 2010.
ChristopherGrumiau, Nonlinear Schrödinger problems : Mountain Pass algorithms, PDE and Image Analysis seminar, Storrs, USA, 2010.
ChristopheTroestler, Oddness of least energy nodal solutions of the Lane-Emden problem., Johann Wolfgang Goethe-Universität, Frankfurt, Allemagne, 2010.
2009
Referenced Publications
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.
Congress proceedings with 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.
JulieDe Pril, Jeux infinis sur graphe, Master thesis, 2009.
BertrandDesmons, Stabilité, Bifurcations et Classification des Elastica, Master thesis, 2009, UMONS.
Popularization
ChristopheTroestler, JulieDe Pril, DanyMaslowski, Atelier de robotique : Labyrinthe & Rubik's cube, 2009, La fête des Maths et des Jeux dans le cadre de la fête de la Science, Lille.
ChristopheTroestler, Atelier de robotique : Labyrinthe & Rubik's cube, 2009, Printemps des Sciences, UMONS, Mons.
ChristopheTroestler, Atelier de robotique, 2009, Congrès des sciences, Mons.
ChristopherGrumiau, Pourquoi Rafael Nadal gagne-t-il si souvent Roland Garros?, 2009, Invitation de D.Nicolay, Athenée Vauban, Charleroi.
ChristopherGrumiau, Les dérivées dans le monde du sport, 2009, Journée des sciences, UMH, Mons.
ThomasBrihaye, ChristianMichaux, Economie, environnement et mathématiques, 2009.
Presentations & posters with abstract
ChristopherGrumiau, Symmetries of ground state solutions for Neumann Lane-Emden problems, A celebration of Jean-Pierre Gossez's 65th birthday, Bruxelles, Belgique, 2009.
ChristopheTroestler, Minimax algorithms: convergence and applications, New trends in scientific computing, Marseille, France, 2009.
ChristopherGrumiau, Mountain Pass algorithm for some indefinite problems, New trends in scientific computing, Marseille, France, 2009.
Presentations & posters without abstract
ChristopherGrumiau, Lane Emden problems : algorithm and symmetries, Matinée des chercheurs (MDC'2009), Mons, Belgique, 2009.
ChristopheTroestler, Delimited overloading, OCaml users meeting, Grenoble, France, 2009.
2008
Referenced Publications
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.
Publications (not referenced)
ChristopheTroestler, Analyse Mathématique I, course notes, 2008.
ChristopherGrumiau, Quand les mathématiciens construisent des robots, Élement: le Magazine de l'Université de Mons, 1 (2008), pp. 26–27, Université de Mons.
Popularization
ChristopheTroestler, Atelier de robotique : Labyrinthe & Rubik's cube, 2008, Printemps des Sciences, UMONS, Mons.
StéphanieBridoux, ChristopheTroestler, QuentinBrouette, BertrandDesmons, Les experts à l'UMH, 2008, Atelier, UMONS, Mons.
ChristopherGrumiau, Lane Emden problem : algorithms, computation and symmetries, Oberseminar, Cologne, Allemagne, 2008.
2007
Referenced Publications
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.
Congress proceedings with peer-reviewing
KarlGrosse-Erdmann, Dynamics of linear operators, Topics in complex analysis and operator theory, Malaga, Espagne, 2007.
Publications (not referenced)
ChristopheTroestler, Introduction à la logique du premier ordre et à la théorie naïve des ensembles, course notes, 2007.
Popularization
StéphanieBridoux, ChristopheTroestler, Optimisation — quand les extrêmes sont les meilleurs, 2007, Printemps des Sciences, UMONS, Mons.
Book chapters
A. M. W.Glass, FrançoisePoint, Finitely presented abelian lattice-ordered groups, 2007, Springer-Verlag.
ISSN: 0302-9743.
Presentations & posters with abstract
ChristopherGrumiau, Lane Emden problem : algorithms and symmetries, PhD day 2007 (BMS), Bruxelles, Belgique, 2007.
ChristopherGrumiau, Symmetry of least energy nodal solutions for the Lane-Emden problem, Variational and topological problems, Flagstaff, USA, 2007.
ChristopheTroestler, Algorithms and (partial) symmetry for solutions of the non-linear Poisson equation., Variational and topological problems, Flagstaff, USA, 2007.
ChristopheTroestler, Convergence of a mountain pass algorithm with projection, Theoretical and Computational nonlinear partial differential equations, Mexico city, Mexique, 2007.
2006
Referenced Publications
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.
Publications (not referenced)
A.Atzmon, BrunoBrive, Surjectivity and invariant subspaces of differential operators on weighted Bergman spaces of entire functions, Contemporary Mathematics, 404 (2006), pp. 27–39, American Mathematical Society.
Popularization
ChristopheTroestler, Automates et atteignabilité, 2006, École secondaire de Waterloo, Waterloo.
Presentations & posters without abstract
ChristopherGrumiau, Structure de la solution nodale d'énergie minimale, Séminaire d'analyse non-linéaire, Louvain-la-Neuve, Belgium, 2006.
2005
Referenced Publications
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.
ChristopheTroestler, Convergence of a mountain pass algorithm with projector., International Conference of Numerical Analysis and Applied Mathematics, Rhodes, Grèce, 2005.
2004
Referenced Publications
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.
Popularization
ChristianMichaux, ChristopheTroestler, StéphanieBridoux, Préparer la transition secondaire-université dans les cours de mathématiques, 2004, Organisation d'une formation IFC, UMONS, Mons.
2003
Referenced Publications
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
Referenced Publications
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.
Presentations & posters with abstract
ChristopheTroestler, Scalar- v.s. vector-recursion for BSS-recursive functions, Foundations of Computational Mathematics, Minneapolis, USA, 2002.
ChristopheTroestler, Equivalence of scalar- and vector-recursion for BSS machines, 21st Days of Weak Arithmetics, Saint Petersburg, Russie, 2002.
2001
Referenced Publications
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.
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
Referenced Publications
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
Referenced Publications
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.
Congress proceedings with 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.
Publications (not referenced)
ChristianMichaux, ChristopheTroestler, Isomorphism theorem for BSS recursively enumerable sets on real closed fields, 1998, NeuroCOLT2.
Books
KarlGrosse-Erdmann, The blocking technique, weighted mean operators and Hardy’s inequality, 1998, Springer Verlag.
1997
Referenced Publications
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.
Books
ChristopheTroestler, Liouville type theorems and applications, 1997, Académie royale de Belgique. Classe des Sciences,.
1996
Referenced Publications
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
Referenced Publications
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
Referenced Publications
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
Referenced Publications
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.
Publications (not referenced)
KarlGrosse-Erdmann, On the Borel-Okada theorem and the Hadamard multiplication theorem, Complex Variables, 22 (1993), pp. 101–112, Taylor & Francis.
1992
Referenced Publications
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.
1990
Publications (not referenced)
KarlGrosse-Erdmann, On the universal functions of G. R. MacLane, Complex Variables, 15 (1990), pp. 193–196, Taylor & Francis.
1989
Referenced Publications
KarlGrosse-Erdmann, Regularity properties of functional equations and inequalities, Aequationes Mathematicae, 37 (1989), pp. 233–251, Birkhauser Verlag.
Publications (not referenced)
KarlGrosse-Erdmann, An extension of the Steinhaus-Weil theorem, Colloquium Mathematicum, 57 (1989), pp. 307–317, Institute of Mathematics, Polish Academy of Sciences.
1987
Publications (not referenced)
KarlGrosse-Erdmann, Holomorphe Monster und universelle Funktionen, Mitteilungen aus dem Mathematischen Seminar Giessen, 176 (1987), pp. 1–84, Mathematisches Seminar Giessen.