Publications - Service / FS - Informatique théorique

2023

Bruyère, V., Pérez, G. A., & Staquet, G. (2023). Validating Streaming JSON Documents with Learned VPAs. In S. Sankaranarayanan & N. Sharygina, "Tools and Algorithms for the Construction and Analysis of Systems". Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_14

Bridoux, S., Grenier-Boley, N., & Leininger-Frézal, C. (Eds.). (2023). "Les recherches en pédagogie universitaire". (Première édition). London, United Kingdom: ISTE editions.

Staquet, G. (2023). "Automata with Timers". Paper presented at Highlights of Logic, Games and Automata 2023, Kassel, Germany.

Capon, C., Goeminne, A., Lecomte, N., Main, J., Randour, M., Staquet, G., Terefenko, A., & Vandenhove, P. (2023). "À vous de jouer !"

2022

Dolanyi, M., Bruninx, K., Toubeau, J.-F., & Delarue, E. (November 2022). Risk-Based Constraints for the Optimal Operation of an Energy Community. "IEEE Transactions on Smart Grid, 13" (6), 4551 - 4561. doi:10.1109/TSG.2022.3185310

Staquet, G. (29 June 2022). "Active Learning of Automata for JSON-Streaming Validation". Paper presented at Highlights 2022 of Logic, Games and Automata.
Staquet, G. (2022). "Learning Realtime One-Counter Automata". Paper presented at International Conference on Tools and Algorithms for Construction and Analysis of Systems, Munich, Germany.
Staquet, G. (2022). "Verification of computer systems thanks to state machines". Paper presented at Annual meeting of the thematic doctoral school COMPLEX.

Bruyère, V., Pérez, G., & Staquet, G. (2022). Learning Realtime One-Counter Automata. In D. Fisman & G. Rosu, "Tools and Algorithms for the Construction and Analysis of Systems". Springer International Publishing. doi:10.1007/978-3-030-99524-9_13
Bruyère, V. (2022). A Game-Theoretic Approach for the Synthesis of Complex Systems. In "Revolutions and Revelations in Computability". Springer. doi:10.1007/978-3-031-08740-0

Telle, E., Pham Hoang, T., & Vicenzutto, A. (06 September 2022). "Interaction entre les facteurs de risque relatifs aux troubles mentaux courants et à l'usage de la force chez les policiers belges : Contexte théorique et questions de recherche". Poster session presented at Mardi des Chercheurs, Mons, Belgium.

Staquet, G. (2022). "Vérifier efficacement un document JSON grâce à un automate". Paper presented at Séminaire Jeune, Mons, Belgium.
Staquet, G. (2022). "Vérifier un système informatique grâce à un automate". Paper presented at Séminaire Jeune.

2021

Wang, Y., Von Krannichfeldt, L., Zufferey, T., & Toubeau, J.-F. (2021). Short-term nodal voltage forecasting for power distribution grids: An ensemble learning approach. "Applied Energy".
Bruyère, V. (30 June 2021). Synthesis of equilibria in infinite-duration games on graphs. "ACM SIGLOG News, 8" (2), 4-29.
Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (30 June 2021). On relevant equilibria in reachability games. "Journal of Computer and System Sciences, 119", 211-230.
Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (01 January 2021). Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives. "Information and Computation, 278" (104594).
Bruyère, V., Le Roux, S., Pauly, A., & Raskin, J.-F. (01 January 2021). On the existence of weak subgame perfect equilibria. "Information and Computation, 276".

Staquet, G. (17 November 2021). "Learning Realtime One-Counter Automata". Paper presented at Journées du GT Vérif, Gif-sur-Yvette, France.
Tamines, C. (15 September 2021). "Stackelberg-Pareto Synthesis". Paper presented at Highlights of Logic, Games and Automata, Online, Unknown/unspecified.
Staquet, G. (10 September 2021). "Learning Realtime One-Counter Automata". Paper presented at Highlights of Logic, Games and Automata.
Tamines, C. (26 August 2021). "Stackelberg-Pareto Synthesis". Paper presented at International Conference on Concurrency Theory, Online, Unknown/unspecified.
Bruyère, V. (30 June 2021). "A game-theoretic approach for the automated synthesis of complex systems". Paper presented at 'ReLaX' Workshop on Games, Chennai, India.
Bruyère, V. (30 June 2021). "Nash equilibria and subgame perfect equilibria in reachability games". Paper presented at 'ReLaX' Workshop on Games, Chennai, India.
Tamines, C. (24 March 2021). "Stackelberg-Pareto Synthesis". Paper presented at MFV seminar - ULB, .
Staquet, G. (10 March 2021). "L'apprentissage d'automates et ses applications". Paper presented at Les doctorants prennent le pouvoir, Mons, Belgium.

Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). Stackelberg-Pareto Synthesis. In "LIPIcs". Schloss Dagstuhl - Leibniz-Zentrum für Informatik. doi:10.4230/LIPIcs.CONCUR.2021.27

Bruyère, V., Raskin, J.-F., & Tamines, C. (2021). "Stackelberg-Pareto Synthesis". Paper presented at International Conference on Concurrency Theory, .

Bruyère, V., Pérez, G., & Staquet, G. (2021). "Learning Realtime One-Counter Automata, Long Version". Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/14179. doi:10.48550/arXiv.2110.09434

2020

Leburton, C. (2020). Approche de l'adaptation cinématographique par la traduction et son utilisation dans l'enseignement des langues au travers de George Bernard Shaw et sa pièce Pygmalion. In A. Derobertmasure, M. Demeuse, ... M. Bocquillon, "L'école à travers le cinéma. Ce que les films nous disent sur le système éducatif" (pp. 475-485). Mardaga.

Debauche, O., Mahmoudi, S., Mahmoudi, S., El Moulat, M., Manneback, P., & Lebeau, F. (02 July 2020). Edge AI-IoT Pivot Irrigation, Plant Diseases and Pests Identification. "Procedia Computer Science, 177". doi:10.1016/j.procs.2020.10.009

