Modeling Ontologies for Time-Dependent Applications. - Cristian Giumale; Lorina Negreanu; Mihnea Muraru; Matei Popovici (SYNASC, 2010)

A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. - Matei Popovici; Mihnea Muraru; Alexandru Agache; Cristian Giumale; Lorina Negreanu; Ciprian Dobre (ICCS, 2011)

An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. - Matei Popovici; Mihnea Muraru; Alexandru Agache; Lorina Negreanu; Cristian Giumale; Ciprian Dobre (ISADS, 2011)

A Game Theoretic Approach for Optimal Network Topologies in Opportunistic Networks. - Nils Bulling; Michael Köster; Matei Popovici (CLIMA, 2012)

Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters. - Matei Popovici (CLIMA, 2012)

A game-theoretic approach to cooperation in multi-agent systems. - Matei Popovici; Ciprian Dobre (WIMS, 2012)

Social-Based Routing with Congestion Avoidance in Opportunistic Networks. - Alexandru Asandei; Ciprian Dobre; Matei Popovici (ADHOC-NOW, 2013)

SymNet: static checking for stateful networks. - Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (HotMiddlebox@CoNEXT, 2013)

Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B. - Lorina Negreanu; Matei Popovici (CSCS, 2013)

Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning. - Matei Popovici; Lorina Negreanu (IDC, 2013)

Agents with truly perfect recall in alternating-time temporal logic. - Nils Bulling; Wojciech Jamroga; Matei Popovici (AAMAS, 2014)

ATL* With Truly Perfect Recall: Expressivity and Validities. - Nils Bulling; Wojciech Jamroga; Matei Popovici (ECAI, 2014)

Hiding and Revealing Information in Boolean Games. - Matei Popovici; Lorina Negreanu (CSCS, 2015)

In-Net: in-network processing for the masses. - Radu Stoenescu; Vladimir Andrei Olteanu; Matei Popovici; Mohamed Ahmed 001; João Martins; Roberto Bifulco; Filipe Manco; Felipe Huici; Georgios Smaragdakis; Mark Handley; Costin Raiciu (EuroSys, 2015)

Stability and Strategic Time-Dependent Behaviour in Multiagent Systems. - Matei Popovici; Lorina Negreanu (Comput. Informatics, 2015)

A game-theoretic approach to compute stable topologies in mobile ad hoc networks. - Nils Bulling; Matei Popovici (J. Log. Comput., 2015)

Exploiting Multipath Congestion Control for Fun and Profit. - Matei Popovici; Costin Raiciu (HotNets, 2016)

SymNet: Scalable symbolic execution for modern networks. - Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2016)

Superfluidity: a flexible functional architecture for 5G networks. - Giuseppe Bianchi 001; Erez Biton; Nicola Blefari-Melazzi; Isabel Borges; Luca Chiaraviglio; Pedro de la Cruz Ramos; Philip Eardley; Francisco Fontes; Michael J. McGrath; Lionel Natarianni; Dragos Niculescu; Carlos Parada; et al. (Trans. Emerg. Telecommun. Technol., 2016)

Verifying large-scale networks using NetCheck. - Matei Popovici (EuCNC, 2017)

Equivalence and its applications to network verification. - Dragos Dumitrescu; Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM Posters and Demos, 2018)

Debugging P4 programs with vera. - Radu Stoenescu; Dragos Dumitrescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (SIGCOMM, 2018)

Dataplane equivalence and its applications. - Dragos Dumitrescu; Radu Stoenescu; Matei Popovici; Lorina Negreanu; Costin Raiciu (NSDI, 2019)

Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. - Nils Bulling; Wojciech Jamroga; Matei Popovici (ACM Trans. Comput. Log., 2019)