|
LOPSTR 19: 29TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
TALK AUTHOR INDEX
A | Arias, Joaquin | | Ayala-Rincon, Mauricio | | C | Carro, Manuel | | Casso, Ignacio | | Chen, Zhuo | | Cousot, Patrick | | D | Diekhoff, Karsten | | Drabent, Włodek | | F | Fernandez, Maribel | | G | Gallagher, John P. | | Gallagher, John Patrick | | Gallardo, María-Del-Mar | | Garcia-Contreras, Isabel | | Giacobazzi, Roberto | | Glück, Robert | | Gupta, Gopal | | H | Hermenegildo, Manuel V. | | Hoare, Tony | | K | Kirkeby, Maja | | Kirsten, Michael | | Klemen, Maximiliano | | Kobayashi, Naoki | | Koerner, Philipp | | Krämer, Jonas | | Kutsia, Temur | | L | Lopez-Garcia, Pedro | | Luuk, Erkki | | M | Mittal, Neeraj | | Morales, Jose F. | | N | Nagele, Julian | | Nantes-Sobrinho, Daniele | | P | Panizo, Laura | | Pau, Cleo | | Pinaud, Bruno | | S | Salazar, Elmer | | Schett, Maria Anna | | Silva, Gabriel | | V | Vanhoof, Wim | | Varanasi, Sarat Chandra | | Varga, Janos | | Vidal, German | | W | Wingen, Isabel | | Y | Yernaux, Gonzague | |
|
|