Bruyère, V. (30 June 2020). "A game-theoretic approach for the automated synthesis of complex systems". Paper presented at Computability in Europ, Salerno, Italy.
Tamines, C. (05 March 2020). "La vérification à l'aide des jeux". Paper presented at Séminaire Jeunes (Math-Info), Mons, Belgium.

Michel, A., & Caulier, G. (11 December 2020). "The role of damselfishes in the coral-algal war". Poster session presented at Scientific Workshop training 2020, UMONS, Belgium.

2019

Devriese, C., Penninx, G., de Ruiter, G., Bastiaans, R., & De Paepe, W. (11 October 2019). "The Preliminary CFD Design of a Combustor for a 100 kW Hydrogen Fuelled Micro Gas Turbine". Paper presented at Combura Symposium 2019, Soesterberg, Netherlands.
Bruyère, V. (01 October 2019). "Computer-aided synthesis: a game-theoretic approach". Paper presented at 26th International Symposium on Temporal Representation and Reasoning, Malaga, Spain.
Tamines, C. (18 September 2019). "Partial Solvers for Generalized Parity Games". Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland.
Tamines, C. (11 September 2019). "Partial Solvers for Generalized Parity Games". Paper presented at 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium.
Bruyère, V. (01 September 2019). "Energy Mean-Payoff Games". Paper presented at Highlights of Logic, Games and Automata, Warsaw, Poland.
Tamines, C. (22 June 2019). "Partial Solvers for Generalized Parity Games". Paper presented at 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada.
Bruyère, V. (01 March 2019). "La théorie des jeux en synthèse assistée par ordinateur". Paper presented at Journées Nationales Informatique Mathématique, Orléans, France.
Bruyère, V. (09 January 2019). "Energy Mean-Payoff Games". Paper presented at International Conference on Concurrency Theory, Amsterdam, Netherlands.

Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). "On Relevant Equilibria in Reachability Games". Paper presented at Reachability Problems, Brussels, Belgium.
Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). "Partial Solvers for Generalized Parity Games". Paper presented at Reachability Problems, Brussels, Belgium.
Bruyère, V., Hautem, Q., Randour, M., & Raskin, J.-F. (2019). Energy Mean-Payoff Games. "Leibniz International Proceedings in Informatics, 140", 21:1-21:17. doi:10.4230/LIPIcs.CONCUR.2019.21

Malytskyi, V., Moreau, J., Callewaert, M., Cadiou, C., Henoumont, C., Laurent, S., & Chuburu, F. (22 May 2019). "Gd chelates encapsulation in nanohydrogels obtained from functionalized chitosan and hyaluronic acid for hypersensitive MRI probes". Poster session presented at Journées du GDR AIM de Dijon, Dijon, France.
Gossuin, Y. (18 March 2019). "Présentation du service de physique biomédicale". Poster session presented at Événement de maillage UHMAP, Mons, Belgium. doi:10.1088/1748-0221/5/03/T03007
Nolack Fote, F., Roukh, A., Mahmoudi, S., & Mahmoudi, S. (15 March 2019). "WALLESMART : Enter wallon rearing into the 4.0 digital revolution". Poster session presented at Mardi des Chercheurs 2019 (MdC2019), Mons, Belgium.

De Lièvre, B., Collard, A.-S., Dragone, L., Descamps, S., Craps, V., De Grove, K., Decamps, S., Degeer, M., Delforge, C., Dupont, J.-P., Flamme, X., Henry, J., Hernalesteen, A., Marchesani, A., & Massart, X. (2019). "Consortium 8 : Éducation par le numérique - Rapport Intermédiaire - Année 3".
Dupont, N., Martin, T., & Kaufmann, O. (2019). "Rapport annuel de surveillance hydrogéologique de la S.A. Les Carrières du Fond des Vaulx conformément à l'Arrêt du Permis Unique octroyé le 6 juin 2011 (Réf. : 04/10/PU) : 1/05/2018 - 30/04/2019".

Bruyère, V., Pérez, G., Raskin, J.-F., & Tamines, C. (2019). "Partial Solvers for Generalized Parity Games". Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/36802.
Brihaye, T., Bruyère, V., Goeminne, A., & Thomasset, N. (2019). "On Relevant Equilibria in Reachability Games". Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/39077.
Brihaye, T., Bruyère, V., Goeminne, A., Raskin, J.-F., & van den Bogaard, M. (2019). "The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games". Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/39349.

Bruyère, V. (2019). "L'ordinateur face au Sudoku et autres jeux".
Delgrange, F., Goeminne, A., Hallet, M., Meurisse, Q., Tamines, C., Thomasset, N., Randour, M., & Van Mieghem, K. (2019). "A vous de jouer !"

2018

Rondou, K. (18 January 2018). Adriaan E. Waiboer édit.Vermeer et les maîtres de la peinture de genre. "Cahiers Internationaux de Symbolisme, 149-150-151" (2018), 529-532.

Larhmam, M., Mahmoudi, S., Drisis, S., & Benjelloun, M. (25 April 2018). A Texture Analysis Approach for Spine Metastasis Classification in T1 and T2 MRI. "Bioinformatics and Biomedical Engineering, 2" (2018), 198-211. doi:10.1007/978-3-319-78759-6_19

Bruyère, V. (01 June 2018). "Synthesis of subgame perfect equilibria in graph games (invited talk)". Paper presented at GandALF, Saarbrücken, Germany.
Florentin, J., & Verlinden, O. (21 March 2018). "Recognition of woodpecker calls using a convolutional deep neural network". Paper presented at 4th ABAV Acoustics Research Day, Bruxelles, Belgium.
Henoumont, C., Callewaert, M., Rigaux, G., Moreau, J., Cadiou, C., Vander Elst, L., Muller, R., Chuburu, F., & Laurent, S. (29 January 2018). "Hypersensitive systems for T1 MR imaging: a relaxometric study of the structuration of the water pocket around Gd chelates". Paper presented at COST, Turin, Italy.

Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). "Constrained Existence Problem for Weak Subgame Perfect Equilibria with Omega-Regular Boolean Objectives". Paper presented at International Symposium on Games, Automata, Logics and Formal Verification, Saarbrücken, Germany.
Bruyère, V., Hautem, Q., & Raskin, J.-F. (2018). "Parameterized complexity of games with monotonically ordered omega-regular objectives". Paper presented at International Conference on Concurrency Theory, Beijing, China.

