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 Baader, FranzBaader, Franz
9
Show details for Baader, Franz (ed.)Baader, Franz (ed.)
1
Show details for Bachem, A. (ed.)Bachem, A. (ed.)
20
Show details for Bachmair, LeoBachmair, Leo
1
Show details for Bachmair, Leo (ed.)Bachmair, Leo (ed.)
1
Show details for Bach, AlexanderBach, Alexander
3
Show details for Backes, WernerBackes, Werner
3
Show details for Bajcsy, R. (ed.)Bajcsy, R. (ed.)
1
Show details for Balbiani, Philippe (ed.)Balbiani, Philippe (ed.)
1
Show details for Ball, ThomasBall, Thomas
1
Show details for Ball, Thomas (ed.)Ball, Thomas (ed.)
2
Show details for Ball, TomBall, Tom
1
Show details for Baral, C. (ed.)Baral, C. (ed.)
2
Show details for Barkaoui, Kamel (ed.)Barkaoui, Kamel (ed.)
1
Show details for Barnett, RichardBarnett, Richard
1
Show details for Bartenstein, Oskar (ed.)Bartenstein, Oskar (ed.)
14
Show details for Barth, PeterBarth, Peter
54
Show details for Basin, David A.Basin, David A.
1
Show details for Basin, David A. (ed.)Basin, David A. (ed.)
2
Show details for Basin, David (ed.)Basin, David (ed.)
4
Show details for Baumeister, HubertBaumeister, Hubert
13
Show details for Baumgartner, PeterBaumgartner, Peter
3
Show details for Baumgartner, Peter (ed.)Baumgartner, Peter (ed.)
3
Show details for Beckert, Bernhard (ed.)Beckert, Bernhard (ed.)
1
Show details for Becker, JoachimBecker, Joachim
1
Show details for Behrmann, GerdBehrmann, Gerd
1
Show details for Beierle, C. (ed.)Beierle, C. (ed.)
1
Show details for Bemporad, Alberto (ed.)Bemporad, Alberto (ed.)
1
Show details for Ben-Amram, Amir M.Ben-Amram, Amir M.
1
Show details for Benferhat, Salem (ed.)Benferhat, Salem (ed.)
3
Show details for Benhamou, F. (ed.)Benhamou, F. (ed.)
2
Show details for Berghammer, Rudolf (ed.)Berghammer, Rudolf (ed.)
1
Show details for Bertling, HubertBertling, Hubert
2
Show details for Besnard, Philippe (ed.)Besnard, Philippe (ed.)
2
Show details for Beyer, DirkBeyer, Dirk
2
Show details for Bezem, MarcBezem, Marc
3
Show details for Bibel, Wolfgang (ed.)Bibel, Wolfgang (ed.)
1
Show details for Bicchi, Antonio (ed.)Bicchi, Antonio (ed.)
1
Show details for Bidoit, Michel (ed.)Bidoit, Michel (ed.)
2
Show details for Billington, JonathanBillington, Jonathan
1
Show details for Bittanti, Sergio (ed.)Bittanti, Sergio (ed.)
3
Show details for Biundo, Susanne (ed.)Biundo, Susanne (ed.)
1
Show details for Bjorner, Dines (ed.)Bjorner, Dines (ed.)
6
Show details for Blackburn, PatrickBlackburn, Patrick
1
Show details for Blackburn, Patrick (ed.)Blackburn, Patrick (ed.)
2
Show details for Blanchet, BrunoBlanchet, Bruno
1
Show details for Bläsius, K. H. (ed.)Bläsius, K. H. (ed.)
1
Show details for Bläsius, K.H. (ed.)Bläsius, K.H. (ed.)
1
Show details for Bla, Blubber (ed.)Bla, Blubber (ed.)
1
Show details for Blubber, Bla (ed.)Blubber, Bla (ed.)
37
Show details for Bockmayr, AlexanderBockmayr, Alexander
1
Show details for Boley, H. (ed.)Boley, H. (ed.)
2
Show details for Bonacina, Maria Paola (ed.)Bonacina, Maria Paola (ed.)
1
Show details for Book, R. V. (ed.)Book, R. V. (ed.)
1
Show details for Book, R. (ed.)Book, R. (ed.)
2
Show details for Booth, RichardBooth, Richard
1
Show details for Borgida, A. (ed.)Borgida, A. (ed.)
1
Show details for Boros, Endre (ed.)Boros, Endre (ed.)
3
Show details for Borrajo, Daniel (ed.)Borrajo, Daniel (ed.)
1
Show details for Bosma, Wieb (ed.)Bosma, Wieb (ed.)
1
Show details for Bos, JohanBos, Johan
1
Show details for Böttner, Michael (ed.)Böttner, Michael (ed.)
1
Show details for Boulmé, SylvainBoulmé, Sylvain
1
Show details for Bozkurt, AhmetBozkurt, Ahmet
2
Show details for Bozzano, MarcoBozzano, Marco
1
Show details for Bradfield, Julian (ed.)Bradfield, Julian (ed.)
2
Show details for Brafman, RonenBrafman, Ronen
1
Show details for Brafman, Ronen I.Brafman, Ronen I.
5
Show details for Brahm, UweBrahm, Uwe
1
Show details for Brauer, Wilfried (ed.)Brauer, Wilfried (ed.)
3
Show details for Brewka, Gerd (ed.)Brewka, Gerd (ed.)
3
Show details for Brewka, Gerhard (ed.)Brewka, Gerhard (ed.)
2
Show details for Brim, Lubos (ed.)Brim, Lubos (ed.)
1
Show details for Brinker, ChristofBrinker, Christof
4
Show details for Brink, ChrisBrink, Chris
1
Show details for Brink, C. (ed.)Brink, C. (ed.)
2
Show details for Britz, KatarinaBritz, Katarina
1
Show details for Broda, Krysia (ed.)Broda, Krysia (ed.)
1
Show details for Broda, K. (ed.)Broda, K. (ed.)
1
Show details for Brown, G. M.Brown, G. M.
1
Show details for Broy, Manfred (ed.)Broy, Manfred (ed.)
2
Show details for Bruynooghe, Maurice (ed.)Bruynooghe, Maurice (ed.)
1
Show details for Brzoska, C.Brzoska, C.
1
Show details for Buchanan, George (ed.)Buchanan, George (ed.)
1
Show details for Buchheit, Martin (ed.)Buchheit, Martin (ed.)
1
Show details for Buchmann, JohannesBuchmann, Johannes
1
Show details for Buchmann, J. (ed.)Buchmann, J. (ed.)
1
Show details for Bugliesi, MicheleBugliesi, Michele
11
Show details for Bundy, AlanBundy, Alan
7
Show details for Bundy, Alan (ed.)Bundy, Alan (ed.)
1
Show details for Burchardt, AljoschaBurchardt, Aljoscha
3
Show details for Bürckert, Hans-Jürgen (ed.)Bürckert, Hans-Jürgen (ed.)
1
Show details for Burkard, Rainer E. (ed.)Burkard, Rainer E. (ed.)
1
Show details for Buttazzo, Giorgio C. (ed.)Buttazzo, Giorgio C. (ed.)
1
Show details for Cachro, Jacek (ed.)Cachro, Jacek (ed.)
2
Show details for Calmet, Jacques (ed.)Calmet, Jacques (ed.)
1
Show details for Calvanese, Diego (ed.)Calvanese, Diego (ed.)
1
Show details for Camilleri, A. (ed.)Camilleri, A. (ed.)
1
Show details for Campbell, John A. (ed.)Campbell, John A. (ed.)
1
Show details for Cantu, FranciscoCantu, Francisco
1
Show details for Carbonell, J. G. (ed.)Carbonell, J. G. (ed.)
2
Show details for Carlucci-Aiello, Luigia (ed.)Carlucci-Aiello, Luigia (ed.)
1
Show details for Cassandras, Christos (ed.)Cassandras, Christos (ed.)
2
Show details for Cavalcanti, Ana (ed.)Cavalcanti, Ana (ed.)
1
Show details for Cavalcanti, Marcos (ed.)Cavalcanti, Marcos (ed.)
1
Show details for Cavedon, Lawrence (ed.)Cavedon, Lawrence (ed.)
2
Show details for Cerone, Antonio (ed.)Cerone, Antonio (ed.)
2
Show details for Chadha, RituChadha, Ritu
23
Show details for Charatonik, WitoldCharatonik, Witold
3
Show details for Charatonik, Witold (ed.)Charatonik, Witold (ed.)
1
Show details for Chaudhuri, ShivaChaudhuri, Shiva
1
Show details for Christaller, Th. (ed.)Christaller, Th. (ed.)
1
Show details for Christen, MichaelChristen, Michael
1
Show details for Chu, HengChu, Heng
1
Show details for Cialdea Mayer, Marta (ed.)Cialdea Mayer, Marta (ed.)
1
Show details for Ciobanu, Gabriel (ed.)Ciobanu, Gabriel (ed.)
2
Show details for Clarke, M. (ed.)Clarke, M. (ed.)
3
Show details for Claus, Volker (ed.)Claus, Volker (ed.)
1
Show details for Cleaveland, Rance (ed.)Cleaveland, Rance (ed.)
1
Show details for Clement, T. (ed.)Clement, T. (ed.)
1
Show details for Codognet, P. (ed.)Codognet, P. (ed.)
2
Show details for Cohn, Anthony G. (ed.)Cohn, Anthony G. (ed.)
1
Show details for Cohn, Tony (ed.)Cohn, Tony (ed.)
2
Show details for Cohrs, ChristianCohrs, Christian
3
Show details for Colmerauer, A. (ed.)Colmerauer, A. (ed.)
3
Show details for Comon, Hubert (ed.)Comon, Hubert (ed.)
1
Show details for Constable, Robert L.Constable, Robert L.
6
Show details for Cook, ByronCook, Byron
3
Show details for Cook, Byron (ed.)Cook, Byron (ed.)
1
Show details for Cooper, Gregory S. (ed.)Cooper, Gregory S. (ed.)
1
Show details for Coquand, Thierry (ed.)Coquand, Thierry (ed.)
1
Show details for Cornuéjols, Gérard (ed.)Cornuéjols, Gérard (ed.)
2
Show details for Cortesi, Agostino (ed.)Cortesi, Agostino (ed.)
1
Show details for Cortier, V.Cortier, V.
2
Show details for Cunningham, Jim (ed.)Cunningham, Jim (ed.)
1
Show details for Cunningham, J.Cunningham, J.
1
Show details for Cuntz, NicolasCuntz, Nicolas
1
Show details for D'Agostino, Marcello (ed.)D'Agostino, Marcello (ed.)
1
Show details for Dahl, Verónica (ed.)Dahl, Verónica (ed.)
1
Show details for Dahn, Ingo (ed.)Dahn, Ingo (ed.)
3
Show details for Dal Zilio, SilvanoDal Zilio, Silvano
2
Show details for Damm, WernerDamm, Werner
1
Show details for Danvy, Olivier (ed.)Danvy, Olivier (ed.)
1
Show details for Dauchet, Max (ed.)Dauchet, Max (ed.)
1
Show details for Daum, MatthiasDaum, Matthias
1
Show details for De Giacomo, Giuseppe (ed.)De Giacomo, Giuseppe (ed.)
1
Show details for de Leon, David (ed.)de Leon, David (ed.)
1
Show details for de Moor, Aldo (ed.)de Moor, Aldo (ed.)
26
Show details for de Nivelle, Hansde Nivelle, Hans
5
Show details for de Nivelle, Hans (ed.)de Nivelle, Hans (ed.)
1
Show details for de Raedt, Lucde Raedt, Luc
3
Show details for de Rijke, Maartende Rijke, Maarten
1
Show details for de Rijke, Maarten (ed.)de Rijke, Maarten (ed.)
1
Show details for de Rijke, M. (ed.)de Rijke, M. (ed.)
2
Show details for de Swart, Harrie (ed.)de Swart, Harrie (ed.)
2
Show details for Degtyarev, AnatoliDegtyarev, Anatoli
1
Show details for Delahaye, DavidDelahaye, David
1
Show details for Delgrande, Jim (ed.)Delgrande, Jim (ed.)
10
Show details for Delzanno, GiorgioDelzanno, Giorgio
3
Show details for Demri, StéphaneDemri, Stéphane
1
Show details for Dershowitz, Nachum (ed.)Dershowitz, Nachum (ed.)
1
Show details for Dershowitz, N. (ed.)Dershowitz, N. (ed.)
1
Show details for Deussen, P.Deussen, P.
1
Show details for Devienne, PhilippeDevienne, Philippe
1
Show details for Dierks, HenningDierks, Henning
1
Show details for Dietz, Jan L.G. (ed.)Dietz, Jan L.G. (ed.)
1
Show details for Dillon, Tharam (ed.)Dillon, Tharam (ed.)
1
Show details for Dimitrova, RaynaDimitrova, Rayna
7
Show details for Dimopoulos, YannisDimopoulos, Yannis
1
Show details for Disch, StefanDisch, Stefan
2
Show details for Dix, Jürgen (ed.)Dix, Jürgen (ed.)
1
Show details for Dolzmann, Andreas (ed.)Dolzmann, Andreas (ed.)
2
Show details for Domshlak, CarmelDomshlak, Carmel
2
Show details for Doyle, Jon (ed.)Doyle, Jon (ed.)
1
Show details for Doyle, J. (ed.)Doyle, J. (ed.)
1
Show details for Dräge, KlausDräge, Klaus
2
Show details for Dreschler-Fischer, Leonie (ed.)Dreschler-Fischer, Leonie (ed.)
1
Show details for Dubois, CatherineDubois, Catherine
1
Show details for Dung, P. M. (ed.)Dung, P. M. (ed.)
1
Show details for Duval, Erik (ed.)Duval, Erik (ed.)
1
Show details for Echahed, RachidEchahed, Rachid
1
Show details for Egly, Uwe (ed.)Egly, Uwe (ed.)
11
Show details for Eisenbrand, FriedrichEisenbrand, Friedrich
3
Show details for Eisinger, NorbertEisinger, Norbert
1
Show details for Eklund, Patrick (ed.)Eklund, Patrick (ed.)
1
Show details for Emerson, E. Allen (ed.)Emerson, E. Allen (ed.)
3
Show details for Engel, ThorstenEngel, Thorsten
1
Show details for Escalada-Imaz, Gonzalo (ed.)Escalada-Imaz, Gonzalo (ed.)
2
Show details for Esparza, JavierEsparza, Javier
1
Show details for et al. (ed.)et al. (ed.)
1
Show details for et. al. (ed.)et. al. (ed.)
1
Show details for Faber, JohannesFaber, Johannes
1
Show details for Faller, Martina (ed.)Faller, Martina (ed.)
2
Show details for Fariñas del Cerro, Luís (ed.)Fariñas del Cerro, Luís (ed.)
1
Show details for Fathi, Madjid (ed.)Fathi, Madjid (ed.)
1
Show details for Fawcett, Tom (ed.)Fawcett, Tom (ed.)
4
Show details for Fehrer, DetlefFehrer, Detlef
1
Show details for Felleisen, Matthias (ed.)Felleisen, Matthias (ed.)
1
Show details for Feng, Ling (ed.)Feng, Ling (ed.)
1
Show details for Fermüller, Christian G.Fermüller, Christian G.
1
Show details for Fermüller, Christian (ed.)Fermüller, Christian (ed.)
2
Show details for Ferrante, Jeanne (ed.)Ferrante, Jeanne (ed.)
1
Show details for Ferreirim, Isabel (ed.)Ferreirim, Isabel (ed.)
1
Show details for Fiedler, Herbert (ed.)Fiedler, Herbert (ed.)
1
Show details for Filinski, Andrzej (ed.)Filinski, Andrzej (ed.)
1
Show details for Finkbeiner, BerndFinkbeiner, Bernd
1
Show details for Firozabadhi, Babak SadighiFirozabadhi, Babak Sadighi
2
Show details for Fischmann, MatthiasFischmann, Matthias
1
Show details for Fitting, Melvin (ed.)Fitting, Melvin (ed.)
1
Show details for Fitzgerald, John (ed.)Fitzgerald, John (ed.)
1
Show details for Flesca, Sergio (ed.)Flesca, Sergio (ed.)
1
Show details for Flum, Jörg (ed.)Flum, Jörg (ed.)
1
Show details for Foo, N. (ed.)Foo, N. (ed.)
1
Show details for Franconi, Enrico (ed.)Franconi, Enrico (ed.)
3
Show details for Frank, IanFrank, Ian
1
Show details for Frank, Jeremy (ed.)Frank, Jeremy (ed.)
7
Show details for Freiheit, JörnFreiheit, Jörn
1
Show details for Freuder, Eugene (ed.)Freuder, Eugene (ed.)
2
Show details for Fribourg, Laurent (ed.)Fribourg, Laurent (ed.)
3
Show details for Friedrich, StefanFriedrich, Stefan
1
Show details for Froideveaux, Christine (ed.)Froideveaux, Christine (ed.)
2
Show details for Frühwirth, Thom (ed.)Frühwirth, Thom (ed.)
3
Show details for Fuchs, AlexanderFuchs, Alexander
1
Show details for Fuhrmann, André (ed.)Fuhrmann, André (ed.)
5
Show details for Furbach, UlrichFurbach, Ulrich
8
Show details for Furbach, Ulrich (ed.)Furbach, Ulrich (ed.)
6
Show details for Gabbay, Dov M.Gabbay, Dov M.
5
Show details for Gabbay, Dov M. (ed.)Gabbay, Dov M. (ed.)
4
Show details for Gabbay, Dov (ed.)Gabbay, Dov (ed.)
2
Show details for Gaede, BerndGaede, Bernd
1
Show details for Gaglio, S. (ed.)Gaglio, S. (ed.)
1
Show details for Gaillourdet, Jean-MarieGaillourdet, Jean-Marie
1
Show details for Galmiche, DidierGalmiche, Didier
1
Show details for Galmiche, Didier (ed.)Galmiche, Didier (ed.)
1
Show details for Gamkrelidze, AlexanderGamkrelidze, Alexander
1
Show details for Ganzha, Victor G. (ed.)Ganzha, Victor G. (ed.)
58
Show details for Ganzinger, HaraldGanzinger, Harald
16
Show details for Ganzinger, Harald (ed.)Ganzinger, Harald (ed.)
1
Show details for Gao, X-S. (ed.)Gao, X-S. (ed.)
1
Show details for Gebhardt, J. (ed.)Gebhardt, J. (ed.)
1
Show details for Geffner, HectorGeffner, Hector
1
Show details for Geiger, Dan (ed.)Geiger, Dan (ed.)
5
Show details for Georgieva, LiliaGeorgieva, Lilia
1
Show details for Gerards, Bert (ed.)Gerards, Bert (ed.)
1
Show details for Gerber, ChristianGerber, Christian
2
Show details for Geske, Ulrich (ed.)Geske, Ulrich (ed.)
1
Show details for Ginzburg, Jonathan (ed.)Ginzburg, Jonathan (ed.)
1
Show details for Giua, Alessandro (ed.)Giua, Alessandro (ed.)
1
Show details for Giunchiglia, Enrico (ed.)Giunchiglia, Enrico (ed.)
1
Show details for Giunchiglia, FaustoGiunchiglia, Fausto
1
Show details for Giunchiglia, Fausto (ed.)Giunchiglia, Fausto (ed.)
1
Show details for Gmytrasiewicz, Piotr (ed.)Gmytrasiewicz, Piotr (ed.)
1
Show details for Göbel, ManfredGöbel, Manfred
1
Show details for Gomes, CarlaGomes, Carla
1
Show details for Goncharov, SergeyGoncharov, Sergey
1
Show details for Gopalakrishnan, Ganesh (ed.)Gopalakrishnan, Ganesh (ed.)
1
Show details for Goranko, ValentinGoranko, Valentin
4
Show details for Gordon, Andrew DonaldGordon, Andrew Donald
2
Show details for Gordon, Andrew D. (ed.)Gordon, Andrew D. (ed.)
5
Show details for Goré, Rajeev (ed.)Goré, Rajeev (ed.)
1
Show details for Gorny, Peter (ed.)Gorny, Peter (ed.)
1
Show details for Gotsman, AlexeyGotsman, Alexey
3
Show details for Gottlob, Georg (ed.)Gottlob, Georg (ed.)
1
Show details for Gottlob, G. (ed.)Gottlob, G. (ed.)
1
Show details for Grabowski, BarbaraGrabowski, Barbara
7
Show details for Graf, PeterGraf, Peter
1
Show details for Graf, Susann (ed.)Graf, Susann (ed.)
1
Show details for Graf, Susanne (ed.)Graf, Susanne (ed.)
1
Show details for Grandjean, Etienne (ed.)Grandjean, Etienne (ed.)
1
Show details for Grass, Werner (ed.)Grass, Werner (ed.)
1
Show details for Greco, Sergio (ed.)Greco, Sergio (ed.)
2
Show details for Green, IanGreen, Ian
1
Show details for Greiner, Russel (ed.)Greiner, Russel (ed.)
1
Show details for Grenner, IngoGrenner, Ingo
3
Show details for Gross-Hardt, MargretGross-Hardt, Margret
1
Show details for Grundy, J. (ed.)Grundy, J. (ed.)
1
Show details for Gruska, Jozef (ed.)Gruska, Jozef (ed.)
1
Show details for Guenthner, Franz (ed.)Guenthner, Franz (ed.)
1
Show details for Gupta, Gopal (ed.)Gupta, Gopal (ed.)
3
Show details for Gurevich, YuriGurevich, Yuri
2
Show details for Habel, Christopher (ed.)Habel, Christopher (ed.)
1
Show details for Haehnle, Reiner (ed.)Haehnle, Reiner (ed.)
1
Show details for Hagemann, WillemHagemann, Willem
1
Show details for Hagen, GeorgeHagen, George
1
Show details for Hähnle, ReinerHähnle, Reiner
1
Show details for Hájek, Petr (ed.)Hájek, Petr (ed.)
1
Show details for Halbwachs, Nicolas (ed.)Halbwachs, Nicolas (ed.)
1
Show details for Halpin, Terry (ed.)Halpin, Terry (ed.)
2
Show details for Hankin, Chris (ed.)Hankin, Chris (ed.)
1
Show details for Hanks, Steve (ed.)Hanks, Steve (ed.)
19
Show details for Hanus, MichaelHanus, Michael
3
Show details for Hanus, Michael (ed.)Hanus, Michael (ed.)
1
Show details for Hardouin, LaurentHardouin, Laurent
1
Show details for Harizanov, ValentinaHarizanov, Valentina
1
Show details for Harrison, J. (ed.)Harrison, J. (ed.)
1
Show details for Hartmann, MarkHartmann, Mark
1
Show details for Hasegawa, Ryuzo (ed.)Hasegawa, Ryuzo (ed.)
1
Show details for Hayes, Ian J. (ed.)Hayes, Ian J. (ed.)
2
Show details for Hendriks, DimitriHendriks, Dimitri
2
Show details for Henzinger, ThomasHenzinger, Thomas
3
Show details for Hermann, Miki (ed.)Hermann, Miki (ed.)
1
Show details for Hermenegildo, Manuel (ed.)Hermenegildo, Manuel (ed.)
1
Show details for Herrero, Pilar (ed.)Herrero, Pilar (ed.)
1
Show details for Herzig, A.Herzig, A.
1
Show details for Herzog, O. (ed.)Herzog, O. (ed.)
1
Show details for Hesketh, JaneHesketh, Jane
1
Show details for Hespanha, João P. (ed.)Hespanha, João P. (ed.)
13
Show details for Hillenbrand, ThomasHillenbrand, Thomas
1
Show details for Hinze, Annika (ed.)Hinze, Annika (ed.)
1
Show details for Hoenicke, JochenHoenicke, Jochen
1
Show details for Hoffmann, Berthold (ed.)Hoffmann, Berthold (ed.)
17
Show details for Hoffmann, JörgHoffmann, Jörg
1
Show details for Hofmann, Martin (ed.)Hofmann, Martin (ed.)
1
Show details for Hogger, C. J. (ed.)Hogger, C. J. (ed.)
1
Show details for Hogger, C. (ed.)Hogger, C. (ed.)
1
Show details for Hölldobler, Steffen (ed.)Hölldobler, Steffen (ed.)
1
Show details for Holte, Robert C. (ed.)Holte, Robert C. (ed.)
1
Show details for Honsell, Furio (ed.)Honsell, Furio (ed.)
8
Show details for Hopf, JörnHopf, Jörn
3
Show details for Hopf, Jörn (ed.)Hopf, Jörn (ed.)
1
Show details for Horn, Werner (ed.)Horn, Werner (ed.)
1
Show details for Horn, W. (ed.)Horn, W. (ed.)
1
Show details for Horrocks, Ian (ed.)Horrocks, Ian (ed.)
1
Show details for Hotz, Günter (ed.)Hotz, Günter (ed.)
1
Show details for Howe, D.Howe, D.
1
Show details for Hsiang, Jieh (ed.)Hsiang, Jieh (ed.)
2
Show details for Huet, Gérard (ed.)Huet, Gérard (ed.)
1
Show details for Huet, G. (ed.)Huet, G. (ed.)
1
Show details for Hulth, Nils (ed.)Hulth, Nils (ed.)
1
Show details for Humble, Jan (ed.)Humble, Jan (ed.)
1
Show details for Hungar, HardiHungar, Hardi
1
Show details for Hunter, Anthony (ed.)Hunter, Anthony (ed.)
1
Show details for Hussmann, Heinrich (ed.)Hussmann, Heinrich (ed.)
30
Show details for Hustadt, UllrichHustadt, Ullrich
1
Show details for Hutter, Dieter (ed.)Hutter, Dieter (ed.)
1
Show details for Ianni, Giovambattista (ed.)Ianni, Giovambattista (ed.)
1
Show details for Ida, Tetsuo (ed.)Ida, Tetsuo (ed.)
1
Show details for Ito, Takayasu (ed.)Ito, Takayasu (ed.)
1
Show details for Ito, T. (ed.)Ito, T. (ed.)
1
Show details for Iturrioz, LuisaIturrioz, Luisa
2
Show details for Iturrioz, Luisa (ed.)Iturrioz, Luisa (ed.)
4
Show details for Jacobs, SwenJacobs, Swen
4
Show details for Jacquemard, FlorentJacquemard, Florent
23
Show details for Jaeger, ManfredJaeger, Manfred
1
Show details for Jaffar, Joxan (ed.)Jaffar, Joxan (ed.)
1
Show details for Jamshidi, Mohammad (ed.)Jamshidi, Mohammad (ed.)
1
Show details for Jancar, Petr (ed.)Jancar, Petr (ed.)
1
Show details for Jantke, Klaus (ed.)Jantke, Klaus (ed.)
1
Show details for Jarrar, Mustafa (ed.)Jarrar, Mustafa (ed.)
1
Show details for Jaulin, LucJaulin, Luc
2
Show details for Jaume, MathieuJaume, Mathieu
1
Show details for Jensen, KurtJensen, Kurt
1
Show details for Jensen, Kurt (ed.)Jensen, Kurt (ed.)
1
Show details for Jeusfeld, Manfred A. (ed.)Jeusfeld, Manfred A. (ed.)
1
Show details for Johann, PatriciaJohann, Patricia
1
Show details for John Bell (ed.)John Bell (ed.)
1
Show details for Jones, Robert B. (ed.)Jones, Robert B. (ed.)
1
Show details for Josephs, BertholdJosephs, Berthold
3
Show details for Jouannaud, Jean-Pierre (ed.)Jouannaud, Jean-Pierre (ed.)
1
Show details for Juilland, Jacques (ed.)Juilland, Jacques (ed.)
1
Show details for Jung, GeorgJung, Georg
1
Show details for Kaelbling, Leslie (ed.)Kaelbling, Leslie (ed.)
1
Show details for Kakas, A. C. (ed.)Kakas, A. C. (ed.)
1
Show details for Kaoen, Joost-Pieter (ed.)Kaoen, Joost-Pieter (ed.)
1
Show details for Kaplan, St. (ed.)Kaplan, St. (ed.)
2
Show details for Kapur, Deepak (ed.)Kapur, Deepak (ed.)
2
Show details for Kapur, D. (ed.)Kapur, D. (ed.)
1
Show details for Karmann, A. (ed.)Karmann, A. (ed.)
4
Show details for Kasper, ThomasKasper, Thomas
1
Show details for Kaufmann, MattKaufmann, Matt
1
Show details for Kaufmann, Matt (ed.)Kaufmann, Matt (ed.)
1
Show details for Kaufmann, Stefan (ed.)Kaufmann, Stefan (ed.)
1
Show details for Kavitha, M. (ed.)Kavitha, M. (ed.)
6
Show details for Kazakov, YevgenyKazakov, Yevgeny
3
Show details for Keen, EnnoKeen, Enno
1
Show details for Kepser, Stephan (ed.)Kepser, Stephan (ed.)
1
Show details for Kerber, ManfredKerber, Manfred
1
Show details for Kerber, Manfred (ed.)Kerber, Manfred (ed.)
1
Show details for Kerner, I. O. (ed.)Kerner, I. O. (ed.)
1
Show details for Khasidashvili, Zurab (ed.)Khasidashvili, Zurab (ed.)
1
Show details for Kijania-Placek, Katarzyna (ed.)Kijania-Placek, Katarzyna (ed.)
1
Show details for Kindler, EkkartKindler, Ekkart
4
Show details for Kirchner, Claude (ed.)Kirchner, Claude (ed.)
7
Show details for Kirchner, Hélène (ed.)Kirchner, Hélène (ed.)
1
Show details for Kirchner, H. (ed.)Kirchner, H. (ed.)
2
Show details for Klarlund, NilsKlarlund, Nils
2
Show details for Klawonn, FrankKlawonn, Frank
2
Show details for Kleemann, ThomasKleemann, Thomas
1
Show details for Kleine Büning, HansKleine Büning, Hans
1
Show details for Klotzki, PiaKlotzki, Pia
1
Show details for Knight, Julia F.Knight, Julia F.
1
Show details for Kobsa, Alfred (ed.)Kobsa, Alfred (ed.)
1
Show details for Koehler, JanaKoehler, Jana
1
Show details for Koehler, Jana (ed.)Koehler, Jana (ed.)
2
Show details for Koenig, Sven (ed.)Koenig, Sven (ed.)
1
Show details for Kohlas, Jürg (ed.)Kohlas, Jürg (ed.)
1
Show details for Kohlhase, MichaelKohlhase, Michael
2
Show details for Kolaitis, Phokion (ed.)Kolaitis, Phokion (ed.)
1
Show details for Konev, Boris (ed.)Konev, Boris (ed.)
9
Show details for Korovin, KonstantinKorovin, Konstantin
1
Show details for Kovalerchuk, B. (ed.)Kovalerchuk, B. (ed.)
5
Show details for Kraan, InaKraan, Ina
1
Show details for Kracht, M. (ed.)Kracht, M. (ed.)
1
Show details for Kreowski, H.-J. (ed.)Kreowski, H.-J. (ed.)
1
Show details for Kretinsky, Mojomir (ed.)Kretinsky, Mojomir (ed.)
1
Show details for Krieg-Brückner, BerndKrieg-Brückner, Bernd
1
Show details for Krieg-Brückner, Bernd (ed.)Krieg-Brückner, Bernd (ed.)
1
Show details for Krieg-Brückner, B. (ed.)Krieg-Brückner, B. (ed.)
7
Show details for Krischer, StefanKrischer, Stefan
15
Show details for Krishna Rao, M. R. K.Krishna Rao, M. R. K.
2
Show details for Kruse, Rudolf (ed.)Kruse, Rudolf (ed.)
3
Show details for Kruse, R. (ed.)Kruse, R. (ed.)
1
Show details for Kucera, Antonin (ed.)Kucera, Antonin (ed.)
1
Show details for Kuncak, ViktorKuncak, Viktor
4
Show details for Kunze, Jürgen (ed.)Kunze, Jürgen (ed.)
1
Show details for Kunze, J. (ed.)Kunze, J. (ed.)
1
Show details for Kupferschmid, SebastianKupferschmid, Sebastian
1
Show details for Kwiatkowska, Marta (ed.)Kwiatkowska, Marta (ed.)
1
Show details for Lakemeyer, Gerhard (ed.)Lakemeyer, Gerhard (ed.)
1
Show details for Lam, PatrickLam, Patrick
2
Show details for Lang, JérômeLang, Jérôme
1
Show details for Lang, Jerome (ed.)Lang, Jerome (ed.)
1
Show details for Laskey, Kathryn B. (ed.)Laskey, Kathryn B. (ed.)
1
Show details for Lassez, J. L. (ed.)Lassez, J. L. (ed.)
2
Show details for Laux, Arnim (ed.)Laux, Arnim (ed.)
1
Show details for Lau, Kung-Kiu (ed.)Lau, Kung-Kiu (ed.)
1
Show details for Lau, K. K. (ed.)Lau, K. K. (ed.)
1
Show details for Le Charlier, Baudouin (ed.)Le Charlier, Baudouin (ed.)
1
Show details for Le Métayer, Daniel (ed.)Le Métayer, Daniel (ed.)
1
Show details for Leeser, M. E.Leeser, M. E.
3
Show details for Lee, Chin SoonLee, Chin Soon
1
Show details for Lee, Sau DanLee, Sau Dan
2
Show details for Lee, Shie-JueLee, Shie-Jue
1
Show details for Lehmann, Jos (ed.)Lehmann, Jos (ed.)
2
Show details for Leite, João (ed.)Leite, João (ed.)
1
Show details for Leitsch, AlexanderLeitsch, Alexander
6
Show details for Leitsch, Alexander (ed.)Leitsch, Alexander (ed.)
1
Show details for Leitsch, A. (ed.)Leitsch, A. (ed.)
1
Show details for Lenzerini, Maurizio (ed.)Lenzerini, Maurizio (ed.)
1
Show details for Lenzerini, M. (ed.)Lenzerini, M. (ed.)
1
Show details for Leone, Nicola (ed.)Leone, Nicola (ed.)
2
Show details for Letz, ReinholdLetz, Reinhold
1
Show details for Leven, PeterLeven, Peter
1
Show details for Levi, Georgio (ed.)Levi, Georgio (ed.)
3
Show details for Levi, Giorgio (ed.)Levi, Giorgio (ed.)
2
Show details for Levi, G. (ed.)Levi, G. (ed.)
1
Show details for Levy, Jean-Jacques (ed.)Levy, Jean-Jacques (ed.)
1
Show details for Levy, JordiLevy, Jordi
1
Show details for Lilith, NimrodLilith, Nimrod
1
Show details for Lindenstrauss, Naomi (ed.)Lindenstrauss, Naomi (ed.)
1
Show details for Lindenstrauss, N. (ed.)Lindenstrauss, N. (ed.)
1
Show details for Liquori, LuigiLiquori, Luigi
1
Show details for Liu, H. (ed.)Liu, H. (ed.)
1
Show details for Liu, ZhuojunLiu, Zhuojun
1
Show details for Li, YongliLi, Yongli
1
Show details for Li, Zhibin (ed.)Li, Zhibin (ed.)
2
Show details for Lloyd, John W. (ed.)Lloyd, John W. (ed.)
5
Show details for Löchner, BerndLöchner, Bernd
1
Show details for Lombardi, Henri (ed.)Lombardi, Henri (ed.)
1
Show details for Lombart, V.Lombart, V.
3
Show details for Longo, Giuseppe (ed.)Longo, Giuseppe (ed.)
3
Show details for Long, Derek (ed.)Long, Derek (ed.)
1
Show details for Lopez de Mantaraz, Ramon (ed.)Lopez de Mantaraz, Ramon (ed.)
1
Show details for Luuk, MarcLuuk, Marc
2
Show details for Lu, MiLu, Mi
2
Show details for Lynch, ChristopherLynch, Christopher
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Show details for Maier, PatrickMaier, Patrick
2
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)
2
Show details for Mascardi, VivianaMascardi, Viviana
22
Show details for Matthews, SeanMatthews, Sean
1
Show details for Maus, StefanMaus, Stefan
1
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
3
Show details for McAllester, DavidMcAllester, David
4
Show details for McAllester, David (ed.)McAllester, David (ed.)
3
Show details for McCluskey, Lee (ed.)McCluskey, Lee (ed.)
2
Show details for McCune, William (ed.)McCune, William (ed.)
2
Show details for McKinley, Kathryn S. (ed.)McKinley, Kathryn S. (ed.)
1
Show details for McNamara, Paul (ed.)McNamara, Paul (ed.)
1
Show details for McRobbie, Michael A. (ed.)McRobbie, Michael A. (ed.)
8
Show details for McRobbie, M. A. (ed.)McRobbie, M. A. (ed.)
1
Show details for Mediratta, AnupamMediratta, Anupam
1
Show details for Meersman, Robert (ed.)Meersman, Robert (ed.)
1
Show details for Melis, EricaMelis, Erica
1
Show details for Mellish, Chris S. (ed.)Mellish, Chris S. (ed.)
1
Show details for Mellish, C. (ed.)Mellish, C. (ed.)
1
Show details for Méndez, Gonzalo (ed.)Méndez, Gonzalo (ed.)
1
Show details for Mendling, Jan (ed.)Mendling, Jan (ed.)
2
Show details for Meng, JiaMeng, Jia
1
Show details for Meter, PeterMeter, Peter
1
Show details for Meyer auf der Heide, Friedhelm (ed.)Meyer auf der Heide, Friedhelm (ed.)
1
Show details for Meyers, Karen (ed.)Meyers, Karen (ed.)
1
Show details for Meyer, A. R. (ed.)Meyer, A. R. (ed.)
8
Show details for Meyer, ChristophMeyer, Christoph
1
Show details for Meyer, RolandMeyer, Roland
1
Show details for Miculan, Marino (ed.)Miculan, Marino (ed.)
1
Show details for Mishra, Nina (ed.)Mishra, Nina (ed.)
1
Show details for Mohr, ErikMohr, Erik
2
Show details for Möller, Bernhard (ed.)Möller, Bernhard (ed.)
1
Show details for Monien, Burkhard (ed.)Monien, Burkhard (ed.)
1
Show details for Montanari, Ugo (ed.)Montanari, Ugo (ed.)
1
Show details for Moral, Serafín (ed.)Moral, Serafín (ed.)
2
Show details for Moral, S. (ed.)Moral, S. (ed.)
1
Show details for Morari, Manfred (ed.)Morari, Manfred (ed.)
1
Show details for Moreno Navarro, Juan José (ed.)Moreno Navarro, Juan José (ed.)
1
Show details for Morozov, AndreyMorozov, Andrey
1
Show details for Mosler, K. (ed.)Mosler, K. (ed.)
1
Show details for Mosses, Peter D. (ed.)Mosses, Peter D. (ed.)
1
Show details for Mosses, Peter (ed.)Mosses, Peter (ed.)
1
Show details for Mück, A. (ed.)Mück, A. (ed.)
12
Show details for Mukhopadhyay, SupratikMukhopadhyay, Supratik
1
Show details for Mukhopadhyay, Supratik (ed.)Mukhopadhyay, Supratik (ed.)
5
Show details for Müller, MartinMüller, Martin
2
Show details for Münch, SusanneMünch, Susanne
1
Show details for Mundici, Daniele (ed.)Mundici, Daniele (ed.)
1
Show details for Mundici, D. (ed.)Mundici, D. (ed.)
1
Show details for Murray, Neil V. (ed.)Murray, Neil V. (ed.)
1
Show details for Muscettola, Nicola (ed.)Muscettola, Nicola (ed.)
1
Show details for Mycroft, Alan (ed.)Mycroft, Alan (ed.)
1
Show details for Nadif, Mohamed (ed.)Nadif, Mohamed (ed.)
1
Show details for Näher, Stefan (ed.)Näher, Stefan (ed.)
1
Show details for Namjoshi, Kedar S. (ed.)Namjoshi, Kedar S. (ed.)
1
Show details for Napoli, Amedeo (ed.)Napoli, Amedeo (ed.)
1
Show details for Nardi, D. (ed.)Nardi, D. (ed.)
2
Show details for Narendran, PaliathNarendran, Paliath
1
Show details for Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1
Show details for Naumann, StefanNaumann, Stefan
1
Show details for Nau, Dana (ed.)Nau, Dana (ed.)
2
Show details for Nebel, BernhardNebel, Bernhard
1
Show details for Nebel, Bernhard Nebel (ed.)Nebel, Bernhard Nebel (ed.)
5
Show details for Nebel, Bernhard (ed.)Nebel, Bernhard (ed.)
1
Show details for Nebel, B. (ed.)Nebel, B. (ed.)
1
Show details for Nejdl, W. (ed.)Nejdl, W. (ed.)
1
Show details for Neuman, B. (ed.)Neuman, B. (ed.)
1
Show details for Ng, Raymond (ed.)Ng, Raymond (ed.)
4
Show details for Niehren, JoachimNiehren, Joachim
1
Show details for Nielsen, Mogen (ed.)Nielsen, Mogen (ed.)
3
Show details for Nielsen, Mogens (ed.)Nielsen, Mogens (ed.)
1
Show details for Nielsen, Thomas D. (ed.)Nielsen, Thomas D. (ed.)
1
Show details for Nielson, FlemmingNielson, Flemming
1
Show details for Niemelä, Ilkka (ed.)Niemelä, Ilkka (ed.)
6
Show details for Nieuwenhuis, RobertNieuwenhuis, Robert
4
Show details for Nieuwenhuis, Robert (ed.)Nieuwenhuis, Robert (ed.)
9
Show details for Nipkow, Tobias (ed.)Nipkow, Tobias (ed.)
1
Show details for Nivat, MauriceNivat, Maurice
2
Show details for Nivat, Maurice (ed.)Nivat, Maurice (ed.)
2
Show details for Nivela, PilarNivela, Pilar
1
Show details for Niwinski, DamianNiwinski, Damian
15
Show details for Nonnengart, AndreasNonnengart, Andreas
2
Show details for Nonnengart, Andreas (ed.)Nonnengart, Andreas (ed.)
1
Show details for Nuettgens, Markus (ed.)Nuettgens, Markus (ed.)
1
Show details for Nüttgens, Markus (ed.)Nüttgens, Markus (ed.)
3
Show details for Nutt, Werner (ed.)Nutt, Werner (ed.)
1
Show details for O'Leary, John (ed.)O'Leary, John (ed.)
1
Show details for Oevel, WalterOevel, Walter
29
Show details for Ohlbach, Hans JürgenOhlbach, Hans Jürgen
5
Show details for Ohlbach, Hans Jürgen (ed.)Ohlbach, Hans Jürgen (ed.)
1
Show details for Ohori, Atsushi (ed.)Ohori, Atsushi (ed.)
1
Show details for Okada, M. (ed.)Okada, M. (ed.)
1
Show details for Olbrich, SebastianOlbrich, Sebastian
1
Show details for Oliveras, AlbertOliveras, Albert
1
Show details for Ong, Luke (ed.)Ong, Luke (ed.)
1
Show details for Orejas, FernandoOrejas, Fernando
1
Show details for Orejas, Fernando (ed.)Orejas, Fernando (ed.)
4
Show details for Orlowska, Ewa (ed.)Orlowska, Ewa (ed.)
1
Show details for Orłowska, EwaOrłowska, Ewa
1
Show details for Pacholski, LeszekPacholski, Leszek
1
Show details for Pacholski, Leszek (ed.)Pacholski, Leszek (ed.)
1
Show details for Palamidessi, Catuscia (ed.)Palamidessi, Catuscia (ed.)
2
Show details for Palm, Günther (ed.)Palm, Günther (ed.)
1
Show details for Palm, R. (ed.)Palm, R. (ed.)
2
Show details for Palsberg, Jens (ed.)Palsberg, Jens (ed.)
1
Show details for Panetto, Herve (ed.)Panetto, Herve (ed.)
1
Show details for Pang, JunPang, Jun
1
Show details for Papadimitriou, ChristosPapadimitriou, Christos
1
Show details for Parigot, Michel (ed.)Parigot, Michel (ed.)
2
Show details for Parsons, Simon (ed.)Parsons, Simon (ed.)
1
Show details for Patel-Schneider, Peter F. (ed.)Patel-Schneider, Peter F. (ed.)
2
Show details for Paulson, Lawrence C. (ed.)Paulson, Lawrence C. (ed.)
1
Show details for Pauly, Marc (ed.)Pauly, Marc (ed.)
1
Show details for Paul, W. J. (ed.)Paul, W. J. (ed.)
1
Show details for Paun, Gheorghe (ed.)Paun, Gheorghe (ed.)
2
Show details for Pearce, David (ed.)Pearce, David (ed.)
1
Show details for Peled, Doron A (ed.)Peled, Doron A (ed.)
1
Show details for Peled, Doron (ed.)Peled, Doron (ed.)
2
Show details for Penjam, Jaan (ed.)Penjam, Jaan (ed.)
3
Show details for Pereira, Luís Moniz (ed.)Pereira, Luís Moniz (ed.)
1
Show details for Pérez, María S. (ed.)Pérez, María S. (ed.)
1
Show details for Pfenning, Frank (ed.)Pfenning, Frank (ed.)
1
Show details for Pierrot, Francois (ed.)Pierrot, Francois (ed.)
1
Show details for Pigorsch, FlorianPigorsch, Florian
1
Show details for Pinto, GuilhermePinto, Guilherme
1
Show details for Pirri, Fiora (ed.)Pirri, Fiora (ed.)
2
Show details for Piskac, RuzicaPiskac, Ruzica
1
Show details for Pitt, Jeremy (ed.)Pitt, Jeremy (ed.)
1
Show details for Pitz, WernerPitz, Werner
7
Show details for Plaisted, David A.Plaisted, David A.
3
Show details for Plotkin, Gordon (ed.)Plotkin, Gordon (ed.)
1
Show details for Plotkin, G. (ed.)Plotkin, G. (ed.)
1
Show details for Pnueli, AmirPnueli, Amir
65
Show details for Podelski, AndreasPodelski, Andreas
5
Show details for Podelski, Andreas (ed.)Podelski, Andreas (ed.)
1
Show details for Pollack, Martha E. (ed.)Pollack, Martha E. (ed.)
1
Show details for Pons, OlivierPons, Olivier
1
Show details for Poole, David (ed.)Poole, David (ed.)
1
Show details for Porteous, JuliePorteous, Julie
2
Show details for Präcklein, AxelPräcklein, Axel
5
Show details for Prade, Henri (ed.)Prade, Henri (ed.)
1
Show details for Prakken, Henri (ed.)Prakken, Henri (ed.)
1
Show details for Pratt-Hartmann, IanPratt-Hartmann, Ian
3
Show details for Pratt, Vaughan (ed.)Pratt, Vaughan (ed.)
5
Show details for Prevosto, VirgilePrevosto, Virgile
1
Show details for Pribbenow, Simone (ed.)Pribbenow, Simone (ed.)
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
Hide details for Vorobyov, SergeiVorobyov, Sergei
2002Vorobyov, SergeiThe undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213
Journal Article
2002Vorobyov, Sergei$\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479
Journal Article
1999Vorobyov, SergeiAttachment IconSubtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297
Proceedings 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
1998Vorobyov, SergeiAttachment Icon$\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606
Proceedings Article
1997Vorobyov, SergeiThe first-order theory of one step rewriting in linear noetherian systems is undecidable
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 254-268
Proceedings Article
1997Vorobyov, SergeiThe `hardest´ natural decidable theory
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 294-305
Proceedings Article
1996Vorobyov, SergeiAn improved lower bound for the elementary theories of trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 275-287
Proceedings Article
1996Vorobyov, SergeiOn the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161
Proceedings Article
1995Vorobyov, SergeiFsub with recursive types: `Types-As-Propositions´ Interpretations in M. Rabin's S2S
In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95), 49-73
Proceedings Article
1995Vorobyov, SergeiStructural decidable extensions of bounded quantification
In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), 164-175
Proceedings Article
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