*Showing* 1 - 20 *of* 267

*s200* 171 *a100* 95 *NIL* 44 *z250* 25 *s100* 24 *q100* 22 *more* ... *z230* 16 *e200* 13 *z220* 10 *z200* 8 *w100* 7 *p100* 4 *r100* 4 *w200* 4 *d100* 3 *t200* 3 *v100* 3 *z280* 3 *a200* 2 *n100* 2 *z100* 2 *X100* 1 *X400* 1 *b100* 1 *c100* 1 *c200* 1 *g100* 1 *m100* 1 *u100* 1 *less* ...

Enea, Constantin 9 Lal, Akash 9 Moreno-Díaz, Roberto 7 Pichler, Franz 7 Tasiran, Serdar 7 Chockler, Hana 6 *more* ... Dillig, Isil 6 Ganesh, Vijay 6 Gurfinkel, Arie 6 Leino, K. Rustan M. 6 Piskac, Ruzica 6 Shoham, Sharon 6 Silva, Alexandra 6 Vizel, Yakir 6 Wang, Chao 6 Weissenbacher, Georg 6 Quesada Arencibia, Alexis 5 Quesada-Arencibia, Alexis 5 Lahiri, Shuvendu K. 4 Moreno Díaz, Roberto 4 Rakamarić, Zvonimir 4 Affenzeller, Michael 3 Jansen, Nils 3 Junges, Sebastian 3 Kaminski, Benjamin Lucien 3 Matheja, Christoph 3 Noll, Thomas 3 Quatmann, Tim 3 Stoelinga, Mariëlle 3 Volk, Matthias 3 *less* ...

*Buch* 266 *Konferenzschrift* 175 *Dissertation* 9 *Festschrift* 3 *Abschlussarbeit* 1 *Aufsatz* 1

*eng* 253 *ger* 16 *fre* 1