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
Hide details for Simonis, Helmut (ed.)Simonis, Helmut (ed.)
1996Bockmayr, Alexander
Kasper, Thomas
Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41
Proceedings Article
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
Show details for Voronkov, AndreiVoronkov, Andrei
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