Abbasi, Rosa Published as: Abbasi, Rosa Documents: 5 Publications indexed (2003–2021) Co-Authors: Ahrendt, Wolfgang; Ashrafizadeh, Ali; Darulova, Eva; ... Main Fields: Computer science (68-XX); Numerical analysis (65-XX); Ordinary differential equations (34-XX)
Baar, Thomas Published as: Baar, Thomas Documents: 7 Publications indexed (1999–2003) Co-Authors: Beckert, Bernhard; Schmitt, Peter H.; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX)
Bartocci, Ezio Published as: Bartocci, Ezio; Bartocci, E. Documents: 39 Publications indexed (2008–2022) Co-Authors: Grosu, Radu; Smolka, Scott A.; Corradini, Flavio; ... Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Mathematical logic and foundations (03-XX)
Baumgartner, Peter Published as: Baumgartner, Peter; Baumgartner, P.; Baumgaitner, P. more...less Documents: 59 Publications indexed (1992–2021) Co-Authors: Furbach, Ulrich; Tinelli, Cesare; Waldmann, Uwe; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Beckert, Bernhard Published as: Beckert, Bernhard Documents: 44 Publications indexed (1993–2019) Co-Authors: Hähnle, Reiner; Schmitt, Peter H.; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Bianculli, Domenico Published as: Bianculli, Domenico Documents: 3 Publications indexed (2007–2019) Co-Authors: Ahrendt, Wolfgang; Bartocci, Ezio; Calinescu, Radu C.; ... Main Fields: Computer science (68-XX)
Bubel, Richard Published as: Bubel, Richard Documents: 12 Publications indexed (2007–2019) Co-Authors: Hähnle, Reiner; de Boer, Frank S.; De Gouw, Stijn; ... Main Fields: Computer science (68-XX)
Chimento, Jesús Mauricio Published as: Chimento, Jesús Mauricio Documents: 2 Publications indexed (2014–2017) Co-Authors: Ahrendt, Wolfgang; Barthe, Gilles; Betarte, Gustavo; ... Main Fields: Computer science (68-XX)
Colombo, Christian Published as: Colombo, Christian Documents: 7 Publications indexed (2009–2021) Co-Authors: Pace, Gordon J.; Falcone, Yliès; Schneider, Gerardo; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Darulova, Eva Published as: Darulova, Eva Documents: 5 Publications indexed (2014–2021) Co-Authors: Abbasi, Rosa; Ahrendt, Wolfgang; Becker, Heiko; ... Main Fields: Numerical analysis (65-XX); Computer science (68-XX)
de Boer, Frank S. Published as: de Boer, Frank S.; de Boer, Frank; de Boer, F. S.; De Boer, Frank S.; De Boer, Frank; de Boer, F. more...less Documents: 130 Publications indexed (1989–2021) Co-Authors: Bonsangue, Marcello Maria; Meyer, John-Jules Charles; de Roever, Willem-Paul; ... Main Fields: Computer science (68-XX)
De Gouw, Stijn Published as: de Gouw, Stijn; De Gouw, Stijn Documents: 8 Publications indexed (2012–2019) Co-Authors: de Boer, Frank S.; Rot, Jurriaan; Bubel, Richard; ... Main Fields: Computer science (68-XX)
de Nivelle, Hans Published as: de Nivelle, Hans; de Nivelle, H.; De Nivelle, Hans more...less Documents: 34 Publications indexed (1993–2018) Co-Authors: de Rijke, Maarten; Areces, Carlos; Baumgartner, Peter; ... Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Falcone, Yliès Published as: Falcone, Yliès Documents: 19 Publications indexed (2011–2021) Co-Authors: Marchand, Hervé; Jéron, Thierry; Rollet, Antoine; ... Main Fields: Computer science (68-XX)
Francalanza, Adrian Published as: Francalanza, Adrian Documents: 27 Publications indexed (2005–2021) Co-Authors: Aceto, Luca; Ingólfsdóttir, Anna; Hennessy, Matthew C. B.; ... Main Fields: Computer science (68-XX)
Giese, Martin A. Published as: Giese, Martin; Giese, Martin A.; Giese, M. A. more...less Documents: 28 Publications indexed (1999–2020) Co-Authors: Ahrendt, Wolfgang; Beckert, Bernhard; Habermalz, Elmar; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Habermalz, Elmar Published as: Habermalz, Elmar Documents: 3 Publications indexed (2000–2004) Co-Authors: Beckert, Bernhard; Giese, Martin A.; Hähnle, Reiner; ... Main Fields: Computer science (68-XX)
Hähnle, Reiner Published as: Hähnle, Reiner; Hähnle, R.; Haehnle, R. more...less Documents: 74 Publications indexed (1986–2021) Co-Authors: Beckert, Bernhard; Bubel, Richard; Schmitt, Peter H.; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Kovács, Laura Ildikó Published as: Kovács, Laura; Kovacs, Laura; Kovács, Laura Ildikó more...less Documents: 51 Publications indexed (2003–2022) Co-Authors: Voronkov, Andrei; Henzinger, Thomas A.; Bartocci, Ezio; ... Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX)
Krstić, Srđan Published as: Krstić, Srđan Documents: 4 Publications indexed (2019) Co-Authors: Traytel, Dmitry; Basin, David A.; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX)
Lourenço, João M. Published as: Lourenço, João M.; Lourenço, J. M. Documents: 7 Publications indexed (1997–2022) Co-Authors: Cunha, José C.; Ahrendt, Wolfgang; Bartocci, Ezio; ... Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX); Algebraic geometry (14-XX); Group theory and generalizations (20-XX); ...
Menzel, Wolfram Published as: Menzel, Wolfram; Menzel, W. Documents: 17 Publications indexed (1960–2004) Co-Authors: Hähnle, Reiner; Schmitt, Peter H.; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Mostowski, Wojciech I. Published as: Mostowski, Wojciech; Mostowski, Wojciech I. Documents: 6 Publications indexed (2000–2019) Co-Authors: Beckert, Bernhard; Ahrendt, Wolfgang; Amighi, Afshin; ... Main Fields: Computer science (68-XX)
Nickovic, Dejan Published as: Ničković, Dejan; Nickovic, Dejan Documents: 26 Publications indexed (2004–2021) Co-Authors: Maler, Oded; Ferrère, Thomas; Bartocci, Ezio; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Pace, Gordon J. Published as: Pace, Gordon J.; Pace, Gordon Documents: 21 Publications indexed (2002–2020) Co-Authors: Schneider, Gerardo; Colombo, Christian; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Ranise, Silvio Published as: Ranise, Silvio; Ranise, S. Documents: 52 Publications indexed (2000–2015) Co-Authors: Ghilardi, Silvio; Armando, Alessandro; Bruttomesso, Roberto; ... Main Fields: Computer science (68-XX)
Reif, Wolfgang Published as: Reif, Wolfgang; Reif, W. Documents: 31 Publications indexed (1986–2021) Co-Authors: Schellhorn, Gerhard; Stephan, Werner; Stenzel, Kurt; ... Main Fields: Computer science (68-XX)
Robillard, Simon Published as: Robillard, Simon; Robillard, S. Documents: 6 Publications indexed (1986–2022) Co-Authors: Kovács, Laura Ildikó; Ahrendt, Wolfgang; Blanchette, Jasmin Christian; ... Main Fields: Computer science (68-XX)
Röth, Andreas Barthel Published as: Roth, Andreas; Röth, Andreas Barthel; Röth, A. more...less Documents: 10 Publications indexed (1988–2020) Co-Authors: Rümmer, Philipp; Ahrendt, Wolfgang; Beckert, Bernhard; ... Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Statistical mechanics, structure of matter (82-XX); ...
Rufino, José Published as: Rufino, José; Rufino, Jose Documents: 3 Publications indexed (2003–2019) Co-Authors: Alves, Albano; Exposto, José; Pina, António; ... Main Fields: Computer science (68-XX)
Sánchez, César Published as: Sánchez, César; Sanchez, Cesar Documents: 27 Publications indexed (2003–2021) Co-Authors: Bozzelli, Laura; Manna, Zohar; Sipma, Henny B.; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Sasse, Ralf Published as: Sasse, Ralf Documents: 9 Publications indexed (2005–2019) Co-Authors: Escobar, Santiago; Meseguer Guaita, José; Basin, David A.; ... Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Schellhorn, Gerhard Published as: Schellhorn, Gerhard; Schellhorn, G. Documents: 37 Publications indexed (1993–2021) Co-Authors: Reif, Wolfgang; Derrick, John; Wehrheim, Heike; ... Main Fields: Computer science (68-XX)
Schiffl, Jonas Published as: Schiffl, Jonas Documents: 2 Publications indexed (2017–2021) Co-Authors: Ulbrich, Mattias; Abbasi, Rosa; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX)
Schmitt, Peter H. Published as: Schmitt, Peter H.; Schmitt, Peter; Schmitt, P. H. more...less Documents: 69 Publications indexed (1973–2017) Co-Authors: Beckert, Bernhard; Hähnle, Reiner; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)
Schneider, Gerardo Published as: Schneider, Gerardo Documents: 40 Publications indexed (2002–2021) Co-Authors: Pace, Gordon J.; Asarin, Eugene; Prisacariu, Cristian; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX); Systems theory; control (93-XX)
Signoles, Julien Published as: Signoles, Julien Documents: 5 Publications indexed (2015–2021) Co-Authors: Ahrendt, Wolfgang; Alberti, Michele; Assaf, Mounir; ... Main Fields: Computer science (68-XX)
Stenz, Gernot Published as: Stenz, Gernot Documents: 13 Publications indexed (1999–2007) Co-Authors: Letz, Reinhold; Wolf, Andreas; Ahrendt, Wolfgang; ... Main Fields: Computer science (68-XX)
Tapia Tarifa, Silvia Lizeth Published as: Tapia Tarifa, Silvia Lizeth; Tapia Tarifa, S. Lizeth Documents: 6 Publications indexed (2009–2021) Co-Authors: Johnsen, Einar Broch; Ahrendt, Wolfgang; Schlatte, Rudolf; ... Main Fields: Computer science (68-XX)
Tinelli, Cesare Published as: Tinelli, Cesare; Tinelli, C. Documents: 70 Publications indexed (1996–2021) Co-Authors: Barrett, Clark W.; Reynolds, Andrew; Baumgartner, Peter; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Traytel, Dmitry Published as: Traytel, Dmitriy; Traytel, Dmitry Documents: 29 Publications indexed (2012–2022) Co-Authors: Blanchette, Jasmin Christian; Popescu, Andrei; Basin, David A.; ... Main Fields: Computer science (68-XX)
Ulbrich, Mattias Published as: Ulbrich, Mattias Documents: 10 Publications indexed (2011–2021) Co-Authors: Schmitt, Peter H.; Klebanov, Vladimir; Beckert, Bernhard; ... Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Wehrheim, Heike Published as: Wehrheim, Heike Documents: 64 Publications indexed (1996–2022) Co-Authors: Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; ... Main Fields: Computer science (68-XX)
Weiss, Alexander Published as: Weiss, Alexander; Weiß, Alexander Documents: 10 Publications indexed (1999–2019) Co-Authors: Wohlmuth, Barbara I.; Helmig, Rainer; Ahrendt, Wolfgang; ... Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Fluid mechanics (76-XX); ...