by Bouyer, Patricia, Schröder, Lutz
Year of Publication 2022

by Bouyer, Patricia, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre
Published in Logical methods in computer science (01.12.2023)

by Bouyer, Patricia, Brenguier, Romain, Markey, Nicolas, Ummels, Michael
Published in Logical methods in computer science (19.06.2015)

by Bouyer, Patricia, Roux, Stéphane Le, Oualhadj, Youssouf, Randour, Mickael, Vandenhove, Pierre
Published in Logical methods in computer science (17.01.2022)

by Bouyer, Patricia, Randour, Mickael, Vandenhove, Pierre
Published in TheoretiCS (16.01.2023)

by Bertrand, Nathalie, Bouyer, Patricia, Majumdar, Anirban
Published in Logical methods in computer science (01.01.2021)

by Bouyer, Patricia
Published in Formal methods in system design (01.05.2004)

by Bouyer, Patricia, González, Mauricio, Markey, Nicolas, Randour, Mickael
Published in Electronic proceedings in theoretical computer science (07.09.2018)

by Bertrand, Nathalie, Bouyer, Patricia, Brihaye, Thomas, Menet, Quentin, Baier, Christel, Groesser, Marcus, Jurdzinski, Marcin
Published in Logical methods in computer science (09.12.2014)

by Bouyer, Patricia, Markey, Nicolas, Stan, Daniel
Published in Electronic proceedings in theoretical computer science (13.09.2016)

by Behrmann, Gerd, Bouyer, Patricia, Larsen, Kim G., Pelánek, Radek
Published in International journal on software tools for technology transfer (01.06.2006)

by Bouyer, Patricia, Markey, Nicolas, Randour, Mickael, Larsen, Kim G., Laursen, Simon
Published in Electronic proceedings in theoretical computer science (23.09.2015)

by Bouyer, Patricia, Markey, Nicolas, Vester, Steen
Published in Electronic proceedings in theoretical computer science (01.04.2014)

by Bouyer, Patricia, Brihaye, Thomas, Chevalier, Fabrice
Published in Logical methods in computer science (01.01.2010)

by Aceto, Luca, Bouyer, Patricia, Burgueño, Augusto, Larsen, Kim G
Published in Theoretical computer science (07.05.2003)

by Bouyer, Patricia, Larsen, Kim G., Markey, Nicolas
Published in Logical methods in computer science (20.06.2008)

by Bouyer, Patricia
Published in Automated Technology for Verification and Analysis

by Asarin, Eugene, Bouyer, Patricia
Year of Publication 2006

Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)

by Bérard, Béatrice, Bouyer †, Patricia, Petit, Antoine
Published in International journal of production research (15.07.2004)