Brihaye, T., Bruyère, V., Goeminne, A., & Raskin, J.-F. (2018). "Constrained existence problem for weak subgame perfect equilibria with omega-regular Boolean objectives".

2017

Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (03 July 2017). Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. "Information and Computation, 254", 259-295.
Valentini, X., Absil, L., laurent, G., Robbe, A., Laurent, S., Muller, R., Legrand, A., & Nonclercq, D. (30 January 2017). Toxicity of TiO2 nanoparticules on the NRK52E renal cell line. "Molecular and Cellular Toxicology, 13", 419-431. doi:10.1007/s13273-017-0046-1
Bohy, A., Bruyère, V., Raskin, J.-F., & Bertrand, N. (04 January 2017). Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. "Acta Informatica, 54" (6), 545-587.
Randour, M., Raskin, J.-F., & Sankur, O. (01 January 2017). Percentile Queries in Multi-Dimensional Markov Decision Processes. "Formal Methods in System Design, 50" (2), 207-248. doi:10.1007/s10703-016-0262-7

Hautem, Q. (05 December 2017). "La Vérification à l'aide des jeux et un aperçu des jeux ordonnés". Paper presented at Séminaire Jeunes (Math-Info), Mons, Belgium.
Lahaye, W., & Humbeeck, B. (09 October 2017). "Du harcèlement au cyber harcèlement: la violence scolaire à l'épreuve du numérique : Prévention du cyber-harcèlement et des violences périscolaires: prévenir, agir, réagir". Paper presented at 4e Colloque international du LASALÉ « Pour une communauté éducative durable », Bruxelles, Belgium.
Hautem, Q. (13 September 2017). "Games with lexicographically ordered omega-regular objectives". Paper presented at Highlights of Logic, Games and Automata, London, United Kingdom. doi:10.1103/PhysRevLett.105.211801
Hautem, Q. (05 May 2017). "Window parity games". Paper presented at Centre Fédéré en Vérification (ULB), Bruxelles, Belgium.
Bruyère, V. (09 March 2017). "On the existence of weak subgame perfect equilibria". Paper presented at Dagstuhl Seminar 17111, ''Game Theory in AI, Logic, and Algorithms', Schloss Dagstuhl, Wadern, Germany.
Bruyère, V. (08 January 2017). "Computer aided synthesis: a game theoretic approach". Paper presented at Developments in Language Theory, Liège, Belgium.

Bruyère, V. (2017). "Computer Aided Synthesis: A Game-Theoretic Approach". Paper presented at International Conference on Developments in Language Theory, Liège, Belgium.
Bruyère, V., Le Roux, S., Pauly, A., & Raskin, J.-F. (2017). "On the existence of weak subgame perfect equilibria". Paper presented at Foundations of Software Science and Computation Structure, Uppsala, Sweden.

Bonneel, M., Hennebert, E., Demeuldre, M., Wattiez, R., & Flammang, P. (06 March 2017). "Adhesion of sea cucumber Cuvierian tubules: Identification and characterization of adhesive proteins". Poster session presented at First General Action Meeting COST ACTION CA 15216 : European Network of Bioadhesion Expertise (ENBA), Vienna, Austria.

Bruyère, V., Hautem, Q., & Raskin, J.-F. (2017). "Parameterized complexity of games with monotonically ordered omega-regular objectives".
Bruyère, V. (2017). "Computer aided synthesis: a game theoretic approach".

Bruyère, V., Devillez, G., Hautem, Q., & Mélot, H. (2017). "Sciencebook".
Carlier, P., Hallet, M., & Hautem, Q. (2017). "Jouer n'est pas qu'un jeu".
Bruyère, V. (2017). "L'ordinateur face au Sudoku et autres jeux".
Bruyère, V. (2017). "La théorie des graphes dans toutes ses couleurs".

2016

Hautem, Q. (15 September 2016). "Window parity games: an alternative approach toward parity games with time bounds". Paper presented at The seventh international symposium on Games, Automata, Logics and Formal Verification (GANDALF 2016), Catane, Italy.
Hautem, Q. (08 September 2016). "Games with window parity objectives". Paper presented at Highlights of Logic, Games and Automata, Bruxelles, Belgium.
Bruyère, V., Hautem, Q., & Raskin, J.-F. (23 August 2016). "On the complexity of heterogeneous multidimensional quantitative games". Paper presented at The 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, 2016, Québec, Canada.
Bruyère, V., Hautem, Q., & Raskin, J.-F. (30 June 2016). "On the complexity of heterogeneous multidimensional quantitative games". Paper presented at Summer School MOVEP 2016, Gênes, Italy.
Bruyère, V. (17 May 2016). "Algorithmic Aspects of Two-player Zero-sum and Multi-Player Non Zero-sum Games". Paper presented at QuantLA Spring School, Leipzig, Germany.
Hautem, Q. (03 April 2016). "Games with window parity objectives". Paper presented at Cassting Workshop at ETAPS 2016, Eindhoven, Netherlands.
Bruyère, V. (24 March 2016). "On algorithmic aspects of infinite games played on weighted graphs". Paper presented at Conference dedicated to the scientific legacy of Marcel-Paul Schützenberger, Bordeaux, France.
Hautem, Q. (18 February 2016). "La Vérification à l'aide des jeux". Paper presented at Séminaire Jeunes (Math-Info) 2016, Mons, Belgium.

