Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

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

Login to this database


 

Viewing:

1. Author,Editor - 1. by Individual - 1. by Names
Next Page
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YearAuthor(s) [non member]TitleType
1
Show details for Radermacher, F. J.Radermacher, F. J.
1
Show details for Rahman, ShahidRahman, Shahid
3
Show details for Rajamani, Sriram K.Rajamani, Sriram K.
1
Show details for Rajan, Kanna (ed.)Rajan, Kanna (ed.)
1
Show details for Ramakrishnan, I.V. (ed.)Ramakrishnan, I.V. (ed.)
1
Show details for Ramani, S. (ed.)Ramani, S. (ed.)
1
Show details for Ramanujam, R (ed.)Ramanujam, R (ed.)
1
Show details for Raman, V. (ed.)Raman, V. (ed.)
1
Show details for Raskin, Jean-FrançoisRaskin, Jean-François
1
Show details for Raskin, J.-F. (ed.)Raskin, J.-F. (ed.)
1
Show details for Ras, Z. (ed.)Ras, Z. (ed.)
12
Show details for Ratschan, StefanRatschan, Stefan
1
Show details for Rattray, Charles (ed.)Rattray, Charles (ed.)
2
Show details for Rau, RainerRau, Rainer
1
Show details for Reggio, Gianna (ed.)Reggio, Gianna (ed.)
1
Show details for Reinold, MichaelReinold, Michael
1
Show details for Reischuk, Rüdiger (ed.)Reischuk, Rüdiger (ed.)
1
Show details for Remenyi, Dan (ed.)Remenyi, Dan (ed.)
1
Show details for Rémy, J.-L. (ed.)Rémy, J.-L. (ed.)
1
Show details for Rewitzky, I. M.Rewitzky, I. M.
1
Show details for Riazanov, AlexandreRiazanov, Alexandre
1
Show details for Richter, M.M. (ed.)Richter, M.M. (ed.)
1
Show details for Rich, Charles (ed.)Rich, Charles (ed.)
1
Show details for Rinaldi, GiovanniRinaldi, Giovanni
1
Show details for Rinard, Martin C.Rinard, Martin C.
1
Show details for Ringeissen, C. (ed.)Ringeissen, C. (ed.)
5
Show details for Robinson, Alan (ed.)Robinson, Alan (ed.)
3
Show details for Robinson, J. A. (ed.)Robinson, J. A. (ed.)
1
Show details for Robles, Víctor (ed.)Robles, Víctor (ed.)
3
Show details for Rock, GeorgRock, Georg
2
Show details for Rodríguez-Artalejo, Mario (ed.)Rodríguez-Artalejo, Mario (ed.)
1
Show details for Rolim, José (ed.)Rolim, José (ed.)
1
Show details for Rollinger, Claus-Rainer (ed.)Rollinger, Claus-Rainer (ed.)
1
Show details for Romina, AnyaRomina, Anya
2
Show details for Rossi, Francesca (ed.)Rossi, Francesca (ed.)
2
Show details for Rote, GünterRote, Günter
2
Show details for Rott, Hans (ed.)Rott, Hans (ed.)
1
Show details for Rowles, C. (ed.)Rowles, C. (ed.)
1
Show details for Roy, Marie-Franccoise (ed.)Roy, Marie-Franccoise (ed.)
1
Show details for Rückert, HelgeRückert, Helge
2
Show details for Rump, Frank J. (ed.)Rump, Frank J. (ed.)
3
Show details for Rusinowitch, Michael (ed.)Rusinowitch, Michael (ed.)
1
Show details for Rusinowitch, M. (ed.)Rusinowitch, M. (ed.)
1
Show details for Rus, Teodor (ed.)Rus, Teodor (ed.)
1
Show details for Ruzicka, Peter (ed.)Ruzicka, Peter (ed.)
20
Show details for Rybalchenko, AndreyRybalchenko, Andrey
1
Show details for Sabharwal, AshishSabharwal, Ashish
1
Show details for Sabin, Mihaela (ed.)Sabin, Mihaela (ed.)
1
Show details for Sagiv, Mooly (ed.)Sagiv, Mooly (ed.)
1
Show details for Sagiv, Yehoshua (ed.)Sagiv, Yehoshua (ed.)
1
Show details for Salzer, Gernot (ed.)Salzer, Gernot (ed.)
1
Show details for Sandewall, E. (ed.)Sandewall, E. (ed.)
1
Show details for SanJuan, Eric (ed.)SanJuan, Eric (ed.)
1
Show details for Sannella, Don (ed.)Sannella, Don (ed.)
2
Show details for Sasikumar, M. (ed.)Sasikumar, M. (ed.)
1
Show details for Sattler, Ulrike (ed.)Sattler, Ulrike (ed.)
1
Show details for Scannapieco, Monica (ed.)Scannapieco, Monica (ed.)
1
Show details for Schader, M. (ed.)Schader, M. (ed.)
2
Show details for Schaefer, InaSchaefer, Ina
1
Show details for Schäfers, RenateSchäfers, Renate
1
Show details for Schäf, MartinSchäf, Martin
1
Show details for Schaub, Torsten (ed.)Schaub, Torsten (ed.)
1
Show details for Schirmer, NorbertSchirmer, Norbert
1
Show details for Schlobach, StefanSchlobach, Stefan
1
Show details for Schmidt, G. (ed.)Schmidt, G. (ed.)
36
Show details for Schmidt, Renate A.Schmidt, Renate A.
2
Show details for Schmidt, Renate (ed.)Schmidt, Renate (ed.)
3
Show details for Schmitt, Peter H. (ed.)Schmitt, Peter H. (ed.)
1
Show details for Schmolzi, ChristianSchmolzi, Christian
1
Show details for Scholl, ChristophScholl, Christoph
1
Show details for Schöttle, HendrikSchöttle, Hendrik
2
Show details for Schubert, Lenhart (ed.)Schubert, Lenhart (ed.)
2
Show details for Schulz, Andreas S.Schulz, Andreas S.
2
Show details for Schulz, Klaus U. (ed.)Schulz, Klaus U. (ed.)
2
Show details for Schulz, K. U. (ed.)Schulz, K. U. (ed.)
4
Show details for Schulz, Stephan (ed.)Schulz, Stephan (ed.)
1
Show details for Schütt, D. (ed.)Schütt, D. (ed.)
2
Show details for Schwartzbach, Michael I. (ed.)Schwartzbach, Michael I. (ed.)
1
Show details for Schwartzbach, Michael (ed.)Schwartzbach, Michael (ed.)
3
Show details for Schwefel, Hans-Paul (ed.)Schwefel, Hans-Paul (ed.)
1
Show details for Scollo, Guiseppe (ed.)Scollo, Guiseppe (ed.)
1
Show details for Seatzu, Carla (ed.)Seatzu, Carla (ed.)
1
Show details for Sebastiani, Roberto (ed.)Sebastiani, Roberto (ed.)
1
Show details for Sebastia, LauraSebastia, Laura
1
Show details for Segerberg, Krister (ed.)Segerberg, Krister (ed.)
1
Show details for Seghir, Mohammed NassimSeghir, Mohammed Nassim
1
Show details for Seidl, Andreas (ed.)Seidl, Andreas (ed.)
1
Show details for Seidl, HelmutSeidl, Helmut
1
Show details for Seipel, Dietmar (ed.)Seipel, Dietmar (ed.)
1
Show details for Selman, BartSelman, Bart
1
Show details for Seyr, Katrin (ed.)Seyr, Katrin (ed.)
2
Show details for Shankar, Natarajan (ed.)Shankar, Natarajan (ed.)
2
Show details for Shapiro, Stuart C. (ed.)Shapiro, Stuart C. (ed.)
2
Show details for Shapiro, Stuart (ed.)Shapiro, Stuart (ed.)
1
Show details for Sharma, Arun (ed.)Sharma, Arun (ed.)
1
Show details for Shenoy, Prakash Pundalik (ed.)Shenoy, Prakash Pundalik (ed.)
5
Show details for She, ZhikunShe, Zhikun
1
Show details for Shinohara, Takeshi (ed.)Shinohara, Takeshi (ed.)
1
Show details for Shyamasundar, R. K.Shyamasundar, R. K.
1
Show details for Shyamasundar, R. K. (ed.)Shyamasundar, R. K. (ed.)
1
Show details for Siekmann, Jörg H.Siekmann, Jörg H.
2
Show details for Siekmann, J. (ed.)Siekmann, J. (ed.)
1
Show details for Sigayret, Alain (ed.)Sigayret, Alain (ed.)
2
Show details for Sijanski, GrozdanaSijanski, Grozdana
1
Show details for Silverman, J. (ed.)Silverman, J. (ed.)
1
Show details for Simonis, Helmut (ed.)Simonis, Helmut (ed.)
1
Show details for Simon, CarloSimon, Carlo
1
Show details for Simpson, AlexSimpson, Alex
1
Show details for Sinner, AlexSinner, Alex
2
Show details for Siveroni, Igor (ed.)Siveroni, Igor (ed.)
1
Show details for Slaney, John K. (ed.)Slaney, John K. (ed.)
8
Show details for Slaney, J. K. (ed.)Slaney, J. K. (ed.)
3
Show details for Smaill, AlanSmaill, Alan
2
Show details for Smaus, Jan-GeorgSmaus, Jan-Georg
1
Show details for Smith, B. C. (ed.)Smith, B. C. (ed.)
3
Show details for Smith, Stephen F. (ed.)Smith, Stephen F. (ed.)
3
Show details for Smolka, GertSmolka, Gert
4
Show details for Smolka, Gert (ed.)Smolka, Gert (ed.)
1
Show details for Smolka, G. (ed.)Smolka, G. (ed.)
2
Show details for Snyder, WayneSnyder, Wayne
9
Show details for Socher-Ambrosius, RolfSocher-Ambrosius, Rolf
35
Show details for Sofronie-Stokkermans, VioricaSofronie-Stokkermans, Viorica
1
Show details for Sorbello, F. (ed.)Sorbello, F. (ed.)
1
Show details for Spies, HendrikSpies, Hendrik
1
Show details for Spirakis, Paul G. (ed.)Spirakis, Paul G. (ed.)
1
Show details for Spyns, Peter (ed.)Spyns, Peter (ed.)
1
Show details for Srivas, M. (ed.)Srivas, M. (ed.)
1
Show details for Steele, N. (ed.)Steele, N. (ed.)
1
Show details for Stefanakis, Emmanuel (ed.)Stefanakis, Emmanuel (ed.)
2
Show details for Steffen, Bernhard (ed.)Steffen, Bernhard (ed.)
1
Show details for Steffen, Bernhardt (ed.)Steffen, Bernhardt (ed.)
1
Show details for Steinbach, B. (ed.)Steinbach, B. (ed.)
1
Show details for Stenz, GernotStenz, Gernot
1
Show details for Stephan, Werner (ed.)Stephan, Werner (ed.)
2
Show details for Sterling, Leon (ed.)Sterling, Leon (ed.)
1
Show details for Stevens, Perdita (ed.)Stevens, Perdita (ed.)
1
Show details for Stokkermans, KarelStokkermans, Karel
4
Show details for Stoyan, Herbert (ed.)Stoyan, Herbert (ed.)
1
Show details for Stoyan, H. (ed.)Stoyan, H. (ed.)
4
Show details for Struth, GeorgStruth, Georg
2
Show details for Struth, Georg (ed.)Struth, Georg (ed.)
13
Show details for Stuber, JürgenStuber, Jürgen
3
Show details for Stuckey, Peter J. (ed.)Stuckey, Peter J. (ed.)
1
Show details for Sturm, Thomas (ed.)Sturm, Thomas (ed.)
1
Show details for Suchanek, FabianSuchanek, Fabian
1
Show details for Suchanek, Fabian M.Suchanek, Fabian M.
3
Show details for Sutcliffe, Geoff (ed.)Sutcliffe, Geoff (ed.)
1
Show details for Suzuki, Nobu-Yuki (ed.)Suzuki, Nobu-Yuki (ed.)
1
Show details for Swartout, William (ed.)Swartout, William (ed.)
1
Show details for Swierstra, S. Doaitse (ed.)Swierstra, S. Doaitse (ed.)
2
Show details for Szalas, AndrzejSzalas, Andrzej
11
Show details for Talbot, Jean-MarcTalbot, Jean-Marc
1
Show details for Tammet, TanelTammet, Tanel
1
Show details for Tammet, Tanel (ed.)Tammet, Tanel (ed.)
1
Show details for Tan, HongyanTan, Hongyan
11
Show details for Tan, Yao-HuaTan, Yao-Hua
1
Show details for Tari, Zahir (ed.)Tari, Zahir (ed.)
4
Show details for Tarlecki, Andrzej (ed.)Tarlecki, Andrzej (ed.)
1
Show details for Tchuente, M. (ed.)Tchuente, M. (ed.)
1
Show details for Tessaris, Sergio (ed.)Tessaris, Sergio (ed.)
2
Show details for Theobalt, ChristianTheobalt, Christian
1
Show details for Thiagarajan, P.S. (ed.)Thiagarajan, P.S. (ed.)
1
Show details for Thiebaux, SylvieThiebaux, Sylvie
1
Show details for Thiele, Lothar (ed.)Thiele, Lothar (ed.)
1
Show details for Thomas, Wolfgang (ed.)Thomas, Wolfgang (ed.)
1
Show details for Thümmel, W. (ed.)Thümmel, W. (ed.)
1
Show details for Timm, Jan-GeorgTimm, Jan-Georg
5
Show details for Tinelli, CesareTinelli, Cesare
6
Show details for Tishkovsky, DmitryTishkovsky, Dmitry
1
Show details for Tison, SophieTison, Sophie
1
Show details for Tison, Sophie (ed.)Tison, Sophie (ed.)
1
Show details for Tiwari, Ashish (ed.)Tiwari, Ashish (ed.)
1
Show details for Topic, DaliborTopic, Dalibor
3
Show details for Topić, DaliborTopić, Dalibor
1
Show details for Torasso, P. (ed.)Torasso, P. (ed.)
1
Show details for Traverso, P.Traverso, P.
1
Show details for Treinen, Ralf (ed.)Treinen, Ralf (ed.)
1
Show details for Trueg, SebastianTrueg, Sebastian
1
Show details for Truszczynski, Mirek (ed.)Truszczynski, Mirek (ed.)
2
Show details for Truszczynski, M. (ed.)Truszczynski, M. (ed.)
1
Show details for Tsay, Yih-Kuen (ed.)Tsay, Yih-Kuen (ed.)
1
Show details for Turini, Franco (ed.)Turini, Franco (ed.)
2
Show details for Turunen, Esko (ed.)Turunen, Esko (ed.)
7
Show details for Tzakova, MiroslavaTzakova, Miroslava
1
Show details for Uebe, G. (ed.)Uebe, G. (ed.)
1
Show details for Ursini, Aldo (ed.)Ursini, Aldo (ed.)
1
Show details for Urzyczyn, Pawe{ł} (ed.)Urzyczyn, Pawe{ł} (ed.)
1
Show details for Vakarelov, DimiterVakarelov, Dimiter
1
Show details for Vakil, R. (ed.)Vakil, R. (ed.)
1
Show details for Vallduvi, Enric (ed.)Vallduvi, Enric (ed.)
2
Show details for Valmari, Antti (ed.)Valmari, Antti (ed.)
22
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
1
Show details for van Emde Boas, Peter (ed.)van Emde Boas, Peter (ed.)
2
Show details for Van Hentenryck, Pascal (ed.)Van Hentenryck, Pascal (ed.)
1
Show details for van Leeuwen, Jan (ed.)van Leeuwen, Jan (ed.)
1
Show details for Vardi, MosheVardi, Moshe
1
Show details for Varsek, I.Varsek, I.
1
Show details for Vaz de Carvalho, Júlia (ed.)Vaz de Carvalho, Júlia (ed.)
10
Show details for Veanes, MargusVeanes, Margus
1
Show details for Vehi, JosepVehi, Josep
1
Show details for Veit, JörgVeit, Jörg
1
Show details for Ventura, PaoloVentura, Paolo
9
Show details for Viganò, LucaViganò, Luca
1
Show details for Vigneron, Laurent (ed.)Vigneron, Laurent (ed.)
1
Show details for Vogel, Carl (ed.)Vogel, Carl (ed.)
1
Show details for Vojtas, Peter (ed.)Vojtas, Peter (ed.)
1
Show details for von Wright, J. (ed.)von Wright, J. (ed.)
11
Show details for Vorobyov, SergeiVorobyov, Sergei
10
Hide details for Voronkov, AndreiVoronkov, Andrei
2005Korovin, Konstantin
[Voronkov, Andrei]
Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388
Journal Article
2003Korovin, Konstantin
[Voronkov, Andrei]
Attachment IconAC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59
Proceedings Article
2003Korovin, Konstantin
[Voronkov, Andrei]
Attachment IconOrienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84
Proceedings Article
2003Korovin, Konstantin
[Voronkov, Andrei]
Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186
Journal Article
2001[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
Proceedings Article
2000[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184
Journal Article
1999Voronkov, AndreiThe ground-negative fragment of first-order logics is $\pi^p_2$-complete
In: The Journal of Symbolic Logic [64], 984-990
Journal Article
1998Vorobyov, Sergei
Voronkov, Andrei
Attachment IconComplexity of Nonrecursive Logic Programs with Complex Values
In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253
Proceedings Article
1998Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei
Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190
Proceedings Article
1998[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195
Proceedings Article
18
Show details for Voronkov, Andrei (ed.)Voronkov, Andrei (ed.)
4
Show details for Voronkov, A. (ed.)Voronkov, A. (ed.)
1
Show details for Vorozhtsov, Evgenii V. (ed.)Vorozhtsov, Evgenii V. (ed.)
1
Show details for Wachsmuth, Ipke (ed.)Wachsmuth, Ipke (ed.)
1
Show details for Wagner, Dorothea (ed.)Wagner, Dorothea (ed.)
6
Show details for Wagner, SilkeWagner, Silke
22
Show details for Waldmann, UweWaldmann, Uwe
1
Show details for Wallin, Annika (ed.)Wallin, Annika (ed.)
6
Show details for Walsh, TobyWalsh, Toby
1
Show details for Walukiewicz, IgorWalukiewicz, Igor
1
Show details for Wang, Dongming (ed.)Wang, Dongming (ed.)
1
Show details for Wang, D. (ed.)Wang, D. (ed.)
3
Show details for Wang, YonggeWang, Yongge
3
Show details for Wansing, Heinrich (ed.)Wansing, Heinrich (ed.)
2
Show details for Wansing, H. (ed.)Wansing, H. (ed.)
1
Show details for Warren, David Scott (ed.)Warren, David Scott (ed.)
1
Show details for Warren, D. S. (ed.)Warren, D. S. (ed.)
33
Show details for Weidenbach, ChristophWeidenbach, Christoph
1
Show details for Weispfenning, V.Weispfenning, V.
7
Show details for Werner, AndreasWerner, Andreas
2
Show details for Wetzel, SusanneWetzel, Susanne
30
Show details for Weydert, EmilWeydert, Emil
2
Show details for Weydert, Emil (ed.)Weydert, Emil (ed.)
2
Show details for Wiedermann, Jiri (ed.)Wiedermann, Jiri (ed.)
3
Show details for Wies, ThomasWies, Thomas
1
Show details for Williams, Denise A. (ed.)Williams, Denise A. (ed.)
2
Show details for Winskel, Glynn (ed.)Winskel, Glynn (ed.)
2
Show details for Wirsing, Martin (ed.)Wirsing, Martin (ed.)
1
Show details for Wirtz, BorisWirtz, Boris
4
Show details for Witteveen, Cees (ed.)Witteveen, Cees (ed.)
1
Show details for Woeginger, Gerhard J. (ed.)Woeginger, Gerhard J. (ed.)
1
Show details for Wolter, Frank (ed.)Wolter, Frank (ed.)
5
Show details for Wu, JinzhaoWu, Jinzhao
1
Show details for Xiao, RongXiao, Rong
2
Show details for Xia, BicanXia, Bican
1
Show details for Yahya, AdnanYahya, Adnan
1
Show details for Yang, LuYang, Lu
1
Show details for Yap, Roland H. C. (ed.)Yap, Roland H. C. (ed.)
1
Show details for Yi, Wang (ed.)Yi, Wang (ed.)
1
Show details for Yonezawa, A. (ed.)Yonezawa, A. (ed.)
1
Show details for Yoshida, TetsujaYoshida, Tetsuja
1
Show details for Yuan, CongYuan, Cong
1
Show details for Zaha, Johannes Maria (ed.)Zaha, Johannes Maria (ed.)
2
Show details for Zakharyaschev, Michael (ed.)Zakharyaschev, Michael (ed.)
1
Show details for Zakharyaschev, M. (ed.)Zakharyaschev, M. (ed.)
1
Show details for Zamulin, Alexandre (ed.)Zamulin, Alexandre (ed.)
3
Show details for Zangl, FabriceZangl, Fabrice
1
Show details for Zaroliagis, ChristosZaroliagis, Christos
1
Show details for Zartmann, FrankZartmann, Frank
1
Show details for Zaytoon, Janan (ed.)Zaytoon, Janan (ed.)
1
Show details for Zemankova, M. (ed.)Zemankova, M. (ed.)
1
Show details for Zeugmann, Thomas (ed.)Zeugmann, Thomas (ed.)
1
Show details for Zeyer, JörgZeyer, Jörg
2
Show details for Zhang, Hantao (ed.)Zhang, Hantao (ed.)
1
Show details for Zhang, Nevin L. (ed.)Zhang, Nevin L. (ed.)
1
Show details for Zhang, Wenhui (ed.)Zhang, Wenhui (ed.)
1
Show details for Zilberstein, Shlomo (ed.)Zilberstein, Shlomo (ed.)
1
Show details for Zimány, Esteban (ed.)Zimány, Esteban (ed.)
2
Show details for Zini, FlorianoZini, Floriano
1
Show details for Zlatuska, Jirí (ed.)Zlatuska, Jirí (ed.)
2
Show details for Zuck, Lenore (ed.)Zuck, Lenore (ed.)
2336
Next Page