2022

• [Accepted] M. Mittelmann, B. Maubert, A. Murano, L. Perrussel. “Synthesis of Mechanisms with Strategy Logic” (communication paper). To appear on ICTCS 2022.
  
  
• M. Mittelmann, B. Maubert, A. Murano, L. Perrussel. “Automated synthesis of mechanisms”. IJCAI 2022. Appendix.
  
  
• F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, A. Murano, L. Perrussel*: “Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions”. AAMAS 2022. Extended version on ArXiv.
  
  
• M. Mittelmann, S. Bouveret, L. Perrussel: “Representing and reasoning about auctions”. Autonomous Agents and Multi-Agent Systems. 36, 20 (2022).

2021

• B. Maubert, M. Mittelmann, A. Murano, L. Perrussel*: “Strategic Reasoning in Automated Mechanism Design”. KR 2021. Poster.  

• M. Mittelmann, S. Bouveret, L. Perrussel: “A General Framework for the Logical Representation of Combinatorial Exchange Protocols” (extended abstract). AAMAS 2021. Poster.  Extended version on ArXiv.

• M. Mittelmann, A. Herzig and L. Perrussel. “Epistemic Reasoning about Rationality and Bids
  in Auctions”. JELIA 2021.  

2020

• M. Mittelmann and L. Perrussel. “An Epistemic Logic for Reasoning about Strategies in General Auctions”. ICLP Workshops 2020. 

• M. Mittelmann and L. Perrussel. “Auction Description Language (ADL): a General Framework for Representing Auction-based Markets”. ECAI 2020.

• M. Mittelmann and L. Perrussel. “Game Description Logic with Integers: A GDL Numerical Extension”. FoIKS 2020. Pre-print version on ArXiv.

2019

• M. Mittelmann, J. Marchi, and A. von Wangenheim. “A Fuzzy-Dynamic Bayesian Network Approach for Inference Filtering”. ICAISC 2019.  

• [Portuguese] M. Mittelmann, J. Marchi, and A. von Wangenheim. “Data Fusion through Fuzzy-Bayesian Networks for Belief Generation in Cognitive Agents”. In: Revista de Informática Teorica e Aplicada. Vol. 26 (2019), pp. 69–80.

2017

• [Portuguese] M. Mittelmann and D. G. Soares. “Previsão de Casos de Dengue em Itajaí – SC por meio de Redes Neurais Artificiais Multicamadas e Recorrentes”. Computer on the Beach 2017. 

• [Portuguese] M. Mittelmann and D. G. Soares. “Previsão de Casos de Dengue em Guarulhos com Redes Neurais Artificiais Multicamadas e Recorrentes”. In: Revista de Informática Aplicada. Vol. 13 (2017), pp. 68–74.

* Authors listed in alphabetical order.