×

Found 44 Authors (Results 1–44)

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.
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. S.; de Boer, F.
Documents: 131 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
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.
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.
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ó
Documents: 52 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); Algebraic geometry (14-XX); General and overarching topics; collections (00-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.
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: 28 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: 38 Publications indexed (1993–2022)
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.
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: 41 Publications indexed (2002–2022)
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: 72 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: 65 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); ...