×

zbMATH — the first resource for mathematics

Basin, David A.

Compute Distance To:
Author ID: basin.david-a
Published as: Basin, David; Basin, David A.
Documents Indexed: 91 Publications since 1988, including 5 Books
Reviewing Activity: 10 Reviews
all top 5

Co-Authors

6 single-authored
18 Viganò, Luca
12 Klaedtke, Felix
12 Matthews, Seán
8 Zălinescu, Eugen
7 Caleiro, Carlos
6 Ayari, Abdelwaheb
5 Friedrich, Stefan R.
4 Kuruma, Hironobu
3 Clavel, Manuel
3 Cremers, Cas J. F.
3 Gawkowski, Marek
3 Walsh, Toby
3 Wolff, Burkhart
2 Abrial, Jean-Raymond
2 Bundy, Alan
2 Capkun, Srdjan
2 Caronni, Germano
2 Hoang, Thai Son
2 Meseguer Guaita, José
2 Mödersheim, Sebastian A.
2 Müller, Samuel
2 Petric Maretić, Grgur
2 Posegga, Joachim
2 Ramos, Jaime
2 Rusinowitch, Michaël
2 Sasse, Ralf
2 Schaller, Patrick
2 Takaragi, Kazuo
2 Torabi Dashti, Mohammad
1 Accorsi, Rafael
1 Anderson, Penny
1 Armando, Alessandro
1 Barnett, Richard C.
1 Bhatt, Bhargav Nagaraja
1 Bodei, Chiara
1 Bouallagui, Mehdi
1 Buhmann, Joachim M.
1 Chevalier, Yannick
1 Compagna, Luca
1 Conchinha, Bruno
1 Constable, Robert Lee
1 Costa, Gabriele
1 Cotrini Jiménez, Carlos
1 D’Agostino, Marcello
1 Dania, Carolina
1 Degano, Pierpaolo
1 Denker, Grit
1 Deville, Yves
1 Doser, Jürgen
1 Egea, Marina
1 Ereth, Sarah
1 Felty, Amy P.
1 Fischer Nilsson, Jørgen
1 Flener, Pierre
1 Frank, Ian
1 Frank, Mario
1 Gabbay, Dov M.
1 Galletta, Letterio
1 Ganzinger, Harald
1 García de Dios, Miguel A.
1 Hamfelt, Andreas
1 Harvan, Matúš
1 Hesketh, Jane
1 Hirschi, Lucca
1 Hutter, Dieter
1 Ireland, Andrew
1 Jugé, Vincent
1 Kaufmann, Matt
1 Keller, Michel
1 Kraan, Ina
1 Krieg-Brückner, Bernd
1 Krstić, Srđan
1 Lodderstedt, Torsten
1 Mantel, Heiko
1 Marinovic, Srdjan
1 Meadows, Catherine A.
1 Meier, Simon
1 Mitchell, John C.
1 Miyazaki, Kunihiko
1 Ortiz, Gonzalo
1 Pfitzmann, Birgit
1 Podelski, Andreas
1 Radomirović, Saša
1 Rittinger, Frank
1 Schmidt, Benedikt
1 Sprenger, Christoph
1 Streich, Andreas P.
1 Traytel, Dmitry
1 Turuani, Mathieu
1 Valdazo, Javier
1 Vigneron, Laurent
1 Vogt, Harald
1 von Bidder-Senn, Diana

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription