Edit Profile Bouyer, Patricia Compute Distance To: Compute Author ID: bouyer.patricia Published as: Bouyer, P.; Bouyer, Patricia Homepage: http://www.lsv.fr/~bouyer/ External Links: MGP · Wikidata · ORCID · dblp Documents Indexed: 105 Publications since 1999, including 2 Books Biographic References: 1 Publication all top 5 Co-Authors 7 single-authored 49 Markey, Nicolas 15 Larsen, Kim Guldstrand 13 Brihaye, Thomas 9 Chevalier, Fabrice 9 Petit, Antoine 9 Sankur, Ocan 8 Reynier, Pierre-Alain 6 Bertrand, Nathalie 6 Fleury, Emmanuel 6 Laroussinie, François 6 Ouaknine, Joel O. 6 Worrell, James B. 5 Brenguier, Romain 5 Gardy, Patrick 5 Haddad, Serge 4 Cassez, Franck 4 Ummels, Michael 3 Baier, Christel 3 Carlier, Pierre 3 Dufourd, Catherine 3 Fahrenberg, Uli 3 Randour, Mickael 2 Behrmann, Gerd 2 Bel Mokadem, Houda 2 Bérard, Béatrice 2 Brinksma, Ed 2 D’Souza, Deepak 2 Größer, Marcus 2 Jaziri, Samy 2 Jugé, Vincent 2 Jurdziński, Marcin 2 Menet, Quentin 2 Orlandini, Andrea 2 Perrin, Nicolas 2 San Pietro, Pierluigi L. 2 Schlehuber-Caissier, Philipp 2 Schnoebelen, Philippe 2 Stan, Daniel 2 Thérien, Denis 1 Aceto, Luca 1 Akshay, S. 1 Asarin, Eugene 1 Bollig, Benedikt 1 Bozzelli, Laura 1 Bruyère, Véronique 1 Burgueño, Augusto 1 Colange, Maximilien 1 Duflot, Marie 1 Forejt, Vojtěch 1 Hofman, Piotr 1 Hunter, Paul 1 Krishna, Shankara Narayanan 1 Laursen, Simon 1 Lazić, Ranko 1 Madhusudan, Parthasarathy 1 Manasa, Lakshmi 1 Matteplackel, Raj Mohan 1 Murano, Aniello 1 Olschewski, Jörg 1 Pelánek, Radek 1 Raskin, Jean-François 1 Rasmussen, Jacob Illum 1 Reiter, Fabian 1 Renault, Gabriel 1 Rutkowski, Michał 1 Sangnier, Arnaud 1 Srba, Jiří 1 Stainer, Amélie 1 Thrane, Claus R. 1 Trivedi, Ashutosh 1 Vester, Steen 1 Zimmermann, Martín G. all top 5 Serials 6 Information and Computation 4 Logical Methods in Computer Science 3 Information Processing Letters 3 Theoretical Computer Science 3 Formal Methods in System Design 2 Journal of Automata, Languages and Combinatorics 1 Acta Informatica 1 Annals of Pure and Applied Logic 1 Formal Aspects of Computing 1 Real-Time Systems 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 101 Computer science (68-XX) 25 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Mathematical logic and foundations (03-XX) 7 Systems theory; control (93-XX) 3 General and overarching topics; collections (00-XX) 3 Probability theory and stochastic processes (60-XX) 3 Operations research, mathematical programming (90-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline