| # |  | Year | Author(s) [non member] | | Title | Type | |
|---|
| 1 |
 | Abdel-Rahman, Essam O. |
| |
| 2 |
| |
| 1 |
| Althaus, Ernst |
| |
| 1 |
| |
| 1 |
| Autexier, Serge (ed.) |
| |
| 1 |
| |
| 1 |
| Aziz, Zaheer (ed.) |
| |
| 1 |
| |
| 8 |
| Baader, Franz (ed.) |
| |
| 5 |
| |
| 1 |
| Bajcsy, R. (ed.) |
| |
| 1 |
| |
| 2 |
| Bankstahl, Jan |
| |
| 1 |
| |
| 1 |
| Basin, David (ed.) |
| |
| 1 |
| |
| 2 |
| Baumgartner, Peter |
| |
| 1 |
| |
| 4 |
| Becker, Bernd (ed.) |
| |
| 1 |
| |
| 1 |
| Beringer, Lennart (ed.) |
| |
| 4 |
| |
| 1 |
| Berns, Karsten (ed.) |
| |
| 1 |
| |
| 1 |
| Billington, Jonathan |
| |
| 1 |
| |
| 3 |
| Bjørner, Nikolaj (ed.) |
| |
| 1 |
| Blanchette, Jasmin Christian |
| |
| 4 |
| Bonacina, Maria Paola (ed.) |
| |
| 1 |
| |
| 2 |
| Brahm, Uwe |
| |
| 1 |
| |
| 1 |
| Broda, Krysia (ed.) |
| |
| 1 |
| |
| 1 |
| Bruni, Roberto (ed.) |
| |
| 1 |
| |
| 2 |
| Burel, Guillaume |
| |
| 1 |
| |
| 1 |
| Charatonik, Witold (ed.) |
| |
| 1 |
| Cha, Sungdeok (Steve) (ed.) |
| |
| 1 |
| Choi, Jin-Young (ed.) |
| |
| 1 |
| Christophe Ringeissen (ed.) |
| |
| 1 |
| Ciobanu, Gabriel (ed.) |
| |
| 1 |
| |
| 2 |
| Cohrs, Christian |
| |
| 1 |
| |
| 3 |
| Cook, Byron (ed.) |
| |
| 1 |
| |
| 1 |
| D'Agostino, Marcello (ed.) |
| |
| 1 |
| |
| 8 |
| Damm, Werner |
| |
| 3 |
| Damm, Werner Martin (ed.) |
| |
| 5 |
| Damm, Werner (ed.) |
| |
| 1 |
| |
| 1 |
| Dawar, Anuj (ed.) |
| |
| 1 |
| |
| 2 |
| de Nivelle, Hans (ed.) |
| |
| 1 |
| |
| 1 |
| Denney, Ewen (ed.) |
| |
| 1 |
| |
| 1 |
| Dhungana, Deepak |
| |
| 2 |
| |
| 3 |
| Dimova, Dilyana |
| |
| 1 |
| |
| 5 |
| Disch, Stefan |
| |
| 1 |
| Dreschler-Fischer, Leonie (ed.) |
| |
| 1 |
| Dressler, Christian |
| |
| 1 |
| |
| 1 |
| Eggers, Andreas |
| |
| 1 |
| |
| 1 |
| Eiswirth, M. |
| |
| 1 |
| |
| 2 |
| Engel, Thorsten |
| |
| 1 |
| |
| 1 |
| Escalada-Imaz, Gonzalo (ed.) |
| |
| 1 |
| Esquivel Pinto, Claudia So fia |
| |
| 1 |
| et. al. (ed.) |
| |
| 3 |
| |
| 1 |
| Fehrer, Detlef |
| |
| 1 |
| |
| 1 |
| Fermüller, Christian G. (ed.) |
| |
| 1 |
| Fermüller, Christian (ed.) |
| |
| 1 |
| Ferreirim, Isabel (ed.) |
| |
| 1 |
| |
| 9 |
| Fietzke, Arnaud |
| |
| 1 |
| |
| 1 |
| Fitting, Melvin (ed.) |
| |
| 1 |
| |
| 1 |
| Fontaine, Pascal (ed.) |
| |
| 8 |
| |
| 1 |
| Frazzoli, Emilio (ed.) |
| |
| 7 |
| |
| 2 |
| Furbach, Ulrich (ed.) |
| |
| 1 |
| |
| 1 |
| Gaillourdet, Jean-Marie |
| |
| 15 |
| |
| 5 |
| Ganzinger, Harald (ed.) |
| |
| 1 |
| |
| 1 |
| Ghilardi, Silvio |
| |
| 5 |
| |
| 1 |
| Gibbons, Jeremy (ed.) |
| |
| 5 |
| |
| 1 |
| Goldblatt, Robert (ed.) |
| |
| 2 |
| |
| 1 |
| Gorny, Peter (ed.) |
| |
| 1 |
| |
| 1 |
| Grädel, Erich (ed.) |
| |
| 1 |
| |
| 1 |
| Gramlich, Bernhard (ed.) |
| |
| 1 |
| |
| 1 |
| Grigoriev. D. |
| |
| 1 |
| |
| 1 |
| Haehnle, Reiner (ed.) |
| |
| 3 |
| |
| 1 |
| Hähnle, Reiner |
| |
| 4 |
| |
| 1 |
| Hermanns, Holger |
| |
| 5 |
| |
| 1 |
| Higashino, Teruo (ed.) |
| |
| 18 |
| |
| 2 |
| Hirth, Simon |
| |
| 1 |
| Hölldobler, Steffen (ed.) |
| |
| 11 |
| Horbach, Matthias |
| |
| 1 |
| |
| 1 |
| Hotz, Günter (ed.) |
| |
| 1 |
| |
| 2 |
| Hungar, Hardi |
| |
| 2 |
| |
| 14 |
| Ihlemann, Carsten |
| |
| 1 |
| Iorgulescu, Afrodita (ed.) |
| |
| 1 |
| Iturrioz, Luisa |
| |
| 2 |
| |
| 14 |
| Jacobs, Swen |
| |
| 1 |
| |
| 1 |
| Jaeger, Manfred |
| |
| 1 |
| |
| 2 |
| Kapur, Deepak |
| |
| 2 |
| |
| 1 |
| Karrenberg, Ralf |
| |
| 3 |
| |
| 1 |
| Kepser, Stephan (ed.) |
| |
| 1 |
| |
| 1 |
| Kerner, I. O. (ed.) |
| |
| 1 |
| Kijania-Placek, Katarzyna (ed.) |
| |
| 1 |
| Kim Moonzoo (ed.) |
| |
| 2 |
| |
| 1 |
| Kirchner, Helene |
| |
| 3 |
| |
| 1 |
| Kleine Büning, Hans |
| |
| 1 |
| |
| 1 |
| Konev, Boris (ed.) |
| |
| 2 |
| |
| 2 |
| Košta, Marek |
| |
| 1 |
| |
| 8 |
| Kruglov, Evgeny |
| |
| 1 |
| |
| 1 |
| Kupferschmid, Stefan |
| |
| 3 |
| |
| 1 |
| Lamotte, Manuel |
| |
| 1 |
| |
| 1 |
| Lee, Insup (ed.) |
| |
| 3 |
| |
| 1 |
| Lenzerini, Maurizio (ed.) |
| |
| 1 |
| |
| 1 |
| Letz, Reinhold |
| |
| 1 |
| |
| 1 |
| Lev-Ami, Tal |
| |
| 1 |
| |
| 1 |
 | Leykin, Anton (ed.) |
