Edit Profile Herrmann, Philippe Compute Distance To: Compute Author ID: herrmann.philippe Published as: Herrmann, Philippe Documents Indexed: 4 Publications since 1998 Co-Authors 2 single-authored 2 Bardin, Sébastien 1 Perroud, Florian 1 Vedrine, Franck Serials 1 Information Processing Letters Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year Citations contained in zbMATH 4 Publications have been cited 14 times in 14 Documents Cited by ▼ Year ▼ Refinement-based CFG reconstruction from unstructured programs. Zbl 1317.68028Bardin, Sébastien; Herrmann, Philippe; Védrine, Franck 4 2011 Timed automata and recognizability. Zbl 0925.68275Herrmann, Philippe 4 1998 An alternative to SAT-based approaches for bit-vectors. Zbl 1284.68379Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian 3 2010 Renaming is necessary in timed regular expressions. Zbl 0961.68073Herrmann, Philippe 3 1999 Refinement-based CFG reconstruction from unstructured programs. Zbl 1317.68028Bardin, Sébastien; Herrmann, Philippe; Védrine, Franck 4 2011 An alternative to SAT-based approaches for bit-vectors. Zbl 1284.68379Bardin, Sébastien; Herrmann, Philippe; Perroud, Florian 3 2010 Renaming is necessary in timed regular expressions. Zbl 0961.68073Herrmann, Philippe 3 1999 Timed automata and recognizability. Zbl 0925.68275Herrmann, Philippe 4 1998 all top 5 Cited by 37 Authors 2 Brauer, Jörg 2 Ouaknine, Joel O. 2 Worrell, James B. 1 Asarin, Eugene 1 Bardin, Sébastien 1 Blazy, Sandrine 1 Bobot, François 1 Bouyer, Patricia 1 Brihaye, Thomas 1 Bruyère, Véronique 1 Chihani, Zakaria 1 Dima, Cătălin 1 Durand-Lose, Jérôme O. 1 Fahrenberg, Uli 1 Függer, Matthias 1 Herrmann, Philippe 1 Kinder, Johannes 1 King, Andy 1 Kowalewski, Stefan 1 Kravchenko, Dmitry 1 Krishna, Shankara Narayanan 1 Laporte, Vincent 1 Larsen, Kim Guldstrand 1 Madnani, Khushraj 1 Markey, Nicolas 1 Marre, Bruno 1 Pandya, Paritosh K. 1 Pichardie, David 1 Rabinovich, Alexander 1 Reinbacher, Thomas 1 Render, Elaine 1 Rümmer, Philipp 1 Søndergaard, Harald 1 Stuckey, Peter James 1 Wang, Wenxi 1 Wintersteiger, Christoph M. 1 Zeljić, Aleksandar Cited in 5 Serials 2 Information Processing Letters 2 Journal of Automated Reasoning 1 Science of Computer Programming 1 Formal Methods in System Design 1 RAIRO. Theoretical Informatics and Applications Cited in 3 Fields 13 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year