Bruyère, V., Hautem, Q., & Randour, M. (13 September 2016). Window parity games: an alternative approach toward parity games with time bounds. "Electronic Proceedings in Theoretical Computer Science, 226", 135-148. doi:10.4204/EPTCS.226.10
Bruyère, V., Hautem, Q., & Raskin, J.-F. (2016). "On the complexity of heterogeneous multidimensional quantitative games". Paper presented at International Conference on Concurrency Theory, Québec, Canada. doi:10.4230/LIPIcs.CONCUR.2016.11
Brenguier, R., Clemente, L., Hunter, P., Pérez, G., Randour, M., Raskin, J.-F., Sankur, O., & Sassolas, M. (17 March 2016). Non-Zero Sum Games for Reactive Synthesis. "Lecture Notes in Computer Science, 9618", 3-23. doi:10.1007/978-3-319-30000-9_1

Dupont, N., & Kaufmann, O. (29 January 2016). "Reinterpretation of a Mons Basin geological cross-section based on ERT survey : the Hainin-Hautrage pumping station site". Poster session presented at 5th International Geologica Belgica Meeting, Mons, Belgium.

Bruyère, V., & Hautem, Q. (2016). "Window parity games: an alternative approach toward parity games with time bounds".

Vangijzegem, T., & Laurent, S. (2016). "Développement d'agents de contraste nanoparticulaires T1 pour l'Imagerie par résonance magnétique". Unpublished master thesis, Université de Mons. Jury: .

Hautem, Q. (2016). "Ma thèse en 180s - Quentin Hautem".
Delgrange, O., Hautem, Q., & Hauweele, D. (2016). "Séquençage d'ADN".
Bruyère, V. (2016). "La théorie des graphes dans toutes ses couleurs".
Bruyère, V. (2016). "La théorie des graphes dans toutes ses couleurs".
Bruyère, V. (2016). "L'ordinateur face au Sudoku et autres jeux".

2015

Vogt, C., Pernemalm, M., Kohonen, P., Laurent, S., Hultenby, K., Vahter, M., Lehtiö, J., Toprak, M., & Fadeel, B. (2015). Proteomics analysis reveals distinct corona composition on magnetic nanoparticles with different surface coatings: implications for interactions with primary human macrophages. "PLoS ONE", (10). doi:10.1371/journal.pone.0129008
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J.-F. (01 January 2015). Looking at Mean-Payoff and Total-Payoff through Windows. "Information and Computation, 242", 25-52. doi:10.1016/j.ic.2015.03.010

Bruyère, V., Hautem, Q., & Raskin, J.-F. (10 December 2015). "On the complexity of heterogeneous multidimensional quantitative games". Paper presented at Méthodes formelles et Vérification, Bruxelles (ULB), Belgium.
Bruyère, V., Hautem, Q., & Raskin, J.-F. (27 October 2015). "On the complexity of heterogeneous multidimensional quantitative games". Paper presented at Sixth Cassting meeting, Cachan, France.
Bruyère, V., Hautem, Q., & Raskin, J.-F. (16 September 2015). "On the complexity of heterogeneous multidimensional quantitative games". Paper presented at Highlights of Logic, Games and Automata, Prague, Czechia.
Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (10 September 2015). "Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability". Paper presented at 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), Berlin, Germany.
Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (03 February 2015). "Weak subgame perfect equilibria in quantitative games". Paper presented at Dagstuhl Seminar, 'Non-Zero-Sum-Games and Control', Wadern, Germany.
Bruyère, V. (01 January 2015). "La théorie des graphes dans toutes ses couleurs". Paper presented at Journées Math-Sciences, Mons, Belgium.

Watlet, A., Kaufmann, O., Francis, O., & Van Camp, M. (2015). "Groundwater Storage in a Karst Vadose Zone Evidenced Using Gravimetric and Surface-to-borehole ERT Monitoring Systems". Paper presented at Near Surface Geoscience 2015 - 21st European Meeting of Environmental and Engineering Geophysics, Turin, Italy.
Brihaye, T., Bruyère, V., Meunier, N., & Raskin, J.-F. (2015). "Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability". Paper presented at Annual Conference for Computer Science Logic, Berlin, Germany.
Randour, M., Raskin, J.-F., & Sankur, O. (12 January 2015). Variations on the Stochastic Shortest Path Problem. "Lecture Notes in Computer Science, 8931", 1-18. doi:10.1007/978-3-662-46081-8_1
Randour, M., Raskin, J.-F., & Sankur, O. (01 January 2015). Percentile Queries in Multi-Dimensional Markov Decision Processes. "Lecture Notes in Computer Science, 9206", 123-139. doi:10.1007/978-3-319-21690-4_8
Bouyer, P., Markey, N., Randour, M., Larsen, K. G., & Laursen, S. (01 January 2015). Average-energy games. "Electronic Proceedings in Theoretical Computer Science, 193", 1-15. doi:10.4204/EPTCS.193.1

Maslowski, D. (2015). "Dichotomies in the Complexity of Counting Databases Repairs". Unpublished doctoral thesis, Université de Mons. Jury: Bruyère, V. (Promotor), Wijsen, J. (Promotor), Michaux, C., Delgrange, O., Durand, A., Geerts, F., & Vansummeren, S.

Bruyère, V., Hautem, Q., & Raskin, J.-F. (2015). "On the complexity of heterogeneous multidimensional quantitative games". Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/37394.

Bruyère, V., Heuwelyckx, F., & Maslowski, D. (2015). "La récurrence : un petit pas de chacun, un grand pas pour tous".
Hauweele, P., Meunier, N., & Pijcke, F. (2015). "Quand génétique devient optimisation".

2014

Battaglia, C., Bruyère, V., Gauwin, O., Pelsser, C., & Quoitin, B. (29 January 2014). Reasoning on BGP Routing Filters using Tree Automata. "Computer Networks, 65", 232-254.
Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (01 January 2014). Perfect-Information Stochastic Mean-Payoff Parity Games. "Lecture Notes in Computer Science, 8412", 210-225.
Gimbert, H., & Oualhadj, Y. (01 January 2014). Deciding the Value 1 Problem for $sharp$ -acyclic Partially Observable Markov Decision Processes. "Lecture Notes in Computer Science, 8327", 281-292.
Hajipour, M. J., Laurent, S., Rezaee, F., & Mahmoudi, M. (2014). Personnalized Protein Corona: 'Key' Factor at the NanoBio Interface. "Biomaterials Science".
Oualhadj, Y., Reynier, P.-A., & Sankur, O. (01 January 2014). Probabilistic Robust Timed Games. "Lecture Notes in Computer Science, 8704", 203-217.
Fijalkow, N., Gimbert, H., Horn, F., & Oualhadj, Y. (01 January 2014). Two Recursively Inseparable Problems for Probabilistic Automata. "Lecture Notes in Computer Science, 8634", 267-278.
Chatterjee, K., Randour, M., & Raskin, J.-F. (01 January 2014). Strategy Synthesis for Multi-Dimensional Quantitative Objectives. "Acta Informatica, 51", 129-163. doi:10.1007/s00236-013-0182-6