| |
| | 2011 | Sturm, Thomas
[Tiwari, Ashish] | | Verification and Synthesis Using Real Quantifier Elimination
In: ISSAC 2011 : Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, 329-336 | Proceedings Article | |
| 1 |
| Lilith, Nimrod |
| |
| 5 |
| |
| 2 |
| Ludwig, Michel |
| |
| 1 |
| |
| 1 |
| Luuk, Marc |
| |
| 1 |
| |
| 3 |
| Lu, Tianxiang |
| |
| 1 |
| |
| 1 |
| Lynch, Christopher (ed.) |
| |
| 1 |
| |
| 1 |
| Mantel, Heiko (ed.) |
| |
| 1 |
| |
| 2 |
| Matheis, Thomas |
| |
| 2 |
| |
| 1 |
| McCune, William (ed.) |
| |
| 1 |
| McRobbie, Michael A. (ed.) |
| |
| 2 |
| McRobbie, M. A. (ed.) |
| |
| 1 |
| |
| 1 |
| Mertsching, Bärbel (ed.) |
| |
| 1 |
| |
| 3 |
| Merz, Stephan |
| |
| 1 |
| |
| 3 |
| Meyer, Christoph |
| |
| 1 |
| |
| 1 |
| Motik, Boris (ed.) |
| |
| 1 |
| |
| 1 |
| Mundici, Daniele (ed.) |
| |
| 1 |
| |
| 1 |
| Namjoshi, Kedar S. (ed.) |
| |
| 1 |
| |
| 1 |
| Narendran, Paliath (ed.) |
| |
| 1 |
| |
| 1 |
| Nguyen, ThanhVu |
| |
| 2 |
| |
| 3 |
| Nieuwenhuis, Robert (ed.) |
| |
| 4 |
| |
| 3 |
| Nonnengart, Andreas |
| |
| 1 |
| |
| 1 |
| Nutt, Werner (ed.) |
| |
| 2 |
| |
| 1 |
| Ohlbach, Hans Jürgen (ed.) |
| |
| 1 |
| |
| 1 |
| Olbrich, Sebastian |
| |
| 8 |
| Olderog, Ernst-Rüdiger (ed.) |
| |
| 3 |
| Orlowska, Ewa (ed.) |
| |
| 2 |
| |
| 1 |
| Pascal Fontaine (ed.) |
| |
| 1 |
| Patel-Schneider, Peter F. (ed.) |
| |
| 1 |
| Paun, Gheorghe (ed.) |
| |
| 1 |
| |
| 5 |
| Peltier, Nicolas (ed.) |
| |
| 1 |
| |
| 4 |
| Pigorsch, Florian |
| |
| 1 |
| |
| 1 |
| Podelski, Andreas |
| |
| 9 |
| |
| 1 |
| Popescu, Andrei |
| |
| 1 |
| |
| 1 |
| Prevosto, Virgile |
| |
| 1 |
| |
| 1 |
| Ramakrishnan, C. R. (ed.) |
| |
| 1 |
| |
| 1 |
| Ranise, Silvio (ed.) |
| |
| 2 |
| |
| 1 |
| Rehof, Jakob (ed.) |
| |
| 1 |
| |
| 1 |
| Remenyi, Dan (ed.) |
| |
| 1 |
| |
| 1 |
| Renate A. Schmidt (ed.) |
| |
| 1 |
| |
| 1 |
| Reuter, Jochen |
| |
| 1 |
| |
| 1 |
| Ringeissen, Christophe (ed.) |
| |
| 1 |
| |
| 2 |
| Robinson, Alan (ed.) |
| |
| 2 |
| |
| 1 |
| Roggenbach, Markus (ed.) |
| |
| 1 |
| |
| 1 |
| Rudeanu, Sergiu (ed.) |
| |
| 1 |
| |
| 1 |
| Rump, Frank J. (ed.) |
| |
| 2 |
| |
| 1 |
| Rusinowitch, Michael (ed.) |
| |
| 1 |
| |
| 3 |
| Rybalchenko, Andrey |
| |
| 1 |
| |
| 1 |
| Salzer, Gernot (ed.) |
| |
| 1 |
| |
| 1 |
| Sattler, Uli (ed.) |
| |
| 1 |
| |
| 4 |
| Sattler, Ulrike (ed.) |
| |
| 1 |
| |
| 1 |
| Schmidt, Renate |
| |
| 2 |
| |
| 6 |
| Schmidt, Renate A. (ed.) |
| |
| 1 |
| |
| 1 |
| Schmitt, Peter H. (ed.) |
| |
| 5 |
| |
| 1 |
| Schulz, Klaus U. (ed.) |
| |
| 2 |
| |
| 2 |
| Sebastiani, Roberto (ed.) |
| |
| 1 |
| |
| 1 |
| Shankar, Natarajan (ed.) |
| |
| 1 |
| |
| 1 |
| Sijanski, Grozdana |
| |
| 1 |
| |
| 1 |
| Slaney, John K. (ed.) |
| |
| 2 |
| |
| 75 |
| Sofronie-Stokkermans, Viorica |
| |
| 12 |
| Sofronie-Stokkermans, Viorica (ed.) |
| |
| 1 |
| Spies, Hendrik |
| |
| 1 |
| |
| 1 |
| Stickel, Mark (ed.) |
| |
| 1 |
| |
| 1 |
| Stoyan, Herbert (ed.) |
| |
| 4 |
| |
| 3 |
| Sturm, Thomas (ed.) |
| |
| 1 |
| |
| 6 |
| Suda, Martin |
| |
| 1 |
| |
| 1 |
| Sutcliffe, Geoff (ed.) |
| |
| 1 |
| |
| 1 |
| Teige, Teige |
| |
| 1 |
| |
| 2 |
| Theobalt, Christian |
| |
| 2 |
| |
| 2 |
| Tiwari, Ashish |
| |
| 2 |
| |
| 2 |
| Topic, Dalibor |
| |
| 3 |
| |
| 2 |
| Tran, Duc-Khanh |
| |
| 2 |
| |
| 1 |
| Vaida, Dragos (ed.) |
| |
| 1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
| 1 |
| Veith, Helmut (ed.) |
| |
| 1 |
| |
| 1 |
| Viswanathan, Mahesh (ed.) |
| |
| 1 |
| |
| 2 |
| Voronkov, Andrei |
| |
| 1 |
| Voronkov, Andrei Voronkov |
| |
| 15 |
| Voronkov, Andrei (ed.) |
| |
| 32 |
| |
| 1 |
| Wand, Daniel |
| |
| 1 |
| |
| 1 |
| Weber, A. |
| |
| 75 |
| |
| 3 |
| Weidenbach, Christoph (ed.) |
| |
| 1 |
| |
| 1 |
| Wilhelm, Reinhard |
| |
| 7 |
| |
| 5 |
| Wirtz, Boris |
| |
| 11 |
| |
| 1 |
| Wolter, Frank (ed.) |
| |
| 1 |
| |
| 1 |
| Zakharyaschev, Michael (ed.) |
| |
| 3 |
| |
| 1 |
| Zeller, Andreas (ed.) |
| |
| 2 |
| |
| 1 |
| Zhang, Wenhui (ed.) |
| |
| 1 |
| |
| 1 |
| Zhao, Hantao |
| |
| 2 |
| |
| 1 |
| Zimmer, Stephan |
| |
| 841 |
| |
