• Homepage

Publications Master Template

Publications Master Template

Entries sorted by: 1. Author,Editor - 1. by Individual - 1. by Names

Login to this database

# Year Author(s) [non member] Title Type 1 Radermacher, F. J. 1 Rahman, Shahid 3 Rajamani, Sriram K. 1 Rajan, Kanna (ed.) 1 Ramakrishnan, I.V. (ed.) 1 Ramani, S. (ed.) 1 Ramanujam, R (ed.) 1 Raman, V. (ed.) 1 Raskin, Jean-François 1 Raskin, J.-F. (ed.) 1 Ras, Z. (ed.) 12 Ratschan, Stefan 1 Rattray, Charles (ed.) 2 Rau, Rainer 1 Reggio, Gianna (ed.) 1 Reinold, Michael 1 Reischuk, Rüdiger (ed.) 1 Remenyi, Dan (ed.) 1 Rémy, J.-L. (ed.) 1 Rewitzky, I. M. 1 Riazanov, Alexandre 1 Richter, M.M. (ed.) 1 Rich, Charles (ed.) 1 Rinaldi, Giovanni 1 Rinard, Martin C. 1 Ringeissen, C. (ed.) 5 Robinson, Alan (ed.) 3 Robinson, J. A. (ed.) 1 Robles, Víctor (ed.) 3 Rock, Georg 2 Rodríguez-Artalejo, Mario (ed.) 1 Rolim, José (ed.) 1 Rollinger, Claus-Rainer (ed.) 1 Romina, Anya 2 Rossi, Francesca (ed.) 2 Rote, Günter 2 Rott, Hans (ed.) 1 Rowles, C. (ed.) 1 Roy, Marie-Franccoise (ed.) 1 Rückert, Helge 2 Rump, Frank J. (ed.) 3 Rusinowitch, Michael (ed.) 1 Rusinowitch, M. (ed.) 1 Rus, Teodor (ed.) 1 Ruzicka, Peter (ed.) 20 Rybalchenko, Andrey 1 Sabharwal, Ashish 1 Sabin, Mihaela (ed.) 1 Sagiv, Mooly (ed.) 1 Sagiv, Yehoshua (ed.) 1 Salzer, Gernot (ed.) 1 Sandewall, E. (ed.) 1 SanJuan, Eric (ed.) 1 Sannella, Don (ed.) 2 Sasikumar, M. (ed.) 1 Sattler, Ulrike (ed.) 1 Scannapieco, Monica (ed.) 1 Schader, M. (ed.) 2 Schaefer, Ina 1 Schäfers, Renate 1 Schäf, Martin 1 Schaub, Torsten (ed.) 1 Schirmer, Norbert 1 Schlobach, Stefan 1 Schmidt, G. (ed.) 36 Schmidt, Renate A. 2 Schmidt, Renate (ed.) 3 Schmitt, Peter H. (ed.) 1 Schmolzi, Christian 1 Scholl, Christoph 1 Schöttle, Hendrik 2 Schubert, Lenhart (ed.) 2 Schulz, Andreas S. 2 Schulz, Klaus U. (ed.) 2 Schulz, K. U. (ed.) 4 Schulz, Stephan (ed.) 1 Schütt, D. (ed.) 2 Schwartzbach, Michael I. (ed.) 1 Schwartzbach, Michael (ed.) 3 Schwefel, Hans-Paul (ed.) 1 Scollo, Guiseppe (ed.) 1 Seatzu, Carla (ed.) 1 Sebastiani, Roberto (ed.) 1 Sebastia, Laura 1 Segerberg, Krister (ed.) 1 Seghir, Mohammed Nassim 1 Seidl, Andreas (ed.) 1 Seidl, Helmut 1 Seipel, Dietmar (ed.) 1 Selman, Bart 1 Seyr, Katrin (ed.) 2 Shankar, Natarajan (ed.) 2 Shapiro, Stuart C. (ed.) 2 Shapiro, Stuart (ed.) 1 Sharma, Arun (ed.) 1 Shenoy, Prakash Pundalik (ed.) 5 She, Zhikun 1 Shinohara, Takeshi (ed.) 1 Shyamasundar, R. K. 1 Shyamasundar, R. K. (ed.) 1 Siekmann, Jörg H. 2 Siekmann, J. (ed.) 1 Sigayret, Alain (ed.) 2 Sijanski, Grozdana 1 Silverman, J. (ed.) 1 Simonis, Helmut (ed.) 1 Simon, Carlo 1 Simpson, Alex 1 Sinner, Alex 2 Siveroni, Igor (ed.) 1 Slaney, John K. (ed.) 8 Slaney, J. K. (ed.) 3 Smaill, Alan 2 Smaus, Jan-Georg 1 Smith, B. C. (ed.) 3 Smith, Stephen F. (ed.) 3 Smolka, Gert 4 Smolka, Gert (ed.) 1 Smolka, G. (ed.) 2 Snyder, Wayne 9 Socher-Ambrosius, Rolf 35 Sofronie-Stokkermans, Viorica 1 Sorbello, F. (ed.) 1 Spies, Hendrik 1 Spirakis, Paul G. (ed.) 1 Spyns, Peter (ed.) 1 Srivas, M. (ed.) 1 Steele, N. (ed.) 1 Stefanakis, Emmanuel (ed.) 2 Steffen, Bernhard (ed.) 1 Steffen, Bernhardt (ed.) 1 Steinbach, B. (ed.) 1 Stenz, Gernot 1 Stephan, Werner (ed.) 2 Sterling, Leon (ed.) 1 Stevens, Perdita (ed.) 1 Stokkermans, Karel 4 Stoyan, Herbert (ed.) 1 Stoyan, H. (ed.) 4 Struth, Georg 2 Struth, Georg (ed.) 13 Stuber, Jürgen 3 Stuckey, Peter J. (ed.) 1 Sturm, Thomas (ed.) 1 Suchanek, Fabian 1 Suchanek, Fabian M. 3 Sutcliffe, Geoff (ed.) 1 Suzuki, Nobu-Yuki (ed.) 1 Swartout, William (ed.) 1 Swierstra, S. Doaitse (ed.) 2 Szalas, Andrzej 11 Talbot, Jean-Marc 1 Tammet, Tanel 1 Tammet, Tanel (ed.) 1 Tan, Hongyan 11 Tan, Yao-Hua 1 Tari, Zahir (ed.) 4 Tarlecki, Andrzej (ed.) 1 Tchuente, M. (ed.) 1 Tessaris, Sergio (ed.) 2 Theobalt, Christian 1 Thiagarajan, P.S. (ed.) 1 Thiebaux, Sylvie 1 Thiele, Lothar (ed.) 1 Thomas, Wolfgang (ed.) 1 Thümmel, W. (ed.) 1 Timm, Jan-Georg 5 Tinelli, Cesare 6 Tishkovsky, Dmitry 1 Tison, Sophie 1 Tison, Sophie (ed.) 1 Tiwari, Ashish (ed.) 1 Topic, Dalibor 3 Topić, Dalibor 1 Torasso, P. (ed.) 1 Traverso, P. 1 Treinen, Ralf (ed.) 1 Trueg, Sebastian 1 Truszczynski, Mirek (ed.) 2 Truszczynski, M. (ed.) 1 Tsay, Yih-Kuen (ed.) 1 Turini, Franco (ed.) 2 Turunen, Esko (ed.) 7 Tzakova, Miroslava 1 Uebe, G. (ed.) 1 Ursini, Aldo (ed.) 1 Urzyczyn, Pawe{ł} (ed.) 1 Vakarelov, Dimiter 1 Vakil, R. (ed.) 1 Vallduvi, Enric (ed.) 2 Valmari, Antti (ed.) 22 van der Torre, Leendert W. N. 1 van Emde Boas, Peter (ed.) 2 Van Hentenryck, Pascal (ed.) 1 van Leeuwen, Jan (ed.) 1 Vardi, Moshe 1 Varsek, I. 1 Vaz de Carvalho, Júlia (ed.) 10 Veanes, Margus 1 Vehi, Josep 1 Veit, Jörg 1 Ventura, Paolo 9 Viganò, Luca 1 Vigneron, Laurent (ed.) 1 Vogel, Carl (ed.) 1 Vojtas, Peter (ed.) 1 von Wright, J. (ed.) 11 Vorobyov, Sergei 10 Voronkov, Andrei 18 Voronkov, Andrei (ed.) 4 Voronkov, A. (ed.) 2001 Bachmair, Leo Ganzinger, Harald Resolution Theorem Proving In: Handbook of Automated Reasoning, 19-99 Part of a Book 1993 Barth, Peter Linear 0-1 Inequalities and Extended Clauses In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 Proceedings Article 1993 Ohlbach, Hans Jürgen Optimized Translation of Multi Modal Logic into Predicate Logic In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 Proceedings Article 1992 Bachmair, Leo Ganzinger, Harald Non-Clausal Resolution and Superposition with Selection and Redundancy Criteria In: Logic Programming and Automated Reasoning, 273-284 Proceedings Article 1 Vorozhtsov, Evgenii V. (ed.) 1 Wachsmuth, Ipke (ed.) 1 Wagner, Dorothea (ed.) 6 Wagner, Silke 22 Waldmann, Uwe 1 Wallin, Annika (ed.) 6 Walsh, Toby 1 Walukiewicz, Igor 1 Wang, Dongming (ed.) 1 Wang, D. (ed.) 3 Wang, Yongge 3 Wansing, Heinrich (ed.) 2 Wansing, H. (ed.) 1 Warren, David Scott (ed.) 1 Warren, D. S. (ed.) 33 Weidenbach, Christoph 1 Weispfenning, V. 7 Werner, Andreas 2 Wetzel, Susanne 30 Weydert, Emil 2 Weydert, Emil (ed.) 2 Wiedermann, Jiri (ed.) 3 Wies, Thomas 1 Williams, Denise A. (ed.) 2 Winskel, Glynn (ed.) 2 Wirsing, Martin (ed.) 1 Wirtz, Boris 4 Witteveen, Cees (ed.) 1 Woeginger, Gerhard J. (ed.) 1 Wolter, Frank (ed.) 5 Wu, Jinzhao 1 Xiao, Rong 2 Xia, Bican 1 Yahya, Adnan 1 Yang, Lu 1 Yap, Roland H. C. (ed.) 1 Yi, Wang (ed.) 1 Yonezawa, A. (ed.) 1 Yoshida, Tetsuja 1 Yuan, Cong 1 Zaha, Johannes Maria (ed.) 2 Zakharyaschev, Michael (ed.) 1 Zakharyaschev, M. (ed.) 1 Zamulin, Alexandre (ed.) 3 Zangl, Fabrice 1 Zaroliagis, Christos 1 Zartmann, Frank 1 Zaytoon, Janan (ed.) 1 Zemankova, M. (ed.) 1 Zeugmann, Thomas (ed.) 1 Zeyer, Jörg 2 Zhang, Hantao (ed.) 1 Zhang, Nevin L. (ed.) 1 Zhang, Wenhui (ed.) 1 Zilberstein, Shlomo (ed.) 1 Zimány, Esteban (ed.) 2 Zini, Floriano 1 Zlatuska, Jirí (ed.) 2 Zuck, Lenore (ed.) 2336