Terrana, L., Caulier, G., Lepoint, G., Todinanahary, G., & Eeckhaut, I. (12 December 2014). "Symbiosis between the coral gall crab Hapalocarcinus marsupialis (Decapoda: Cryptochiridae) and the stony coral Seriatopora hystrix (Hexacorallia: Scleractinia) within the Great Reef of Toliara, Madagascar". Paper presented at 21st Benelux Congress of Zoology, Liège, Belgium.
Bruyère, V., Meunier, N., & Raskin, J.-F. (25 November 2014). "Secure Equilibria in Weighted Games". Paper presented at Séminaire graphes et logique, Bordeaux, France.
Maslowski, D., & Wijsen, J. (17 October 2014). "A Dichotomy in the Complexity of Counting Database Repairs". Paper presented at Dutch Belgian Database Day (DBDBD14), Anvers, Belgium.
Randour, M. (03 September 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games". Paper presented at Highlights of Logic, Games and Automata, Paris, France.
Bruyère, V., Meunier, N., & Raskin, J.-F. (03 September 2014). "Secure Equilibria in Weighted Games". Paper presented at Highlights of Logic, Games and Automata, Paris, France.
Bruyère, V., Meunier, N., & Raskin, J.-F. (15 July 2014). "Secure Equilibria in Weighted Games". Paper presented at CSL-LICS, Vienne, Austria.
Randour, M. (17 June 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)". Paper presented at IST Austria seminar, Klosterneuburg, Austria.
De Pril, J. (10 June 2014). "Equilibria in Multiplayer Cost Games". Paper presented at Dagstuhl Seminar: 'Quantitative Models: Expressiveness, Analysis, and New Applications', Dagstuhl, Germany.
Bruyère, V., Meunier, N., & Raskin, J.-F. (21 May 2014). "Secure Equilibria in Weighted Games". Paper presented at Third Cassting Meeting, Bruxelles, Belgium.
Bruyère, V., Meunier, N., & Raskin, J.-F. (12 April 2014). "Secure Equilibria in Weighted Games". Paper presented at 1st Cassting Workshop ETAPS 2014, Grenoble, France.
Bruyère, V., & Raskin, J.-F. (12 April 2014). "Secure Equilibria in Weighted Games". Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.
Randour, M. (05 April 2014). "Expectations or Guarantees? I Want It All! A crossroad between games and MDPs". Paper presented at SR - International Workshop on Strategic Reasoning, Grenoble, France.
Randour, M. (05 March 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games". Paper presented at STACS - Symposium on Theoretical Aspects of Computer Science, Lyon, France.
De Pril, J. (24 January 2014). "Equilibria in Multiplayer Cost Games". Paper presented at Dagstuhl Seminar: 'Quantitative Models: Expressiveness, Analysis, and New Applications', Dagstuhl, Germany.
Randour, M. (23 January 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)". Paper presented at GT Jeux - annual meeting, Paris, France.
Randour, M. (16 January 2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)". Paper presented at LaBRI verification seminar, Bordeaux, France.

Bruyère, V., Meunier, N., & Raskin, J.-F. (2014). "Secure Equilibria in Weighted Games". Paper presented at Annual Conference for Computer Science Logic, Vienne, Austria.
Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (05 April 2014). Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. "Electronic Proceedings in Theoretical Computer Science, 146", 1-8. doi:10.4204/EPTCS.146.1
Maslowski, D., & Wijsen, J. (2014). "Counting database repairs that satisfy conjunctive queries with self-joins". Paper presented at 17th International Conference on Database Theory (ICDT14), Athènes, Greece.
Bohy, A., Bruyère, V., & Raskin, J.-F. (2014). "Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes". Paper presented at Workshop on Synthesis, SYNT, Vienne, Austria.

Vuong, Q. L., Gazeau, F., Devaud, M., Wilhelm, C., Levitz, P., & Gossuin, Y. (28 June 2014). "Nuclear magnetic relaxation induced by cells labelled by iron- oxide nanoparticles: a preliminary experimental study". Poster session presented at Ampere NMR School, Zakopane, Poland.

Bruyère, V., Filiot, E., Randour, M., & Raskin, J.-F. (2014). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games".

Randour, M. (2014). "Synthesis in Multi-Criteria Quantitative Games". Unpublished doctoral thesis, Université de Mons. Jury: Bruyère, V. (Promotor), Raskin, J.-F. (Promotor), Brihaye, T., Bouyer-Decitre, P., Bruyère, V., Henzinger, T. A., Raskin, J.-F., Katoen, J.-P., ... Mélot, H.

Bocquillon, M., & Merchez, F. (2014). "Identification et modélisation des pratiques effectives des futurs enseignants (présentation du projet de recherche)".

2013

Maslowski, D., & Wijsen, J. (31 December 2013). A Dichotomy in the Complexity of Counting Database Repairs. "Journal of Computer and System Sciences, 79" (6), 958-983. doi:10.1016/j.jcss.2013.01.011
Brihaye, T., Bruyère, V., De Pril, J., & Gimbert, H. (25 January 2013). On (Subgame Perfect) Secure Equilibrium in Quantitative Reachability Games. "Logical Methods in Computer Science, 9" (1).
Brihaye, T., Bruyère, V., & De Pril, J. (04 January 2013). On Equilibria in Quantitative Games with Reachability/Safety Objectives. "Theory of Computing Systems, 54" (2), 150-189. doi:10.1007/s00224-013-9495-7

Bruyère, V., Meunier, N., & Raskin, J.-F. (17 December 2013). "Quantitative Secure Equilibria". Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.
Randour, M. (16 December 2013). "Looking at Mean-Payoff and Total-Payoff through Windows (invited talk)". Paper presented at LIAFA verification seminar, Paris, France.
Randour, M. (26 November 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)". Paper presented at LSV seminar, ENS Cachan, France.
Randour, M. (19 November 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games". Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.
Randour, M. (28 October 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games (invited talk)". Paper presented at Nord Pas de Calais / Belgium Congress of Mathematics, Valenciennes, France.
Randour, M. (16 October 2013). "Looking at Mean-Payoff and Total-Payoff through Windows". Paper presented at ATVA - International Symposium on Automated Technology for Verification and Analysis, Hanoï, Vietnam.
Randour, M. (01 October 2013). "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games". Paper presented at Second Cassting Meeting, Aalborg, Denmark.
Ducobu, M. (26 September 2013). "Right-Universality of Visibly Pushdown Automata". Paper presented at Runtime Verification, Rennes, France.
Randour, M. (20 September 2013). "Looking at Mean-Payoff and Total-Payoff through Windows". Paper presented at Highlights of Logic, Games and Automata, Paris, France.
De Meur, Q., Wegria, G., Leroy, B., & Wattiez, R. (23 May 2013). "Photoheterotrophic metabolism of volatil fatty acids in Rhodospirillum rubrum (Melgen3 PM5)". Paper presented at Melgen 3, Bruxelles, Belgium.
Randour, M. (09 May 2013). "Looking at Mean-Payoff and Total-Payoff through Windows". Paper presented at ERC Workshop on Quantitative Models, Jerusalem, Israel.
Randour, M. (12 April 2013). "Looking at Mean-Payoff and Total-Payoff through Windows". Paper presented at CASSTING European Project kick-off meeting, Paris, France.
Ducobu, M. (04 April 2013). "Visibly Pushdown Automata: Universality and Inclusion via Antichains". Paper presented at 7th International Conference on Language and Automata Theory and Applications (LATA 2013), Bilbao, Spain.
Randour, M. (29 March 2013). "Looking at Mean-Payoff and Total-Payoff through Windows". Paper presented at Centre Fédéré en Vérification, Bruxelles, Belgium.
Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (19 March 2013). "Synthesis from LTL Specifications with Mean-Payoff Objectives". Paper presented at 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, Italy.
Randour, M. (08 February 2013). "Looking at Mean-Payoff and Total-Payoff through Windows". Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.

Chatterjee, K., Doyen, L., Randour, M., & Raskin, J.-F. (16 October 2013). Looking at Mean-Payoff and Total-Payoff through Windows. "Lecture Notes in Computer Science, 8172", 118-132. doi:10.1007/978-3-319-02444-8_10
Jerraya, A. A., Romdhani, M., Le Marrec, P., Hessel, F., Coste, P., Valderrama, C., Daveau, M., & Zergainoh, N.-E. (2013). "Right-Universality of Visibly Pushdown Automata". Paper presented at Runtime Verification, Rennes, France.
Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (2013). "Synthesis from LTL Specifications with Mean-Payoff Objectives". Paper presented at International Conference on Tools and Algorithms for Construction and Analysis of Systems, Rome, Italy.
Bruyère, V., Ducobu, M., & Gauwin, O. (2013). "Visibly Pushdown Automata: Universality and Inclusion via Antichains". Paper presented at Language and Automata Theory and Applications, Bilbao, Spain.

Walter, A., Garofalo, A., Billotey, C., Laurent, S., Felder-Flesch, D., & Begin-Colin, S. (04 December 2013). "Nano-objets magnétiques dendronisées pour l'IRM, l'hyperthermie et le ciblage cellulaire". Poster session presented at 4e colloque recherche de la Fédération Gay-Lussac, Paris, France.
Delroisse, J., Mallefet, J., & Flammang, P. (15 March 2013). "Case of a bioluminescent brittle star - How to glow in the dark with a 'cnidarian-type luciferase'?" Poster session presented at 7ème édition de la Matinée de Chercheurs, Mons, Belgium.

Ducobu, M. (2013). "Antichains for QBF evaluation and VPA decision problems". Unpublished doctoral thesis, Université de Mons. Jury: .
De Pril, J. (2013). "Equilibria in Multiplayer Cost Games". Unpublished doctoral thesis, Université de Mons. Jury: Brihaye, T. (Promotor), Bruyère, V. (Promotor), Raskin, J.-F., Mélot, H., Chatterjee, K., Rivière, C., ... Thomas, W.

Randour, M. (2013). "Jouer n'est pas qu'un jeu !"

2012

Brihaye, T., Bruyère, V., & Mélot, H. (2012). Non, les ordinateurs ne seront jamais tout-puissants ! "Interstices".
Bruyère, V., Joret, G., & Mélot, H. (01 March 2012). Trees with Given Stability Number and Minimum Number of Stable Sets. "Graphs and Combinatorics, 28" (2), 167-187.
Bruyère, V., Carton, O., Decan, A., Gauwin, O., & Wijsen, J. (01 January 2012). An Aperiodicity Problem for Multiwords. "RAIRO: Informatique Théorique et Applications, 46" (1), 33-50.

Ducobu, M. (24 September 2012). "Visibly pushdown automata on trees: universality and u-universality". Paper presented at CFV seminar, Bruxelles, Belgium.
Bohy, A., Bruyère, V., Raskin, J.-F., & Filiot, E. (21 September 2012). "Synthesis from LTL specifications with mean-payoff objectives". Paper presented at GT Jeux, Cachan, France.
Ducobu, M. (12 September 2012). "Visibly pushdown automata on trees: universality and u-universality". Paper presented at Mons Days of Theoretical Computer Science, Louvain-la-Neuve, Belgium.
Battaglia, C., Bruyère, V., Gauwin, O., & Quoitin, B. (11 September 2012). "Reasoning on BGP Routing Filters Using Tree Automata". Paper presented at Journées Montoises d'Informatique Théorique, Louvain-la-Neuve, Belgium.
Randour, M. (04 September 2012). "Strategy Synthesis for Multi-dimensional Quantitative Objectives". Paper presented at CONCUR - International Conference on Concurrency Theory, Newcastle, United Kingdom.
Randour, M. (03 September 2012). "Automated synthesis of reliable and efficient systems through game theory: a case study". Paper presented at ECCS - European Conference on Complex Systems, Brussels, Belgium.
Bohy, A., Bruyère, V., Filiot, E., & Raskin, J.-F. (10 July 2012). "Acacia+, a Tool for LTL Synthesis". Paper presented at CAV - Computer Aided Verification, Berkeley, United States - California.
Randour, M. (08 June 2012). "Strategy Synthesis for Multi-dimensional Quantitative Objectives". Paper presented at ERC-Workshop on Quantitative and Game Models for the Synthesis of Reactive Systems, Bruxelles, Belgium.
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (07 June 2012). "Synthesis from LTL and mean-payoff objectives". Paper presented at Quantitative models for verification and synthesis, Bruxelles, Belgium.
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (06 June 2012). "Acacia+, a Tool for LTL Synthesis". Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.
Randour, M. (18 April 2012). "Strategy Synthesis for Multi-dimensional Quantitative Objectives". Paper presented at Méthodes Formelles et Vérification, Bruxelles, Belgium.
Bruyère, V. (13 March 2012). "L'ordinateur face au Sudoku et autres jeux". Paper presented at Journées Math-Sciences, Mons, Belgium.

Chatterjee, K., Randour, M., & Raskin, J.-F. (04 September 2012). Strategy Synthesis for Multi-dimensional Quantitative Objectives. "Lecture Notes in Computer Science, 7454", 115-131. doi:10.1007/978-3-642-32940-1_10
Randour, M. (03 September 2012). Automated synthesis of reliable and efficient systems through game theory: a case study. "Springer Proceedings in Complexity, XVII", 731-738. doi:10.1007/978-3-319-00395-5_90
Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (2012). "Acacia+, a Tool for LTL Synthesis". Paper presented at International Conference on Computer Aided Verification, Berkeley, United States - California.
Brihaye, T., Bruyère, V., De Pril, J., & Gimbert, H. (2012). "Subgame Perfection for Equilibria in Quantitative Reachability Games". Paper presented at Foundations of Software Science and Computation Structure, Tallinn, Estonia.

Bruyère, V., Ducobu, M., & Gauwin, O. (2012). "Visibly pushdown automata on trees: universality and u-universality". Eprint/Working paper retrieved from https://orbi.umons.ac.be/20.500.12907/27348.

2011

Delgrange, O. (01 March 2011). Complexité des données et compression informatique. "Élement: le Magazine de l'Université de Mons, 5", 26-28.

Brihaye, T., Bruyère, V., & Mélot, H. (01 March 2011). Non, les ordinateurs ne seront jamais tout-puissants! : Magazine Elément 05. "Élement: le Magazine de l'Université de Mons, 5".

Bohy, A., Bruyère, V., Raskin, J.-F., Filiot, E., & Jin, N. (30 November 2011). "Acacia+, a Tool for LTL Synthesis". Paper presented at Gasics Meeting, Bruxelles, Belgium.
Randour, M. (30 November 2011). "Strategy Synthesis for Quantitative Objectives". Paper presented at Gasics Meeting, Bruxelles, Belgium.
De Pril, J. (17 September 2011). "Nash Equilibrium in Quantitative Games Played on Graphs". Paper presented at LogICCC Final Conference, Berlin, Germany.
Ducobu, M. (05 April 2011). "Antichain-based QBF Solving". Paper presented at Déjeuners Informatiques de l'UMONS, UMONS, Belgium.
Ducobu, M. (11 February 2011). "Antichain-based QBF solving". Paper presented at CFV seminar, Bruxelles, Belgium.

Maslowski, D., & Wijsen, J. (2011). "Uncertainty That Counts". Paper presented at Flexible Query Answering Systems (FQAS), Ghent, Belgium.
Brihaye, T., Bruyère, V., Doyen, L., Ducobu, M., & Raskin, J.-F. (2011). "Antichain-Based QBF Solving". Paper presented at Automated Technology for Verification and Analysis, Taipei, Taiwan.
Maslowski, D., & Wijsen, J. (2011). "On counting database repairs". Paper presented at Logic in Databases (LID), Uppsala, Sweden.

Roosa, S., Gillan, D., Wattiez, R., & Billon, G. (16 November 2011). "Bacterial survival in metal contaminated sites : microbial diversity and resistance genes". Poster session presented at 'Life, Death and Survival of Microorganisms' BSM meeting, Bruxelles, Belgium.
Ducobu, M. (22 March 2011). "Antichain-based QBF solving". Poster session presented at Matinée des chercheurs, UMONS, Belgium.

Delgrange, O. (2011). "Complexité des données et compression informatique : Interstices.Info, Lien : http://interstices.info/complexite-compression".

Delgrange, O. (2011). "Algorithme et efficacité : un petit survol grâce au problème du nombre manquant : Compte-rendus de la Journée de Mathématiques et de Sciences, Université de Mons".

2010

Brihaye, T., Bruyère, V., & Render, E. (11 February 2010). Formal languages properties of o-minimal hybrid systems. "RAIRO: Informatique Théorique et Applications, 44" (1), 79-111. doi:10.1051/ita/2010006
Boigelot, B., Brusten, J., & Bruyère, V. (01 February 2010). On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases. "Logical Methods in Computer Science, 6", 17. doi:10.1007/978-3-540-70583-3_10

Brihaye, T., Bruyère, V., & De Pril, J. (2010). "Equilibria in Quantitative Reachability Games". Paper presented at Computer Science Symposium in Russia, Kazan, Russia. doi:10.1007/978-3-642-13182-0_7
Bagan, G., Durand, A., Filiot, E., & Gauwin, O. (2010). "Efficient Enumeration for Conjunctive Queries over X-underbar Structures". Paper presented at 19th EACSL Annual Conference on Computer Science Logic (CSL'10), Brno, Unknown/unspecified. doi:10.1007/978-3-642-15205-4_10

2009

Delgrange, O. (2009). Bioinformatique : Un domaine pluridisciplinaire. "Élement: le Magazine de l'Université de Mons", (03), 27-30.

Baeza-Yates, R., Bruyère, V., Delgrange, O., & Scheihing, R. (01 October 2009). On the size of Boyer-Moore automata. "Theoretical Computer Science, 410" (43), 4432-4443.
Bruyère, V., & Mélot, H. (01 May 2009). Fibonacci index and stability number of graphs: a polyhedral study. "Journal of Combinatorial Optimization, 18", 207 - 228.
Bruyère, V., Carton, O., & Sénizergues, G. (01 April 2009). Tree automata and automata on linear orderings. "RAIRO: Informatique Théorique et Applications, 43", 321-338. doi:10.1051/ita/2009009

Bruyère, V., Decan, A., & Wijsen, J. (2009). "On first-order query rewriting for incomplete database histories". Paper presented at International Symposium/Workshop on Temporal Representation and Reasoning, Bressanone-Brixen, Italy.

2008

Bruyère, V., & Mélot, H. (01 August 2008). Turan graphs, stability number, and fibonacci index. "Lecture Notes in Computer Science, 5165", 127-138. doi:10.1007/978-3-540-85097-7_12
Boigelot, B., Brusten, J., & Bruyère, V. (01 July 2008). On the sets of real numbers recognized by finite automata in multiple bases. "Lecture Notes in Computer Science, 5126", 112-123. doi:10.1007/978-3-540-70583-3_10
Bruyère, V., Dall'Olio, E., & Raskin, J.-F. (01 March 2008). Durations and Parametric Model-Checking in Timed Automata. "ACM Transactions on Computational Logic, 9" (7), 23.

2007

Bouyer, P., Brihaye, T., Bruyère, V., & Raskin, J.-F. (01 October 2007). On the optimal reachability problem of weighted timed automata. "Formal Methods in System Design, 31" (Issue 2), 135-175. doi:10.1007/s10703-007-0035-4
Bruyère, V., & Carton, O. (01 February 2007). Automata on Linear Orderings. "Journal of Computer and System Sciences, 73", 1--24. doi:10.1016/j.jcss.2006.10.009
Bruyère, V., & Raskin, J.-F. (01 February 2007). Real-Time Model-Checking: Parameters everywhere. "Logical Methods in Computer Science, 3", 29. doi:10.2168/LMCS-3(1:7)2007

2006

Brihaye, T., Bruyère, V., & Raskin, J.-F. (01 March 2006). On model-checking timed automata with stopwatch observers. "Information and Computation, 204" (Issue 3), 408-433. doi:10.1016/j.ic.2005.12.001

Wattiaux, D., Verlinden, O., & Conti, C. (2006). "Characterization of pyroshocks and prediction of the dynamic behaviour of electromagnetic relays submitted to mechanical shocks". Paper presented at 8th Biennal ASME Conference on Engineering Design and Analysis, .

2005

Brihaye, T., Bruyère, V., & Raskin, J.-F. (01 September 2005). On optimal timed strategies. "Lecture Notes in Computer Science, 3829", 49-64. doi:10.1007/11603009_5
Bruyère, V., & Carton, O. (01 September 2005). Hierarchy Among Automata on Linear Orderings. "Theory of Computing Systems, 38", 593-621.
Araújo, I. M., & Bruyère, V. (01 August 2005). Sturmian words: dynamical systems and derivated words. "Lecture Notes in Computer Science, 3572", 122-133.
Araújo, I. M., & Bruyère, V. (01 June 2005). Words derivated from Sturmian words. "Theoretical Computer Science, 340", 204-219.
Araújo, I. M., & Bruyère, V. (01 June 2005). Sturmian words and a criterium by Michaux-Villemaire. "Theoretical Computer Science, 339", 88-102.

Forge, D., Laurent, S., Roch, A., Boutry, S., Vander Elst, L., & Muller, R. (01 January 2005). "Synthèse et évaluation de la capture cellulaire de particules superparamagnétiques". Poster session presented at Colloque Nano-hybrides, Autrans, Vercors, France.

2004

Brihaye, T., & Bruyère, V. (01 January 2004). Model-Checking for Weighted Timed Automata. "Lecture Notes in Computer Science, 3253", 277-292.

2003

Bruyère, V., & Raskin, J.-F. (01 January 2003). Real-Time Model-Checking: Parameters Everywhere. "Lecture Notes in Computer Science, 2914", 100-111.
Bruyère, V. (01 January 2003). Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic. "Lecture Notes in Computer Science, 2607", 687-698.
Bruyère, V. (01 January 2003). Cumulative defect. "Theoretical Computer Science, 292" (1), 97-109.

2002

Bruyère, V. (2002). Codes. In "Algebraic Combinatorics on Words" (pp. 30). Cambridge University Press.

Bruyère, V., & Carton, O. (01 January 2002). Automata on Linear Orderings. "Lecture Notes in Computer Science, 2450", 103-115.

Bruyère, V., & Carton, O. (2002). "Hierarchy Among Automata on Linear Orderings". Paper presented at IFIP International Conference on Theoretical Computer Science (TCS 2002), Montréal, Québec, Canada.

2001

Bruyère, V., & Carton, O. (01 January 2001). Automata on Linear Orderings. "Lecture Notes in Computer Science, 2136", 236-247.

1998

Wang, X., Wattiez, R., Brossier, F., Mock, M., Falmagne, P., Ruysschaert, J.-M., & Cabiaux, V. (1998). Use of a photoactivatable lipid to probe the topology of PA63 of Bacillus anthracis in lipid membranes. "European Journal of Biochemistry".