MPI-INF Logo
Publications

MPI-INF D1 Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Show details for Jez, LukaszJez, Lukasz
1
Show details for Jiang, TaoJiang, Tao
1
Show details for Jiang, Tao (ed.)Jiang, Tao (ed.)
1
Show details for Jiang, ZhigenJiang, Zhigen
21
Show details for Johannsen, DanielJohannsen, Daniel
1
Show details for Johnson, AaronJohnson, Aaron
2
Show details for Johnson, David S. (ed.)Johnson, David S. (ed.)
1
Show details for Johnson, David (ed.)Johnson, David (ed.)
2
Show details for Johnson, Ellis (ed.)Johnson, Ellis (ed.)
1
Show details for Joller, Josef (ed.)Joller, Josef (ed.)
1
Show details for Joswig, Michael (ed.)Joswig, Michael (ed.)
19
Show details for Jünger, MichaelJünger, Michael
4
Show details for Jung, BerndJung, Bernd
6
Show details for Jung, HermannJung, Hermann
3
Show details for Jung, Hermann (ed.)Jung, Hermann (ed.)
1
Show details for Jung, KarinJung, Karin
1
Show details for Jurdzi´nski, Tomasz (ed.)Jurdzi´nski, Tomasz (ed.)
6
Show details for Jurkiewicz, TomaszJurkiewicz, Tomasz
4
Show details for Juurlink, BenJuurlink, Ben
3
Show details for Kagaris, DimitriosKagaris, Dimitrios
1
Show details for Kakargias, AthanasiosKakargias, Athanasios
2
Show details for Kaklamanis, ChristosKaklamanis, Christos
3
Show details for Kaklamanis, Christos (ed.)Kaklamanis, Christos (ed.)
1
Show details for Kalai, Adam Tauman (ed.)Kalai, Adam Tauman (ed.)
6
Show details for Kaligosi, KanelaKaligosi, Kanela
1
Show details for Kaller, DamonKaller, Damon
1
Show details for Kall, Peter (ed.)Kall, Peter (ed.)
4
Show details for Kamel, IbrahimKamel, Ibrahim
1
Show details for Kammenhuber, NilsKammenhuber, Nils
1
Show details for Kamran Azam, MuhammadKamran Azam, Muhammad
1
Show details for Kando, Noriko (ed.)Kando, Noriko (ed.)
1
Show details for Kane, DanielKane, Daniel
1
Show details for Kang, MihyunKang, Mihyun
1
Show details for Kang, RossKang, Ross
1
Show details for Kaninke, G.Kaninke, G.
1
Show details for Kannan, RaviKannan, Ravi
3
Show details for Kao, Ming-YangKao, Ming-Yang
5
Show details for Kao, Ming-Yang (ed.)Kao, Ming-Yang (ed.)
3
Show details for Kaplan, Haim (ed.)Kaplan, Haim (ed.)
5
Show details for Kapoor, SanjivKapoor, Sanjiv
1
Show details for Kappel, HolgerKappel, Holger
1
Show details for Karamanis, NikiforosKaramanis, Nikiforos
4
Show details for Karavelas, MenelaosKaravelas, Menelaos
2
Show details for Karavelas, Menelaos I.Karavelas, Menelaos I.
3
Show details for Karhumäki, Juhani (ed.)Karhumäki, Juhani (ed.)
1
Show details for Kariv, Oded (ed.)Kariv, Oded (ed.)
10
Show details for Kärkkäinen, JuhaKärkkäinen, Juha
1
Show details for Kärkkäinen, Juha (ed.)Kärkkäinen, Juha (ed.)
1
Show details for Karlgren, Jussi (ed.)Karlgren, Jussi (ed.)
3
Show details for Karlin, AnnaKarlin, Anna
2
Show details for Karloff, HowardKarloff, Howard
8
Show details for Karlsson, Rolf (ed.)Karlsson, Rolf (ed.)
2
Show details for Karl, Wolfgang (ed.)Karl, Wolfgang (ed.)
3
Show details for Karpinski, MarekKarpinski, Marek
2
Show details for Karpinski, Marek (ed.)Karpinski, Marek (ed.)
1
Show details for Karp, RichardKarp, Richard
2
Show details for Karp, Richard M.Karp, Richard M.
17
Show details for Karrenbauer, AndreasKarrenbauer, Andreas
1
Show details for Kasan, BinamanKasan, Binaman
3
Show details for Kaski, Petteri (ed.)Kaski, Petteri (ed.)
1
Show details for Kasper, ThomasKasper, Thomas
2
Show details for Kasprzik, AnnaKasprzik, Anna
8
Show details for Katajainen, JyrkiKatajainen, Jyrki
1
Show details for Katajainen, Jyrki (ed.)Katajainen, Jyrki (ed.)
3
Show details for Katoh, NaokiKatoh, Naoki
2
Show details for Katoh, Naoki (ed.)Katoh, Naoki (ed.)
18
Show details for Katriel, IritKatriel, Irit
1
Show details for Kauers, Manuel (ed.)Kauers, Manuel (ed.)
26
Show details for Kaufmann, MichaelKaufmann, Michael
2
Show details for Kaufmann, Michael (ed.)Kaufmann, Michael (ed.)
1
Show details for Kaufmann, MorganKaufmann, Morgan
1
Show details for Kautz, JanKautz, Jan
19
Show details for Kavitha, TelikepalliKavitha, Telikepalli
3
Show details for Kavitha, Telikepalli (ed.)Kavitha, Telikepalli (ed.)
5
Show details for Kavitha, T.Kavitha, T.
1
Show details for Kavvadias, Dimitris J.Kavvadias, Dimitris J.
2
Show details for Kayal, NeerajKayal, Neeraj
1
Show details for Keane, John (ed.)Keane, John (ed.)
4
Show details for Kececioglu, JohnKececioglu, John
1
Show details for Kedem, KlaraKedem, Klara
1
Show details for Kehden, BrittaKehden, Britta
1
Show details for Keidar, Idit (ed.)Keidar, Idit (ed.)
6
Show details for Keijzer, Maarten (ed.)Keijzer, Maarten (ed.)
1
Show details for Keizer, Marten (ed.)Keizer, Marten (ed.)
1
Show details for Keller, Alexander (ed.)Keller, Alexander (ed.)
1
Show details for Keller, JörgKeller, Jörg
4
Show details for Kelsen, PierreKelsen, Pierre
1
Show details for Kennedy, John (ed.)Kennedy, John (ed.)
26
Show details for Kerber, MichaelKerber, Michael
1
Show details for Kerber, W.Kerber, W.
1
Show details for Kern, WalterKern, Walter
1
Show details for Kersten, Martin L. (ed.)Kersten, Martin L. (ed.)
1
Show details for Kersting, Kristian (ed.)Kersting, Kristian (ed.)
1
Show details for Kerzmann, AndreasKerzmann, Andreas
3
Show details for Kesselheim, ThomasKesselheim, Thomas
11
Show details for Kesselman, AlexanderKesselman, Alexander
1
Show details for Kessler, HaraldKessler, Harald
2
Show details for Keßler, Christoph W.Keßler, Christoph W.
1
Show details for Kettner, BjörnKettner, Björn
40
Show details for Kettner, LutzKettner, Lutz
4
Show details for Kettner, Lutz (ed.)Kettner, Lutz (ed.)
33
Show details for Khachiyan, LeonidKhachiyan, Leonid
1
Show details for Khandekar, RohitKhandekar, Rohit
1
Show details for Khanna, SanjeevKhanna, Sanjeev
1
Show details for Khanna, Sanjeev (ed.)Khanna, Sanjeev (ed.)
2
Show details for Khosla, MeghaKhosla, Megha
2
Show details for Khuller, SamirKhuller, Samir
1
Show details for Khuller, Samir (ed.)Khuller, Samir (ed.)
1
Show details for Kim, Eun JungKim, Eun Jung
1
Show details for Kim, Young-Kuk (ed.)Kim, Young-Kuk (ed.)
4
Show details for Kirchner, Claude (ed.)Kirchner, Claude (ed.)
1
Show details for Kirkpatrick, DavidKirkpatrick, David
1
Show details for Kirousis, LefterisKirousis, Lefteris
1
Show details for Kivinen, Jyrki (ed.)Kivinen, Jyrki (ed.)
1
Show details for Kiwi, Marcos A. (ed.)Kiwi, Marcos A. (ed.)
1
Show details for Klär, GerhardKlär, Gerhard
1
Show details for Klauk, MathiasKlauk, Mathias
13
Show details for Klau, Gunnar W.Klau, Gunnar W.
3
Show details for Kleiman, ElenaKleiman, Elena
1
Show details for Kleinberg, JonKleinberg, Jon
19
Show details for Klein, ChristianKlein, Christian
2
Show details for Klein, KarstenKlein, Karsten
5
Show details for Klein, RolfKlein, Rolf
1
Show details for Klein, Rolf (ed.)Klein, Rolf (ed.)
2
Show details for Klein, R.Klein, R.
1
Show details for Klimm, MaxKlimm, Max
1
Show details for Kloks, TonKloks, Ton
2
Show details for Knauer, ChristianKnauer, Christian
1
Show details for Knight, PeterKnight, Peter
1
Show details for Knowles, Joshua D. (ed.)Knowles, Joshua D. (ed.)
1
Show details for Kobayashi, Naoki (ed.)Kobayashi, Naoki (ed.)
1
Show details for Kobbelt, Leif (ed.)Kobbelt, Leif (ed.)
7
Show details for Kobel, AlexanderKobel, Alexander
1
Show details for Koch, GunterKoch, Gunter
1
Show details for Koch, ThorstenKoch, Thorsten
1
Show details for Kociumaka, TomaszKociumaka, Tomasz
1
Show details for Kodric, BojanaKodric, Bojana
1
Show details for Kogan, KirillKogan, Kirill
2
Show details for Koga, HisashiKoga, Hisashi
7
Show details for Kohlbacher, OliverKohlbacher, Oliver
1
Show details for Köhler, EkkehardKöhler, Ekkehard
1
Show details for Kolaitis, Photokion (ed.)Kolaitis, Photokion (ed.)
1
Show details for Koldehofe, BorisKoldehofe, Boris
4
Show details for Koller, AlexanderKoller, Alexander
1
Show details for Kollias, KonstantinosKollias, Konstantinos
2
Show details for Kolman, Petr (ed.)Kolman, Petr (ed.)
7
Show details for Kolodziej, Joanna (ed.)Kolodziej, Joanna (ed.)
4
Show details for Könemann, JochenKönemann, Jochen
1
Show details for Kong, T. Yung (ed.)Kong, T. Yung (ed.)
1
Show details for Konidaris, G.Konidaris, G.
1
Show details for König, FelixKönig, Felix
1
Show details for Konjevod, GoranKonjevod, Goran
3
Show details for Kontogiannis, SpyrosKontogiannis, Spyros
1
Show details for Konwar, KishoriKonwar, Kishori
1
Show details for Koppula, VenkataKoppula, Venkata
1
Show details for Koracin, Darko (ed.)Koracin, Darko (ed.)
1
Show details for Korst, JanKorst, Jan
2
Show details for Korteweg, PeterKorteweg, Peter
1
Show details for Korte, Bernhard (ed.)Korte, Bernhard (ed.)
1
Show details for Kortsarz, GuyKortsarz, Guy
2
Show details for Kosaraju, S. Rao (ed.)Kosaraju, S. Rao (ed.)
1
Show details for Kosch, Harald (ed.)Kosch, Harald (ed.)
29
Show details for Kötzing, TimoKötzing, Timo
2
Show details for Koubek, Vaclav (ed.)Koubek, Vaclav (ed.)
8
Show details for Koutsoupias, EliasKoutsoupias, Elias
1
Show details for Koutsoupias, Elias (ed.)Koutsoupias, Elias (ed.)
1
Show details for Koutsoupia, Elias (ed.)Koutsoupia, Elias (ed.)
11
Show details for Kovacs, AnnamariaKovacs, Annamaria
1
Show details for Kovacs, Tim (ed.)Kovacs, Tim (ed.)
7
Show details for Kowalik, LukaszKowalik, Lukasz
1
Show details for Kowalski, Darek (ed.)Kowalski, Darek (ed.)
22
Show details for Kowalski, DariuszKowalski, Dariusz
1
Show details for Kowalski, Dariusz R.Kowalski, Dariusz R.
1
Show details for Kowaluk, MiroslawKowaluk, Miroslaw
1
Show details for Kraetzl, M.Kraetzl, M.
1
Show details for Kranakis, EvangelosKranakis, Evangelos
3
Show details for Kranakis, Evangelos (ed.)Kranakis, Evangelos (ed.)
3
Show details for Krandick, WernerKrandick, Werner
7
Show details for Krasnogor, Natalio (ed.)Krasnogor, Natalio (ed.)
1
Show details for Kratchovil, Jan (ed.)Kratchovil, Jan (ed.)
7
Show details for Kratochvíl, Jan (ed.)Kratochvíl, Jan (ed.)
4
Show details for Kratsch, DieterKratsch, Dieter
14
Show details for Kratsch, StefanKratsch, Stefan
1
Show details for Krattenthaler, Christian (ed.)Krattenthaler, Christian (ed.)
1
Show details for Krebs, Hans-Joachim (ed.)Krebs, Hans-Joachim (ed.)
2
Show details for Kreczmar, Antoni (ed.)Kreczmar, Antoni (ed.)
1
Show details for Kreveld, Marc vanKreveld, Marc van
1
Show details for Krick, ChristofKrick, Christof
2
Show details for Krishnan, P.Krishnan, P.
2
Show details for Krithivasan, KamalaKrithivasan, Kamala
2
Show details for Kritzer, PeterKritzer, Peter
1
Show details for Krivelevich, MichaelKrivelevich, Michael
1
Show details for Krizanc, DannyKrizanc, Danny
3
Show details for Krob, Daniel (ed.)Krob, Daniel (ed.)
1
Show details for Kroeger, TrentKroeger, Trent
1
Show details for Kroeske, JenseKroeske, Jense
3
Show details for Krohmer, AntonKrohmer, Anton
3
Show details for Krohn, ErikKrohn, Erik
1
Show details for Kröller, AlexanderKröller, Alexander
1
Show details for Krüger, MichaelKrüger, Michael
1
Show details for Krumke, SvenKrumke, Sven
1
Show details for Krumke, Sven OliverKrumke, Sven Oliver
15
Show details for Krysta, PiotrKrysta, Piotr
1
Show details for Ksinsik, PatricKsinsik, Patric
1
Show details for Kucera, AntonKucera, Anton
2
Show details for Kucera, Antonín (ed.)Kucera, Antonín (ed.)
1
Show details for Kucera, LudekKucera, Ludek
2
Show details for Kucera, Ludek (ed.)Kucera, Ludek (ed.)
1
Show details for Kucherov, GregoryKucherov, Gregory
4
Show details for Kühn, DanielaKühn, Daniela
2
Show details for Kuhn, FabianKuhn, Fabian
1
Show details for Kulau, UlfKulau, Ulf
1
Show details for Kulikov, Alexande (ed.)Kulikov, Alexande (ed.)
2
Show details for Kulikov, Alexander S. (ed.)Kulikov, Alexander S. (ed.)
1
Show details for Kulikov, Alexander (ed.)Kulikov, Alexander (ed.)
1
Show details for Kullmann, Oliver (ed.)Kullmann, Oliver (ed.)
4
Show details for Kumar, AmitKumar, Amit
1
Show details for Kumar, Amit (ed.)Kumar, Amit (ed.)
1
Show details for Kumar, PiyushKumar, Piyush
2
Show details for Kumar, Sanjeev (ed.)Kumar, Sanjeev (ed.)
1
Show details for Kumar, Vipin (ed.)Kumar, Vipin (ed.)
5
Show details for Kumar, V. S. AnilKumar, V. S. Anil
7
Show details for Künnemann, MarvinKünnemann, Marvin
1
Show details for Kuno, Yoshinori (ed.)Kuno, Yoshinori (ed.)
1
Show details for Kupilas, JoschkaKupilas, Joschka
1
Show details for Kurland, Oren (ed.)Kurland, Oren (ed.)
1
Show details for Kurowski, MaciejKurowski, Maciej
3
Show details for Kursawe, KlausKursawe, Klaus
1
Show details for Kurur, Piyush P.Kurur, Piyush P.
1
Show details for Kutten, Shay (ed.)Kutten, Shay (ed.)
1
Show details for Kutylowski, MiroslawKutylowski, Miroslaw
16
Show details for Kutz, MartinKutz, Martin
2
Show details for Kuznetsov, Sergei O. (ed.)Kuznetsov, Sergei O. (ed.)
2
Show details for Kuznetsov, Sergei (ed.)Kuznetsov, Sergei (ed.)
2
Show details for Kwappik, CarstenKwappik, Carsten
1
Show details for Kwek, St.Kwek, St.
1
Show details for Kwiatkowska, Marta Z. (ed.)Kwiatkowska, Marta Z. (ed.)
4
Show details for Kwiatkowska, Marta (ed.)Kwiatkowska, Marta (ed.)
1
Show details for Kwon, Woo-CheolKwon, Woo-Cheol
1
Show details for L'Ecuyer, P. (ed.)L'Ecuyer, P. (ed.)
1
Show details for Laber, Eduardo Sany (ed.)Laber, Eduardo Sany (ed.)
1
Show details for Laganà, Antonio (ed.)Laganà, Antonio (ed.)
1
Show details for Lambert, GeorgLambert, Georg
2
Show details for Lambert, OliverLambert, Oliver
7
Show details for Lam, Tak-WahLam, Tak-Wah
2
Show details for Lam, Tak WahLam, Tak Wah
1
Show details for Lam, Tak Wah (ed.)Lam, Tak Wah (ed.)
2
Show details for Landau, Gad M.Landau, Gad M.
1
Show details for Landau, Gadi (ed.)Landau, Gadi (ed.)
5
Show details for Langdon, William (ed.)Langdon, William (ed.)
4
Show details for Lange, KatharinaLange, Katharina
1
Show details for Langkau, KatharinaLangkau, Katharina
1
Show details for Lang, Hans-HermannLang, Hans-Hermann
1
Show details for Lang, JochenLang, Jochen
1
Show details for Lanzim, Pier Luca (ed.)Lanzim, Pier Luca (ed.)
6
Show details for Lanzi, Pier Luca (ed.)Lanzi, Pier Luca (ed.)
3
Show details for Larmore, Lawrence L.Larmore, Lawrence L.
1
Show details for Larsen, Kasper GreenLarsen, Kasper Green
2
Show details for Larsen, Kim G. (ed.)Larsen, Kim G. (ed.)
1
Show details for Larsson, AndreasLarsson, Andreas
1
Show details for Lars, Arge (ed.)Lars, Arge (ed.)
1
Show details for Lauer, ThorstenLauer, Thorsten
1
Show details for Laue, SoerenLaue, Soeren
4
Show details for Laue, SörenLaue, Sören
2
Show details for Laura, LuigiLaura, Luigi
1
Show details for Laurent, Pierre-Jean (ed.)Laurent, Pierre-Jean (ed.)
1
Show details for Leeuwen, Jan van (ed.)Leeuwen, Jan van (ed.)
2
Show details for Lee, Der-Tsai (ed.)Lee, Der-Tsai (ed.)
4
Show details for Lee, D. T. (ed.)Lee, D. T. (ed.)
1
Show details for Lee, E. K.Lee, E. K.
5
Show details for Lee, Jae-HaLee, Jae-Ha
1
Show details for Lee, Kunwoo (ed.)Lee, Kunwoo (ed.)
7
Show details for Lee, Lap-KeiLee, Lap-Kei
1
Show details for Lee, R.C.T. (ed.)Lee, R.C.T. (ed.)
1
Show details for Legrand, Pierrick (ed.)Legrand, Pierrick (ed.)
1
Show details for Lehnert, JörgLehnert, Jörg
1
Show details for Lehre, Per ChristianLehre, Per Christian
3
Show details for Lehre, Per KristianLehre, Per Kristian
2
Show details for Lehr, Claus-MichaelLehr, Claus-Michael
1
Show details for Leinenbach, StefanLeinenbach, Stefan
4
Show details for Leipert, SebastianLeipert, Sebastian
1
Show details for Leiserson, Charles (ed.)Leiserson, Charles (ed.)
1
Show details for Leizhen Cai, Siu-Wing Cheng, Tak Wah Lam (ed.)Leizhen Cai, Siu-Wing Cheng, Tak Wah Lam (ed.)
1
Show details for Lenaerts, Tom (ed.)Lenaerts, Tom (ed.)
2
Show details for Lengauer, Christian (ed.)Lengauer, Christian (ed.)
8
Show details for Lengauer, ThomasLengauer, Thomas
2
Show details for Lengauer, Thomas (ed.)Lengauer, Thomas (ed.)
4
Show details for Lengler, JohannesLengler, Johannes
33
Show details for Lenhof, Hans-PeterLenhof, Hans-Peter
3
Show details for Lennerz, ChristianLennerz, Christian
1
Show details for Lennerz, Christian (ed.)Lennerz, Christian (ed.)
1
Show details for Lensch, Hendrik P. A.Lensch, Hendrik P. A.
3
Show details for Lenstra, Jan Karel (ed.)Lenstra, Jan Karel (ed.)
1
Show details for Lenzerini, Maurizio (ed.)Lenzerini, Maurizio (ed.)
11
Show details for Leonardi, StefanoLeonardi, Stefano
7
Show details for Leonardi, Stefano (ed.)Leonardi, Stefano (ed.)
1
Show details for Leo, Gianmaria (ed.)Leo, Gianmaria (ed.)
3
Show details for Lepistö, Arto (ed.)Lepistö, Arto (ed.)
1
Show details for Lepistö, Timo (ed.)Lepistö, Timo (ed.)
2
Show details for Lermen, MartinLermen, Martin
1
Show details for Lessel, Uta (ed.)Lessel, Uta (ed.)
1
Show details for Leung, Henry C. M.Leung, Henry C. M.
2
Show details for Levavi, ArielLevavi, Ariel
9
Show details for Levin, AsafLevin, Asaf
1
Show details for Levy, AvivitLevy, Avivit
1
Show details for Levy, Avivit (ed.)Levy, Avivit (ed.)
1
Show details for Lévy,Jean-Jacques (ed.)Lévy,Jean-Jacques (ed.)
2
Show details for Lewenstein, MosheLewenstein, Moshe
1
Show details for Lewenstein, Moshe (ed.)Lewenstein, Moshe (ed.)
2
Show details for Leykin, Anton (ed.)Leykin, Anton (ed.)
1
Show details for Liberti, Leo (ed.)Liberti, Leo (ed.)
1
Show details for Liberty, EdoLiberty, Edo
1
Show details for Liberty, NoaLiberty, Noa
1
Show details for Liebchen, Ch.Liebchen, Ch.
1
Show details for Liers, FraukeLiers, Frauke
2
Show details for Ligett, KatrinaLigett, Katrina
5
Show details for Limbach, SebastianLimbach, Sebastian
1
Show details for Lim, Chee Peng (ed.)Lim, Chee Peng (ed.)
1
Show details for Lindstrom, Peter (ed.)Lindstrom, Peter (ed.)
3
Show details for Lingas, AndrzejLingas, Andrzej
8
Show details for Lingas, Andrzej (ed.)Lingas, Andrzej (ed.)
2
Show details for Lin, Guohui (ed.)Lin, Guohui (ed.)
3
Show details for Lin, Ming C. (ed.)Lin, Ming C. (ed.)
1
Show details for Lin, X. (ed.)Lin, X. (ed.)
1
Show details for Lipitakis, Elias A. (ed.)Lipitakis, Elias A. (ed.)
1
Show details for Li, Angsheng (ed.)Li, Angsheng (ed.)
2
Show details for Li, HaohanLi, Haohan
1
Show details for Li, JianLi, Jian
1
Show details for Li, Ming (ed.)Li, Ming (ed.)
1
Show details for Li, Xiang-Yang (ed.)Li, Xiang-Yang (ed.)
1
Show details for Lobo, Ferdinando (ed.)Lobo, Ferdinando (ed.)
1
Show details for Lodaya, Kamal (ed.)Lodaya, Kamal (ed.)
1
Show details for Lodha, SachinLodha, Sachin
1
Show details for Lodha, S.Lodha, S.
1
Show details for Lodi, Elena (ed.)Lodi, Elena (ed.)
2
Show details for Loeckx, JacquesLoeckx, Jacques
1
Show details for Loeckx, Jacques (ed.)Loeckx, Jacques (ed.)
1
Show details for Lohman, Guy M. (ed.)Lohman, Guy M. (ed.)
1
Show details for Lohrey, MarkusLohrey, Markus
5
Show details for Lokshtanov, DanielLokshtanov, Daniel
1
Show details for Lomet, David B. (ed.)Lomet, David B. (ed.)
1
Show details for Loock, AchimLoock, Achim
1
Show details for Loos, Rüdiger G. K. (ed.)Loos, Rüdiger G. K. (ed.)
4
Show details for Lopez-Ortiz, AlejandroLopez-Ortiz, Alejandro
2
Show details for López-Ortiz, Alejandro (ed.)López-Ortiz, Alejandro (ed.)
1
Show details for Lorenz, UlfLorenz, Ulf
1
Show details for Lorys, KrzysztofLorys, Krzysztof
8
Show details for Lotker, ZviLotker, Zvi
1
Show details for Lovász, László (ed.)Lovász, László (ed.)
2
Show details for Lowe, Benedikt (ed.)Lowe, Benedikt (ed.)
2
Show details for Luby, Michae (ed.)Luby, Michae (ed.)
1
Show details for Luby, Michael (ed.)Luby, Michael (ed.)
4
Show details for Lucas, Simon M. (ed.)Lucas, Simon M. (ed.)
1
Show details for Lucchesi, Cláudio L. (ed.)Lucchesi, Cláudio L. (ed.)
2
Show details for Ludwig, Thomas (ed.)Ludwig, Thomas (ed.)
1
Show details for Lüling, R. (ed.)Lüling, R. (ed.)
1
Show details for Lumelsky, VladimirLumelsky, Vladimir
1
Show details for Lumsdaine, Andrew (ed.)Lumsdaine, Andrew (ed.)
1
Show details for Lüthi, Hans-Jakob (ed.)Lüthi, Hans-Jakob (ed.)
1
Show details for Lutter, StefanLutter, Stefan
1
Show details for Lüttke-Hüttmann, DirkLüttke-Hüttmann, Dirk
1
Show details for Lutton, Evelyne (ed.)Lutton, Evelyne (ed.)
1
Show details for Lutz-Westphal, Brigitte (ed.)Lutz-Westphal, Brigitte (ed.)
1
Show details for Lu, PinyanLu, Pinyan
1
Show details for Lynch, Nancy A. (ed.)Lynch, Nancy A. (ed.)
1
Show details for Maarek, Yoelle (ed.)Maarek, Yoelle (ed.)
1
Show details for MacKenzie, Philip D.MacKenzie, Philip D.
1
Show details for Madden, Samuel (ed.)Madden, Samuel (ed.)
1
Show details for Maffioli, F. (ed.)Maffioli, F. (ed.)
1
Show details for Maggs, Bruce M.Maggs, Bruce M.
2
Show details for Mahajan, MeenaMahajan, Meena
1
Show details for Mahajan, Meena (ed.)Mahajan, Meena (ed.)
8
Show details for Mahajan, SanjeevMahajan, Sanjeev
2
Show details for Maheshwari, AnilMaheshwari, Anil
1
Show details for Mainberger, MarkusMainberger, Markus
7
Show details for Majumdar, DebapriyoMajumdar, Debapriyo
4
Show details for Makedon, Fillia (ed.)Makedon, Fillia (ed.)
26
Show details for Makino, KazuhisaMakino, Kazuhisa
10
Show details for Malamatos, TheocharisMalamatos, Theocharis
1
Show details for Malde, Alpeshkumar K.Malde, Alpeshkumar K.
1
Show details for Malekian, AzarakhshMalekian, Azarakhsh
1
Show details for Maletti, AndreasMaletti, Andreas
1
Show details for Malinger, ItayMalinger, Itay
3
Show details for Mandoiu, IonMandoiu, Ion
3
Show details for Manea, FlorinManea, Florin
1
Show details for Maniezzo, Vittorio (ed.)Maniezzo, Vittorio (ed.)
7
Show details for Manjunath, MadhusudanManjunath, Madhusudan
1
Show details for Manlove, DavidManlove, David
1
Show details for Manlove, David F.Manlove, David F.
2
Show details for Mannila, HeikkiMannila, Heikki
3
Show details for Manocha, Dinesh (ed.)Manocha, Dinesh (ed.)
1
Show details for Manolache, GabrielManolache, Gabriel
2
Show details for Mansour, YishayMansour, Yishay
1
Show details for Manss, ChristianManss, Christian
2
Show details for Manthey, BodoManthey, Bodo
1
Show details for Mantler, AndreaMantler, Andrea
2
Show details for Mäntylä, MarttiMäntylä, Martti
2
Show details for Marathe, Madhav V.Marathe, Madhav V.
19
Show details for Marchetti-Spaccamela, AlbertoMarchetti-Spaccamela, Alberto
6
Show details for Marchetti-Spaccamela, Alberto (ed.)Marchetti-Spaccamela, Alberto (ed.)
1
Show details for Marchionini, Gary (ed.)Marchionini, Gary (ed.)
1
Show details for Margewitsch, ErwinMargewitsch, Erwin
3
Show details for Margraf, Marian (ed.)Margraf, Marian (ed.)
1
Show details for Mário J. Silva (ed.)Mário J. Silva (ed.)
5
Show details for Marion, Jean-Yves (ed.)Marion, Jean-Yves (ed.)
2
Show details for Markou, EuripidesMarkou, Euripides
2
Show details for Marks, JoeMarks, Joe
1
Show details for Marks, Joe (ed.)Marks, Joe (ed.)
1
Show details for Mark, Alan E.Mark, Alan E.
1
Show details for Marshall, AlanMarshall, Alan
1
Show details for Martello, S. (ed.)Martello, S. (ed.)
1
Show details for Martens, MarenMartens, Maren
1
Show details for Martin-Vide, Carlos (ed.)Martin-Vide, Carlos (ed.)
1
Show details for Martins, Simone L. (ed.)Martins, Simone L. (ed.)
4
Show details for Marx, DanielMarx, Daniel
3
Show details for Mastrolli, Monaldo (ed.)Mastrolli, Monaldo (ed.)
4
Show details for Mathieu, Claire (ed.)Mathieu, Claire (ed.)
3
Show details for Matias, Yossi (ed.)Matias, Yossi (ed.)
16
Show details for Matijevic, DomagojMatijevic, Domagoj
1
Show details for Matijevi`c, DomagojMatijevi`c, Domagoj
3
Show details for Matthieu, Claire (ed.)Matthieu, Claire (ed.)
2
Show details for Maue, JensMaue, Jens
1
Show details for Maurer, OlafMaurer, Olaf
1
Show details for Maurer, TanjaMaurer, Tanja
2
Show details for Mavronicolas, MariosMavronicolas, Marios
2
Show details for Mavronicolas, Marios (ed.)Mavronicolas, Marios (ed.)
7
Show details for Mayr, Ernst W. (ed.)Mayr, Ernst W. (ed.)
2
Show details for Mayr, Ernst (ed.)Mayr, Ernst (ed.)
1
Show details for Mayr, Heinrich C. (ed.)Mayr, Heinrich C. (ed.)
1
Show details for Ma, WeidongMa, Weidong
1
Show details for McAllister, Michael (ed.)McAllister, Michael (ed.)
1
Show details for McConnella, Ross M.McConnella, Ross M.
3
Show details for McConnell, RossMcConnell, Ross
1
Show details for McCormick, Thomas S. (ed.)McCormick, Thomas S. (ed.)
1
Show details for McDiarmid, ColinMcDiarmid, Colin
1
Show details for McGeoch, CatherineMcGeoch, Catherine
3
Show details for McGeoch, Catherine C. (ed.)McGeoch, Catherine C. (ed.)
1
Show details for McGeoch, Catherine (ed.)McGeoch, Catherine (ed.)
2
Show details for McGuire, Morgan (ed.)McGuire, Morgan (ed.)
1
Show details for McIntire, John P. (ed.)McIntire, John P. (ed.)
2
Show details for Megiddo, Nimrod (ed.)Megiddo, Nimrod (ed.)
21
Show details for Megow, NicoleMegow, Nicole
419
Hide details for Mehlhorn, KurtMehlhorn, Kurt
2013[Alkassar, Eyad]
[Böhme, Sascha]
Mehlhorn, Kurt
Rizkallah, Christine
A Framework for the Verification of Certifying ComputationsUnpublished/Draft
2013Mehlhorn, Kurt
Neumann, A.
Schmidt, Jens M.
Certifying 3-Edge-Connectivity
In: 39th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'13), 358-369
Proceedings Article
2013Elmasry, Amr
Mehlhorn, Kurt
Schmidt, Jens M.
Every DFS tree of a 3-connected graph contains a contractible edge
In: Journal of Graph Theory [72], 112-121
Journal Article
2013Mehlhorn, Kurt
Sagraloff, Michael
Wang, Pengming
From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
In: arXiv [abs/1301.4870],
Electronic Journal Article
2013Elbassioni, Khaled M.
Makino, Kazuhisa
Mehlhorn, Kurt
Ramezani, Fahimeh
On Randomized Fictitious Play for Approximating Saddle Points over Convex Sets
In: 19th Annual International Computing and Combinatorics Conference (COCOON-13), 65-76
Proceedings Article
2013Jurkiewicz, Tomasz
Mehlhorn, Kurt
The cost of address translation
In: Proceedings of the Meeting on Algorithm Engineering & Experiments,
Proceedings Article
2013[Afshani, Peyman]
[Agrawal, Manindra]
Doerr, Benjamin
Doerr, Carola
[Larsen, Kasper Green]
Mehlhorn, Kurt
The Query Complexity of Finding a Hidden Permutation
In: Space-Efficient Data Structures, Streams, and Algorithms, 1-11
Part of a Book
2012Duan, Ran
Mehlhorn, Kurt
A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market
In: arXiv [abs/1212.0979v1], 1-8
Electronic Journal Article
2012[Elmasry, Amr]
Mehlhorn, Kurt
Schmidt, Jens M.
An O(n+m) Certifying Triconnnectivity Algorithm for Hamiltonian Graphs
In: Algorithmica [62], 754-766
Journal Article
2012Mehlhorn, Kurt
Neumann, Adrian
Schmidt, Jens M.
Attachment IconCertifying 3-Edge-ConnectivityUnpublished/Draft
2012[Kane, Daniel]
Mehlhorn, Kurt
Sauerwald, Thomas
Sun, He
Counting Arbitrary Subgraphs in Data Streams
In: Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, 598-609
Proceedings Article
2012Megow, Nicole
Mehlhorn, Kurt
[Schweitzer, Pascal]
Online Graph Exploration: New Results on Old and New Algorithms
In: Theoretical Computer Science [463], 62-72
Journal Article
2012Bonifaci, Vincenzo
Mehlhorn, Kurt
[Varma, Girish]
Physarum Can Compute Shortest Paths
In: Journal of Theoretical Biology [309], 121-133
Journal Article
2012Bonifaci, Vincenzo
Mehlhorn, Kurt
[Varma, Girish]
Physarum Can Compute Shortest Paths
In: Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-12), 233-240
Proceedings Article
2012Bringmann, Karl
Mehlhorn, Kurt
Neumann, Adrian
Attachment IconRemarks on Category-Based Routing in Social NetworksUnpublished/Draft
2012[Afshani, Peyman]
[Agrawal, Manindra]
Doerr, Benjamin
[Green Larsen, Kasper]
Mehlhorn, Kurt
Winzen, Carola
The Query Complexity of Finding a Hidden Permutation
In: Electronic Colloquium on Computational Complexity (ECCC): Report Series [87 (Revision 1)], 1-36
Electronic Journal Article
2011Mehlhorn, Kurt
Sagraloff, Michael
A deterministic algorithm for isolating real roots of a real polynomial
In: Journal of Symbolic Computation [46], 70-90
Journal Article
2011Mehlhorn, Kurt
Osbild, Ralf
Sagraloff, Michael
A General Approach to the Analysis of Controlled Perturbation Algorithms
In: Computational Geometry [44], 507-528
Journal Article
2011[Baswana, Surender]
[Kavitha, Telikepalli]
Mehlhorn, Kurt
[Pettie, Seth]
Additive Spanners and (α, β)-Spanners
In: ACM Transactions on Algorithms [7], 5:1-5:26
Journal Article
2011Manjunath, Madhusudan
Mehlhorn, Kurt
Panagiotou, Konstantinos
Sun, He
Approximate Counting of Cycles in Streams
In: 19th Annual European Symposium on Algorithms (ESA-11), 677-688
Proceedings Article
2011Mehlhorn, Kurt
Näher, Stefan
Schweitzer, Pascal
Certifying algorithms
In: Computer Science Review [5], 119-161
Journal Article
2011[Christodoulou, George]
Mehlhorn, Kurt
[Pyrga, Evangelia]
Improving the Price of Anarchy for Selfish Routing via Coordination Mechanisms
In: Algorithms - ESA 2011 : 19th Annual European Symposium, 119-130
Proceedings Article
2011[Kavitha, Telikepalli]
Mehlhorn, Kurt
Michail, Dimitrios
New Approximation Algorithms for Minimum Cycle Bases of Graphs
In: Algorithmica [59], 471-488
Journal Article
2011Megow, Nicole
Mehlhorn, Kurt
Schweitzer, Pascal
Online Graph Exploration: New Results on Old and New Algorithms
In: Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, 478-489
Proceedings Article
2011[Alkassar, Eyad]
[Böhme, Sascha]
Mehlhorn, Kurt
Rizkallah, Christine
Verification of Certifying Computations
In: Computer Aided Verification : 23rd International Conference, CAV 2011, 67-82
Proceedings Article
2011[Shervashidze, Nino]
Schweitzer, Pascal
[van Leeuwen, Erik Jan]
Mehlhorn, Kurt
[Borgwardt, Karsten M.]
Weisfeiler-Lehman graph kernels
In: Journal of Machine Learning Research [12], 2539-2561
Journal Article
2010Elmasry, Amr
Mehlhorn, Kurt
[Schmidt, Jens M.]
An $O(m+n)$ Certifying Triconnectivity Algorithm for Hamiltonian Graphs
In: Algorithmica [Online First], 1-13
Electronic Journal Article
2010Berberich, Eric
[Fogel, Efi]
[Halperin, Dan]
Mehlhorn, Kurt
[Wein, Ron]
Arrangements on Parametric Surfaces I: General Framework and Infrastructure
In: Mathematics in Computer Science [4], 45-66
Journal Article
2010[Garg, Naveen]
[Kavitha, T.]
[Kumar, Amit]
Mehlhorn, Kurt
Mestre, Julián
Assigning Papers to Referees
In: Algorithmica [58], 119-136
Journal Article
2010McConnella, Ross M.
Mehlhorn, Kurt
[Näher, Stefan]
[Schweitzer, Pascal]
Certifying algorithms
In: Computer Science Review [Article in Press], 1-43
Electronic Journal Article
2010Mehlhorn, Kurt
Ray, Saurabh
Faster algorithms for computing Hong's bound on absolute positiveness
In: Journal of Symbolic Computation [45], 677-683
Journal Article
2010Mehlhorn, Kurt
Schweitzer, Pascal
Progress on Certifying Algorithms
In: Frontiers in Algorithmics : 4th International Workshop, FAW 2010, 1-5
Proceedings Article
2010Mehlhorn, KurtReliable and Efficient Geometric Computing
In: Mathematical Software, ICMS 2010 : Third International Congress
on Mathematical Software, 10-11
Proceedings Article
2009[Burnikel, Christoph]
[Funke, Stefan]
Mehlhorn, Kurt
[Schirra, Stefan]
Schmitt, Susanne
A Separation Bound for Real Algebraic Expressions
In: Algorithmica [55], 14-28
Journal Article
2009[Amaldi, Edoardo]
[Iuliano, Claudio]
Jurkiewicz, Tomasz
Mehlhorn, Kurt
[Rizzi, Romeo]
Breaking the $O(m^2n)$ Barrier for Minimum Cycle Bases
In: Algorithms - ESA 2009 : 17th Annual European Symposium, 301-312
Proceedings Article
2009[Amaldi, Edoardo]
[Iuliano, Claudio]
Jurkiewicz, Tomasz
Mehlhorn, Kurt
[Rizzi, Romeo]
Breaking the $O(m^2n)$ Barrier for Minimum Cycle Bases
In: Algorithms - ESA 2009, 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings, 301-312
Proceedings Article
2009[Shervashidze, Nino]
Vishwanathan, S .V. N.
[Petri, Tobias H.]
Mehlhorn, Kurt
[Borgwardt, Karsten M.]
Attachment IconEfficient Graphlet Kernels for Large Graph Comparison
In: Proceedings of the Twelfth International Conference on Artificial Intelligence and Statistics (AISTATS), 488-495
Electronic Proceedings Article
2009Mehlhorn, Kurt
Sagraloff, Michael
Isolating real roots of real polynomials
In: Proceedings of the 2009 international symposium on Symbolic and algebraic computation (ISSAC), 247-254
Proceedings Article
2008Mehlhorn, Kurt
Sagraloff, Michael
A deterministic Bitstream Descartes AlgorithmReport
2008Mehlhorn, Kurt
Osbild, Ralf
Sagraloff, Michael
A General Approach to the Analysis of Controlled Perturbation AlgorithmsReport
2008Mehlhorn, Kurt
[Sanders, Peter]
Algorithms and Data Structures: The Basic ToolboxBook
2008[Garg, Naveen]
[Kavitha, T.]
[Kumar, Amit]
Mehlhorn, Kurt
Mestre, Julián
Attachment IconAssigning Papers to RefereesUnpublished/Draft
2008Kettner, Lutz
Mehlhorn, Kurt
[Pion, Sylvain]
[Schirra, Stefan]
[Yap, Chee]
Attachment IconClassroom Examples of Robustness Problems in Geometric Computations
In: Computational Geometry: Theory and Applications [40], 61-78
Journal Article
2008Mehlhorn, Kurt
[Kavitha, T.]
[Hariharan, R.]
Attachment IconFaster Deterministic and Randomized Algorithms for Minimum Cycle Basis in Directed Graphs
In: SIAM Journal of Computing [38], 1430-1447
Journal Article
2007Kavitha, Telikepalli
Mehlhorn, Kurt
Attachment IconAlgorithms to compute minimum cycle basis in directed graphs
In: Theory of Computing Systems [40], 485-505
Journal Article
2007Hachenberger, Peter
Kettner, Lutz
Mehlhorn, Kurt
Attachment IconBoolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, Optimized Implementation and Experiments
In: Computational Geometry: Theory and Applications [38], 64-99
Journal Article
2007[Gotsman, Craig]
Kaligosi, Kanela
Mehlhorn, Kurt
Michail, Dimitrios
Pyrga, Evangelia
Attachment IconCycle Bases of Graphs and Sampled Manifolds
In: Computer Aided Geometric Design [24], 464
Journal Article
2007Mehlhorn, Kurt
Michail, Dimitrios
Attachment IconImplementing Minimum Cycle Basis Algorithms
In: Journal of Experimental Algorithmics [11], 1-14
Electronic Journal Article
2007Mehlhorn, KurtAttachment IconMatchings in Graphs Variations of the Problem
In: Combinatorial Optimization and Applications : First International Conference, COCOA 2007, 1-2
Proceedings Article
2007Mehlhorn, KurtAttachment IconMinimum Cycle Bases in Graphs Algorithms and Applications
In: Mathematical Foundations of Computer Science 2007 : 32nd International Symposium, MFCS 2007, 13-14
Proceedings Article
2007[Kavitha, Telikepalli]
Mehlhorn, Kurt
Michail, Dimitrios
Attachment IconNew Approximation Algorithms for Minimum Cycle Bases of Graphs
In: STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, 512-523
Proceedings Article
2007[Abraham, David J.]
[Irving, Robert W.]
[Kavitha, Telikepalli]
Mehlhorn, Kurt
Attachment IconPopular Matchings
In: SIAM Journal on Computing [37], 1030-1045
Journal Article
2007[Kavitha, Telikepalli]
Mehlhorn, Kurt
Michail, Dimitrios
[Paluch, Katarzyna E.]
Attachment IconStrongly stable matchings in time O(nm) and extension to the hospitals-residents problem
In: ACM Transactions on Algorithms [3], 15.1-15.18
Journal Article
2007Berberich, Eric
[Fogel, Efi]
[Halperin, Dan]
Mehlhorn, Kurt
[Wein, Ron]
Sweeping and Maintaining Two-Dimensional Arrangements on QuadricsReport
2007Berberich, Eric
[Fogel, Efi]
[Halperin, Dan]
Mehlhorn, Kurt
[Wein, Ron]
Attachment IconSweeping and Maintaining Two-Dimensional Arrangements on Surfaces: A First Step
In: Algorithms - ESA 2007, 15th Annual European Symposium, 645-656
Proceedings Article
2006[Hariharan, Ramesh]
[Telikepalli, Kavitha]
Mehlhorn, Kurt
Attachment IconA Faster Deterministic Algorithm for Minimum Cycle Bases in Directed Graphs
In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Part I, 250-261
Proceedings Article
2006[Kratsch, Dieter]
[McConnell, Ross]
Mehlhorn, Kurt
[Spinrad, Jeremy P.]
Attachment IconCertifying Algorithms for Recognizing Interval Graphs and Permutation Graphs
In: Siam Journal on Computing, 326-353
In: SIAM Journal on Computing [36], 326-353
Journal Article
2006Funke, Stefan
Klein, Christian
Mehlhorn, Kurt
Schmitt, Susanne
Attachment IconControlled Perturbation for Delaunay TriangulationsReport
2006Mehlhorn, Kurt
Michail, Dimitrios
Attachment IconImplementing Minimum Cycle Basis Algorithms
In: ACM Journal of Experimental Algorithmics [11], 1-14
Electronic Journal Article
2006Bast, Holger
Mehlhorn, Kurt
Schäfer, Guido
[Tamaki, Hisao]
Attachment IconMatching Algorithms are Fast in Sparse Random Graphs
In: Theory of Computing Systems [39], 3-14
Journal Article
2006[Krandick, Werner]
Mehlhorn, Kurt
Attachment IconNew bounds for the Descartes method
In: Journal of Symbolic Computation [41], 49-66
Journal Article
2006[Aronov, Boris]
[Asano, Tetsuo]
[Katoh, Naoki]
Mehlhorn, Kurt
[Tokuyama, Takeshi]
Polyline Fitting of Planar Points under Min-sum Criteria
In: International Journal of Computational Geometry and Applications [16], 97-116
Journal Article
2006[Irving, Robert W.]
[Telikepalli, Kavitha]
Mehlhorn, Kurt
Michail, Dimitrios
[Paluch, Katarzyna]
Attachment IconRank-Maximal Matchings
In: ACM Transactions on Algorithms [2], 602-610
Journal Article
2006Mehlhorn, Kurt
Osbild, Ralf
Sagraloff, Michael
Attachment IconReliable and Efficient Computational Geometry Via Controlled Perturbation
In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Part I, 299-310
Proceedings Article
2006Mehlhorn, KurtReliable and Efficient Geometric Computing
In: Algorithms and Complexity : 6th Italian Conference, CIAC 2006, 1-2
Proceedings Article
2006Kettner, Lutz
Mehlhorn, Kurt
[Pion, Sylvain]
[Schirra, Stefan]
[Yap, Chee]
Reply to "Backward Error Analysis ..."
In: Computational Science and Its Applications - ICCSA 2006, I, 60-60
Proceedings Article
2005Eigenwillig, Arno
Kettner, Lutz
[Krandick, Werner]
Mehlhorn, Kurt
Schmitt, Susanne
Wolpert, Nicola
Attachment IconA Descartes algorithm for polynomials with bit-stream coefficients
In: Computer Algebra in Scientific Computing : 8th International Workshop, CASC 2005, 138-149
Proceedings Article
2005Kavitha, Telikepalli
Mehlhorn, Kurt
Attachment IconA Polynomial Time Algorithm for Minimum Cycle Basis in Directed Graphs
In: STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, 654-665
Proceedings Article
2005Mehlhorn, Kurt
Eigenwillig, Arno
Kaligosi, Kanela
Kratsch, Dieter
McConnell, Ross
Meyer, Ulrich
Spinrad, Jeremy P.
Certifying Algorithms (draft)Unpublished/Draft
2005Funke, Stefan
Klein, Christian
Mehlhorn, Kurt
Schmitt, Susanne
Attachment IconControlled Perturbation for Delaunay Triangulations
In: Proceedings of the sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-05), 1047-1056
Proceedings Article
2005Berberich, Eric
Eigenwillig, Arno
[Hemmer, Michael]
[Hert, Susan]
Kettner, Lutz
Mehlhorn, Kurt
Reichel, Joachim
Schmitt, Susanne
[Schömer, Elmar]
Wolpert, Nicola
Attachment IconEXACUS: Efficient and exact algorithms for curves and surfaces
In: 13th Annual European Symposium on Algorithms (ESA 2005), 155-166
Proceedings Article
2005Mehlhorn, Kurt
Waldmann, Uwe
[Wilhelm, Reinhard]
Harald Ganzinger : 31.10.1950 - 3.6.2004
In: MPG-Jahrbuch, 107-108
In: Jahrbuch / Max-Planck-Gesellschaft [?], 107-108
Part of a Book
2005Mehlhorn, Kurt
Michail, Dimitrios
Attachment IconImplementing Minimum Cycle Basis Algorithms
In: Experimental and Efficient Algorithms, 4th InternationalWorkshop, WEA 2005, 32-43
Proceedings Article
2005Mehlhorn, KurtMinimum Cycle Bases and Surface Reconstruction
In: Graph Drawing: 13th International Symposium, GD 2005, ,, 532-532
Proceedings Article
2005Mehlhorn, Kurt
Michail, Dimitrios
Attachment IconNetwork Problems with Non-Polynomial Weights and ApplicationsUnpublished/Draft
2005Baswana, Surender
Telikepalli, Kavitha
Mehlhorn, Kurt
Pettie, Seth
Attachment IconNew Constructions of (alpha, beta)-Spanners and Purely Additive Spanners
In: Proceedings of the sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-05), 672-681
Proceedings Article
2005[Abraham, David J.]
[Cechlárová, Katarína]
[Manlove, David]
Mehlhorn, Kurt
Pareto Optimality in House Allocation Problems
In: Algorithms and computation : 16th International Symposium, ISAAC 2005, 1163-1175
Proceedings Article
2005Abraham, David
[Irving, Robert W.]
Mehlhorn, Kurt
Telikepalli, Kavitha
Attachment IconPopular Matchings
In: Proceedings of the sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-05), 424-432
Proceedings Article
2005Funke, Stefan
Mehlhorn, Kurt
Näher, Stefan
Attachment IconStructural filtering: a paradigm for efficient and exact geometric programs
In: Computational Geometry [31], 179-194
Journal Article
2005Kaligosi, Kanela
Mehlhorn, Kurt
[Munro, J. Ian]
[Sanders, Peter]
Attachment IconTowards Optimal Multiple Selection
In: Automata, languages and programming : 32nd International Colloquim, ICALP 2005, 103-114
Proceedings Article
2004Kavitha, Telikepalli
Mehlhorn, Kurt
Michail, Dimitrios
[Paluch, Katarzyna]
Attachment IconA Faster Algorithm for Minimum Cycle Basis of Graphs
In: Automata, languages and programming : 31st International Colloquium, ICALP 2004, 846-857
Proceedings Article
2004Berberich, Eric
Eigenwillig, Arno
[Emiris, Ioannis]
[Fogel, Efraim]
[Hemmer, Michael]
[Halperin, Dan]
[Kakargias, Athanasios]
Kettner, Lutz
Mehlhorn, Kurt
[Pion, Sylvain]
[Schömer, Elmar]
[Teillaud, Monique]
[Wein, Ron]
Wolpert, Nicola
Attachment IconAn Empirical Comparison of Software for Constructing Arrangements of Curved ArcsReport
2004Konidaris, G.
Mehlhorn, Kurt
Shell, D.A.
Attachment IconAn optimal algorithm for finding edge segment adjacencies in configurations of convex polygonsUnpublished/Draft
2004Kettner, Lutz
Mehlhorn, Kurt
Pion, Sylvain
[Schirra, Stefan]
[Yap, Chee]
Classroom Examples of Robustness Problems in Geometric ComputationsReport
2004Kettner, Lutz
Mehlhorn, Kurt
[Pion, Sylvain]
[Schirra, Stefan]
[Yap, Chee]
Attachment IconClassroom Examples of Robustness Problems in Geometric Computations
In: ESA 2004: 12th Annual European Symposium on Algorithms, 702-713
Proceedings Article
2004Berberich, Eric
Eigenwillig, Arno
[Hemmer, Michael]
[Hert, Susan]
Kettner, Lutz
Mehlhorn, Kurt
Reichel, Joachim
Schmitt, Susanne
[Schömer, Elmar]
Weber, Dennis
Wolpert, Nicola
EXACUS: Efficient and Exact Algorithms for Curves and SurfacesReport
2004Bast, Holger
Mehlhorn, Kurt
Schäfer, Guido
[Tamaki, Hisao]
Attachment IconMatching Algorithms Are Fast in Sparse Random Graphs
In: 21st Annual Symposium on Theoretical Aspects of Computer Science (STACS-04), 81-92
Proceedings Article
2004[Krandick, Werner]
Mehlhorn, Kurt
New Bounds for the Descartes MethodReport
2004Abraham, David
[Cechlárová, Katarina]
[Manlove, David F.]
Mehlhorn, Kurt
Attachment IconPareto-optimality in house allocation problems
In: Algorithms and Computation: 15th International Symposium, ISAAC 2004, 3-15
Proceedings Article
2004Althaus, Ernst
Eisenbrand, Friedrich
Funke, Stefan
Mehlhorn, Kurt
Attachment IconPoint Containment in the Integer Hull of a Polyhedron
In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-04), 929-933
Proceedings Article
2004[Aranov, Boris]
[Asano, Tetsuo]
[Katoh, Naoki]
Mehlhorn, Kurt
[Tokuyama, Takeshi]
Attachment IconPolyline Fitting of Planar Points Under Min-sum Criteria
In: Algorithms and Computation: 15th International Symposium, ISAAC 2004, 77-88
Proceedings Article
2004Mehlhorn, Kurt
Michail, Dimitrios
Telikepalli, Kavitha
[Irving, Robert W.]
[Paluch, Katarzyna]
Attachment IconRank-Maximal Matchings
In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-04), 68-75
Proceedings Article
2004Kavitha, Telikepalli
Mehlhorn, Kurt
Michail, Dimitrios
[Paluch, Katarzyna]
Attachment IconStrongly Stable Matchings in Time O(nm) and Extension to the Hospitals-Residents Problem
In: 21st Annual Symposium on Theoretical Aspects of Computer Science (STACS-04), 222-233
Proceedings Article
2004Funke, Stefan
Mehlhorn, Kurt
Schmitt, Susanne
[Burnikel, Christoph]
[Fleischer, Rudolf]
[Schirra, Stefan]
The LEDA class real number -- extended versionReport
2003Bast, Holger
Mehlhorn, Kurt
Schäfer, Guido
Tamaki, Hisao
Attachment IconA Heuristic for Dijkstra's Algorithm With Many Targets and its Use in Weighted Matching Algorithms
In: Algorithmica [36], 75-88
Journal Article
2003Althaus, Ernst
[Duchier, Denys]
[Koller, Alexander]
Mehlhorn, Kurt
[Niehren, Joachim]
Thiel, Sven
Attachment IconAn Efficient Algorithm for the Configuration Problem of Dominance Graphs
In: Journal of Algorithms [48], 194-219
Journal Article
2003Granados, Miguel
Hachenberger, Peter
Hert, Susan
Kettner, Lutz
Mehlhorn, Kurt
Seel, Michael
Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, and ImplementationReport
2003Granados, Miguel
Hachenberger, Peter
Hert, Susan
Kettner, Lutz
Mehlhorn, Kurt
Seel, Michael
Attachment IconBoolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms, and Implementation
In: Algorithms - ESA 2003: 11th Annual European Symposium, 654-666
Proceedings Article
2003Kratsch, Dieter
McConnell, Ross
Mehlhorn, Kurt
Spinrad, Jeremy P.
Attachment IconCertifying Algorithms for Recognizing Interval Graphs and Permutation Graphs
In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), 158-167
Proceedings Article
2003Dhiflaoui, Marcel
Funke, Stefan
Kwappik, Carsten
Mehlhorn, Kurt
Seel, Michael
Schömer, Elmar
Schulte, Ralph
Weber, Dennis
Attachment IconCertifying and Repairing Solutions to Large LPs - How Good are LP-Solvers?
In: Proceedings of the 14th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-03), 255-256
Proceedings Article
2003Mehlhorn, Kurt
[Seel, Michael]
Attachment IconInfimaximal frames: A technique for making lines look like segments
In: International Journal of Computational Geometry & Applications [13], 241-255
Journal Article
2003[Kwek, St.]
Mehlhorn, Kurt
Attachment IconOptimal Search for Rationals
In: Information Processing Letters [86], 23-26
Journal Article
2003Mehlhorn, Kurt
Sanders, Peter
Attachment IconScanning Multiple Sequences via Cache Memory
In: Algorithmica [35], 75-93
Journal Article
2003Banderier, Cyril
Beier, Rene
Mehlhorn, Kurt
Attachment IconSmoothed Analysis of Three Combinatorial Problems
In: Mathematical foundations of computer science 2003 : 28th International Symposium, MFCS 2003, 198-207
Proceedings Article
2003Mehlhorn, KurtAttachment IconThe Reliable Algorithmic Software Challenge RASC
In: Experimental and efficient algorithms : Second International Workshop, WEA 2003, 222-222
Proceedings Article
2003Mehlhorn, KurtAttachment IconThe reliable algorithmic software challenge RASC : dedicated to Thomas Ottmann on the occassion of his 60th birthday
In: Computer Science in Perspective : essays dedicated to Thomas Ottmann, 255-263
Part of a Book
2002Berberich, Eric
Eigenwillig, Arno
Hemmer, Michael
Hert, Susan
Mehlhorn, Kurt
Schömer, Elmar
Attachment IconA Computational Basis for Conic Arcs and Boolean Operations on Conic Polygons
In: Algorithms - ESA 2002 : 10th Annual European Symposium, 174-186
Proceedings Article
2002Mehlhorn, Kurt
Priebe, Volker
Schäfer, Guido
Sivadasan, Naveen
Attachment IconAll-Pairs Shortest-Paths Computation in the Presence of Negative Cycles
In: Information Processing Letters [81], 341-343
Journal Article
2002Mehlhorn, KurtExact geometric computation
In: HERCMA 2001 : proceedings of the 5th Hellenic-European Conference on Computer Mathematics and its Applications (HERCMA-01), 87-87
Proceedings Article
2002Mehlhorn, Kurt
Meyer, Ulrich
Attachment IconExternal-Memory Breadth-First Search with Sublinear I/O
In: Algorithms - ESA 2002 : 10th Annual European Symposium, 723-735
Proceedings Article
2002Mehlhorn, Kurt
Schäfer, Guido
Attachment IconImplementation of $O(nm \log n)$ Weighted Matchings in General Graphs: The Power of Data Structures
In: Proceedings of the n?th Conference on,
In: Journal of Experimental Algorithmics [7],
Electronic Journal Article
2002Funke, Stefan
Mehlhorn, Kurt
LOOK - A Lazy Object-Oriented Kernel for Geometric Computation
In: Computational Geometry - Theory and Applications [22], 99-118
Journal Article
2002Althaus, Ernst
[Bockmayr, Alexander]
[Elf, Matthias]
[Kasper, Thomas]
[Jünger, Michael]
Mehlhorn, Kurt
Attachment IconSCIL - Symbolic Constraints in Integer Linear Programming.
In: Algorithms - ESA 2002 : 10th Annual European Symposium, 75-87
Proceedings Article
2001Mehlhorn, Kurt
Schäfer, Guido
A Heuristic for Dijkstra's Algorithm With Many Targets and its Use in Weighted Matching Algorithms
In: Proceedings of the 9th Annual European Symposium on Algorithms (ESA-01), 242-253
Proceedings Article
2001Mehlhorn, KurtAttachment IconA Remark on the Sign Variation Method for Real Root IsolationUnpublished/Draft
2001[Burnikel, Christoph]
Funke, Stefan
Mehlhorn, Kurt
[Schirra, Stefan]
Schmitt, Susanne
Attachment IconA Separation Bound for Real Algebraic Expressions
In: Proceedings of the 9th Annual European Symposium on Algorithms (ESA-01), 254-265
Proceedings Article
2001Althaus, Ernst
[Duchier, Denys]
[Koller, Alexander]
Mehlhorn, Kurt
[Niehren, Joachim]
Thiel, Sven
An Efficient Algorithm for the Configuration Problem of Dominance Graphs
In: Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-01), 815-824
Proceedings Article
2001Mehlhorn, Kurt
Ziegelmann, Mark
Attachment IconCNOP - A Package for Constrained Network Optimization
In: Algorithm engineering and experimentation (ALENEX-01) :Third International Workshop ALENEX 2001 ; revised papers, 17-31
Proceedings Article
2001Mehlhorn, Kurt
Schirra, Stefan
Attachment IconExact computation with leda_real - Theory and geometric applications
In: Symbolic Algebraic Methods and Verification Methods, 163-172
Part of a Book
2001Mehlhorn, KurtAttachment IconFrom Algorithm to Program to Software Library
In: Informatics : 10 years back, 10 years ahead, 268-273
Part of a Book
2001Mehlhorn, Kurt
[Meiser, Stefan]
[Rasch, Ronald]
Attachment IconFurthest site abstract Voronoi diagrams
In: International Journal of Computational Geometry & Applications [11], 583-616
Journal Article
2001Crauser, Andreas
[Ferragina, Paolo]
Mehlhorn, Kurt
Meyer, Ulrich
Ramos, Edgar A.
Randomized External-Memory Algorithms for Line Segment Intersection and Other Geometric Problems
In: International Journal of Computational Geometry & Applications [11], 305-337
Journal Article
2001Althaus, Ernst
Mehlhorn, Kurt
Attachment IconTraveling Salesman-Based Curve Reconstruction in Polynomial Time
In: SIAM Journal on Computing [31], 27-66
Journal Article
2000[Kececioglu, John]
Lenhof, Hans-Peter
Mehlhorn, Kurt
Mutzel, Petra
Reinert, Knut
[Vingron, Martin]
Attachment IconA polyhedral approach to sequence alignment problems
In: Discrete Applied Mathematics [104], 143-186
Journal Article
2000Koller, Alexander
Mehlhorn, Kurt
Niehren, Joachim
Attachment IconA Polynomial-Time Fragment of Dominance Constraints
In: Proceedings of the 38th Annual Meeting of the Association of Computational Linguistics (ACL-00), 368-375
Proceedings Article
2000Burnikel, Christoph
Fleischer, Rudolf
Mehlhorn, Kurt
Schirra, Stefan
Attachment IconA strong and easily computable separation bound for arithmetic expressions involving radicals
In: Algorithmica [27], 87-99
Journal Article
2000[Cooper, Colin]
Frieze, Alan M.
Mehlhorn, Kurt
Priebe, Volker
Attachment IconAverage-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
In: Random Structures & Algorithms [16], 33-46
Journal Article
2000Mehlhorn, KurtAttachment IconConstraint Programming and Graph Algorithms
In: Automata, Languages and Programming, Proceedings of the 27th International Colloquium (ICALP-00), 571-575
Proceedings Article
2000[Dey, Tamal K.]
Mehlhorn, Kurt
Ramos, Edgar A.
Attachment IconCurve reconstruction: Connecting dots with good reason
In: Computational Geometry [15], 229-244
Journal Article
2000Mehlhorn, Kurt
[Sack, Jörg-Rüdiger]
Editorial
In: Computational Geometry [17], 1-2
Journal Article
2000Althaus, Ernst
Mehlhorn, Kurt
Näher, Stefan
Schirra, Stefan
Attachment IconExperiments on curve reconstruction
In: Proceedings of 2nd Workshop on Algorithm Engineering and Experiments (ALENEX-00), 103-114
Electronic Proceedings Article
2000Mehlhorn, Kurt
Thiel, Sven
Attachment IconFaster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint
In: Principles and practice of constraint programming - CP 2000 (CP-00) : 6th international conference, CP 2000, 306-319
Proceedings Article
2000Mehlhorn, Kurt
Schirra, Stefan
Attachment IconGeometric Computing with CGAL and LEDA
In: Curve and surface design, Saint-Malo 1999, 277-286
Proceedings Article
2000Mehlhorn, Kurt
Schäfer, Guido
Attachment IconImplementation of $O(nm \log n)$ weighted matchings: The power of data structures
In: 4th International Workshop on Algorithm Engineering, 23-38
Proceedings Article
2000Funke, Stefan
Mehlhorn, Kurt
Attachment IconLOOK - a Lazy Object-Oriented Kernel for Geometric Computation
In: Proceedings of the 16th Annual Symposium on Computational Geometry (SCG-00), 156-165
Proceedings Article
2000Mehlhorn, Kurt
Ziegelmann, Mark
Attachment IconResource Constrained Shortest Paths
In: Algorithms - ESA 2000, Proceedings of the 8th Annual European Symposium (ESA-00), 326-337
Proceedings Article
2000Althaus, Ernst
Mehlhorn, Kurt
TSP-Based Curve Reconstruction in Polynomial Time
In: Proceedings of the 11th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-00), 686-695
Proceedings Article
1999[Arikati, Srinivasa Rao]
Mehlhorn, Kurt
Attachment IconA correctness certificate for the Stoer-Wagner min-cut algorithm
In: Information Processing Letters [70], 251-254
Journal Article
1999[Cheriyan, Joseph]
Mehlhorn, Kurt
Attachment IconAn analysis of the highest-level selection rule in the preflow-push max-flow algorithm
In: Information Processing Letters [69], 239-242
Journal Article
1999Mehlhorn, Kurt
[Näher, Stefan]
Seel, Michael
[Seidel, Raimund]
Schilz, Thomas
Schirra, Stefan
Uhrig, Christian
Attachment IconChecking geometric programs or verification of geometric structures
In: Computational Geometry: Theory and Applications [12], 85-104
Journal Article
1999Finkler, Ulrich
Mehlhorn, Kurt
Checking Priority Queues
In: Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99), 901-902
Proceedings Article
1999[Dey, Tamal K.]
Mehlhorn, Kurt
Ramos, Edgar A.
Curve reconstruction: Connecting dots with good reason
In: Proceedings of the 15th Annual Symposium on Computational Geometry (SCG-99), 197-206
Proceedings Article
1999Mehlhorn, Kurt
Sack, Jörg-Rüdiger
Urrutia, Jorg
Editorial
In: Computational Geometry [12], 153-154
Journal Article
1999Burnikel, Christoph
Fleischer, Rudolf
Mehlhorn, Kurt
Schirra, Stefan
Attachment IconEfficient exact geometric computation made easy
In: Proceedings of the 15th Annual Symposium on Computational Geometry (SCG-99), 341-350
Proceedings Article
1999Crauser, Andreas
[Ferragina, Paolo]
Mehlhorn, Kurt
Meyer, Ulrich
Ramos, Edgar A.
I/O-optimal computation of segment intersections
In: Proceedings of the DIMACS Workshop on External Algorithms and Visualization, 131-138
Proceedings Article
1999Crauser, Andreas
Mehlhorn, Kurt
Attachment IconLEDA-SM : Extending LEDA to Secondary Memory
In: Algorithm engineering (WAE-99) : 3rd International Workshop, WAE'99, 228-242
Proceedings Article
1999Mehlhorn, Kurt
[Näher, Stefan]
LEDA: a platform for combinatorial and geometric computingBook
1999Arya, Sunil
Golin, Mordecai J.
Mehlhorn, Kurt
On the Expected Depth of Random Circuits
In: Combinatorics, Probability and Computing [8], 209-228
Journal Article
1999Funke, Stefan
Mehlhorn, Kurt
[Näher, Stefan]
Attachment IconStructural Filtering: a Paradigm for Efficient and Exact Geometric Programs
In: Abstracts for the 11th Canadian Conference on Computational Geometry (CCCG-99), 39-42
Proceedings Article
1999Mehlhorn, KurtTen Years of LEDA Some Thoughts (Abstract)
In: Algorithm engineering (WAE-99) : 3rd International Workshop, 14-14
Proceedings Article
1999Mehlhorn, KurtThe Engineering of Some Bipartite Matching Programs
In: Algorithms and computation : 10th International Symposium, ISAAC'99, 1-3
Proceedings Article
1999Mehlhorn, KurtThe Engineering of Some Bipartite Matching Programs
In: Foundations of software technology and theoretical computer science : 19th conference, 446-449
Proceedings Article
1998Mehlhorn, Kurt
Müller, Michael
Näher, Stefan
Schirra, Stefan
Seel, Michael
Uhrig, Christian
Ziegler, Joachim
A computational basis for higher-dimensional computational geometry and applications
In: Computational Geometry: Theory and Applications [10], 289-304
Journal Article
1998Crauser, Andreas
Mehlhorn, Kurt
Meyer, Ulrich
Sanders, Peter
Attachment IconA Parallelization of Dijkstra's Shortest Path Algorithm
In: Proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science (MFCS-98), 722-731
Proceedings Article
1998Mehlhorn, KurtAttachment IconAmortisierte Analyse
In: Prinzipien des Algorithmenentwurfs, 91-102
Part of a Book
1998Mehlhorn, Kurt
Näher, Stefan
From Algorithms to Working Programs on the Use of Program Checking in LEDA
In: Fundamentals - foundations of computer science : XV. IFIP world computer congress, 81-88
Proceedings Article
1998Mehlhorn, Kurt
Näher, Stefan
Attachment IconFrom Algorithms to Working Programs: On the Use of Program Checking in LEDA
In: Mathematical foundations of computer science (MFCS-98) : 23rd international symposium, 84-93
Proceedings Article
1998Althaus, Ernst
Mehlhorn, Kurt
Attachment IconMaximum Network Flow with Floating Point Arithmetic
In: Information Processing Letters [66], 109-113
Journal Article
1998Crauser, Andreas
Ferragina, Paolo
Mehlhorn, Kurt
Meyer, Ulrich
Ramos, Edgar A.
Attachment IconRandomized External-Memory Algorithms for some Geometric Problems
In: Proceedings of the 14th International Annual ACM Symposium on Computational Geometry (SCG-98), 259-268
Proceedings Article
1997Reinert, Knut
Lenhof, Hans-Peter
Mehlhorn, Kurt
Mutzel, Petra
Kececioglu, John
Attachment IconA Branch-And-Cut algorithm for multiple sequence alignment
In: Proceedings of the 1st Annual International Conference on Computational Molecular Biology (RECOMB-97), 241-250
Proceedings Article
1997Mehlhorn, Kurt
[Shermer, Thomas C.]
[Yap, Chee]
Attachment IconA complete roundness classification procedure
In: Proceedings of the 13th International Annual Symposium on Computational Geometry (SCG-97), 129-138
Proceedings Article
1997Mehlhorn, Kurt
Müller, Michael
Näher, Stefan
Schirra, Stefan
Seel, Michael
Uhrig, Christian
Ziegler, Joachim
A Computational Basis for Higher-dimensional Computational Geometry and Applications
In: Proceedings of the 13th International Annual Symposium on Computational Geometry (SCG-97), 254-263
Proceedings Article
1997Mehlhorn, Kurt
Burnikel, Christoph
Fleischer, Rudolf
Schirra, Stefan
A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Square Roots
In: Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-97), 702-709
Proceedings Article
1997[Cooper, Colin]
Frieze, Alan M.
Mehlhorn, Kurt
Priebe, Volker
Average-case complexity of shortest-paths problems in the vertex-potential model
In: International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 15-26
Proceedings Article
1997Crauser, Andreas
Mehlhorn, Kurt
Meyer, Ulrich
Kürzeste-Wege-Berechnung bei sehr großen Datenmengen
In: Promotion tut not: Innovationsmotor "Graduiertenkolleg", 113-132
Proceedings Article
1997Mehlhorn, Kurt
[Sundar, R.]
Uhrig, Christian
Maintaining Dynamic Sequences under Equality Tests in Polylogarithmic Time
In: Algorithmica [17], 183-198
Journal Article
1997Mehlhorn, Kurt
Priebe, Volker
On the All-Pairs Shortest-Path Algorithm of Moffat and Takaoka
In: Random Structures Algorithms [10], 205-220
Journal Article
1997Finkler, Ulrich
Mehlhorn, Kurt
Runtime Prediction of Real Programs on Real Machines
In: Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-97), 380-389
Proceedings Article
1997Mehlhorn, Kurt
Näher, Stefan
Uhrig, Christian
The LEDA platform for combinatorial and geometric computing
In: Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP-97), 7-16
Proceedings Article
1996[Alt, Helmut]
[Guibas, L.]
Mehlhorn, Kurt
[Karp, Richard M.]
[Wigderson, A.]
Attachment IconA Method for Obtaining Randomized Algorithms with Small Tail Probabilities
In: Algorithmica [16], 543-547
Journal Article
1996[Cheriyan, Joseph]
Mehlhorn, Kurt
Attachment IconAlgorithms for Dense Graphs and Networks on the Random Access Computer
In: Algorithmica [15], 521-549
Journal Article
1996[Cheriyan, Joseph]
Hagerup, Torben
Mehlhorn, Kurt
An o(n³)-Time Maximum-Flow-Algorithm: Can a Maximum Flow be Computed in o(nm) Time?
In: SIAM Journal on Computing [25], 1144-1170
Journal Article
1996Mehlhorn, Kurt
[Näher, Stefan]
Schilz, Thomas
Schirra, Stefan
Seel, Michael
[Seidel, Raimund]
Uhrig, Christian
Checking Geometric Programs or Verification of Geometric Structures
In: 12th Annual ACM Symposium on Computational Geometry (SCG 96), 159-165
Proceedings Article
1996[Mehlhorn, Kurt]
Claus, Volker
Thomas, Wolfgang
Komplexitätstheorie und Algorithmik
In: Informatik : Grundlagen - Anwendungen - Perspektiven, 113-116
Proceedings Article
1996Mehlhorn, Kurt
Mutzel, Petra
Attachment IconOn the Embedding Phase of the Hopcroft and Tarjan Planarity Testing Algorithm
In: Algorithmica [16], 233-242
Journal Article
1996Mehlhorn, KurtPosition Paper for Panel Discussion
In: Applied Computational Geormetry, Towards Geometric Engineering, FCRC'96 Workshop, WACG'96, Selected Papers, 51-52
Proceedings Article
1996Mehlhorn, Kurt
Näher, Stefan
Uhrig, Christian
The LEDA Platform for Combinatorial and Geometric Computing
In: Beherrschung von Informationssystemen : Tagungsband der Informatik '96 ; GI - 26. Jahrestagung, 43-50
Proceedings Article
1996Mehlhorn, KurtThe LEDA Platform of Combinatorial and Geometric Computing
In: Proceedings of Conference on Computing: The Australian Theory Symposium, 126-126
Proceedings Article
1995Fleischer, Rudolf
[Jung, Hermann]
Mehlhorn, Kurt
A communication-randomness tradeoff for two-processor systems
In: Information and Computation [116], 155-161
Journal Article
1995Burnikel, Christoph
Könemann, Jochen
Mehlhorn, Kurt
[Näher, Stefan]
Schirra, Stefan
Uhrig, Christian
Attachment IconExact Geometric Computation in LEDA
In: 11th ACM Symposium on Computational Geometry (SCG95), C18-C19
Proceedings Article
1995Mehlhorn, KurtExperiences with the implementation of geometric algorithms
In: Algorithms and Data Structures: 4th International Workshop (WADS95), 518-518
Proceedings Article
1995Mehlhorn, KurtGuest Editor's Foreword
In: Discrete and Computational Geometry [14], 363-363
Journal Article
1995Mehlhorn, Kurt
Näher, Stefan
LEDA : A Platform for Combinatorial and Geometric ComputingReport
1995Mehlhorn, Kurt
[Näher, Stefan]
Attachment IconLEDA: A Platform for Combinatorial and Geometric Computing
In: Communications of the ACM [38], 96-102
Journal Article
1995[Dietz, Paul]
Mehlhorn, Kurt
[Raman, Rajeev]
Uhrig, Christian
Attachment IconLower bounds for set intersection queries
In: Algorithmica [14], 154-168
Journal Article
1995Mehlhorn, Kurt
Priebe, Volker
On the All-Pairs Shortest Path Algorithm of Moffat and Takaoka
In: Algorithms - ESA'95: 3rd Annual European Symposium, 185-198
Proceedings Article
1994Kaufmann, Michael
Mehlhorn, Kurt
Attachment IconA linear-time algorithm for the homotopic routing problem in grid graphs
In: SIAM Journal on Computing [23], 227-246
Journal Article
1994Bilardi, Gianfranco
Chaudhuri, Shiva
Dubhashi, Devdatt
Mehlhorn, Kurt
Attachment IconA lower bound for area-universal graphs
In: Information Processing Letters [51], 101-105
Journal Article
1994[Dietzfelbinger, Martin]
[Karlin, Anna]
Mehlhorn, Kurt
[Meyer Auf Der Heide, Friedhelm]
[Rohnert, Hans]
[Tarjan, Robert E.]
Attachment IconDynamic Perfect Hashing: Upper and Lower Bounds
In: SIAM Journal on Computing [23], 738-761
Journal Article
1994Baumgarten, Hanna
Jung, Hermann
Mehlhorn, Kurt
Attachment IconDynamic point location in general subdivisions
In: Journal of Algorithms [3], 342-380
Journal Article
1994Burnikel, Christoph
Mehlhorn, Kurt
Schirra, Stefan
Attachment IconHow to Compute the Voronoi Diagram of Line Segments:
Theoretical and Experimental Results
In: Algorithms (ESA-94) : 2nd annual European symposium, 227-239
Proceedings Article
1994Mehlhorn, Kurt
Näher, Stefan
Nievergelt, Jurg
Attachment IconIntroduction
In: Journal of Symbolic Computation [17], 295-295
Journal Article
1994Mehlhorn, Kurt
Sundar, R.
Uhrig, Christian
Maintaining dynamic sequences under equality-tests in polylogarithmic time
In: Discrete algorithms (SODA-94) : 5th annual ACM-SIAM symposium, 213-222
Proceedings Article
1994Burnikel, Christoph
Mehlhorn, Kurt
Schirra, Stefan
Attachment IconOn degeneracy in geometric computations
In: Discrete algorithms (SODA-94) : 5th annual ACM-SIAM symposium, 16-23
Proceedings Article
1994Mehlhorn, Kurt
Näher, Stefan
Attachment IconThe Implementation of Geometric Algorithms
In: Technology and foundations : Information Processing '94 ; proceedings of the IFIP 13th World Computer Congress, 223-231
Proceedings Article
1993Dobrindt, Katrin
Mehlhorn, Kurt
Yvinec, Mariette
A Complete and Efficient Algorithm for the Intersection of a General and a Convex PolyhedronReport
1993Dobrindt, Katrin
Mehlhorn, Kurt
Yvinec, Mariette
Attachment IconA Complete and Efficient Algorithm for the Intersection of a General and a Convex Polyhedron
In: Algorithms and data structures (WADS-93) : 3rd workshop, 314-324
Proceedings Article
1993Mehlhorn, Kurt
Tsakalidis, Athanasios K.
Dynamic Interpolation Search
In: Journal of the ACM [40], 621-634
Journal Article
1993Kucera, Ludek
Mehlhorn, Kurt
Preis, B.
Schwarzenecker, E.
Attachment IconExact Algorithms for a Geometric Packing Problem (Extended Abstract)
In: Theoretical aspects of computer science (STACS-93) : 10th annual symposium, 317-322
Proceedings Article
1993Clarkson, Kenneth L.
Mehlhorn, Kurt
Seidel, Raimund
Attachment IconFour Results on Randomized Incremental Constructions
In: Computational Geometry: Theory and Applications [3], 185-212
Journal Article
1993Dietz, Paul
Mehlhorn, Kurt
Raman, Rajeev
Uhrig, Christian
Lower Bounds for Set Intersection queries
In: Discrete algorithms (SODA-93) : 4th annual ACM-SIAM symposium, 194-201
Proceedings Article
1993Hagerup, Torben
Mehlhorn, Kurt
Munro, I.
Attachment IconMaintaining Discrete Probability Distributions Optimally
In: Automata, languages and programming (ICALP-93) : 20th international colloquium, 253-264
Proceedings Article
1993Klein, Rolf
Mehlhorn, Kurt
Meiser, Stefan
Attachment IconRandomized incremental construction of abstract Voronoi diagrams
In: Computational Geometry: Theory and Applications [3], 157-184
Journal Article
1993Dubhashi, Devdatt P.
Ranjan, Desh
Mehlhorn, Kurt
Thiel, Christian
Attachment IconSearching, Sorting and Randomised Algorithms for Central Elements and Ideal Counting in Posets
In: Foundations of software technology and theoretical computer science (FSTTCS-93) : 13th conference, 436-443
Proceedings Article
1993Mehlhorn, Kurt
Sharir, Micha
Welzl, Emo
Attachment IconTail Estimates for the Efficiency of Randomized Incremental Algorithms for Line Segment Intersection
In: Computational Geometry: Theory and Applications [3], 235-246
Journal Article
1992Alt, Helmut
Geffert, Viliam
Mehlhorn, Kurt
Attachment IconA lower bound for the nondeterministic space complexity of context-free recognition
In: Information Processing Letters [42], 25-27
Journal Article
1992Mehlhorn, Kurt
Näher, Stefan
Attachment IconAlgorithm Design and Software Libraries: Recent Developments in the LEDA Project
In: Proceedings of the IFIP 12th World Computer Congress. Volume 1: Algorithms, Software, Architecture, 493-508
Proceedings Article
1992Alt, Helmut
Fleischer, Rudolf
Kaufmann, Michael
Mehlhorn, Kurt
Näher, Stefan
Schirra, Stefan
Uhrig, Christian
Approximate motion planning and the complexity of the boundary of the union of simple geometric figures
In: Algorithmica [8], 391-408
Journal Article
1992Baumgarten, Hanna
Jung, Hermann
Mehlhorn, Kurt
Dynamic Point Location in General Subdivisions
In: Discrete algorithms (SODA-92) : 3rd annual ACM-SIAM symposium, 250-258
Proceedings Article
1992Clarkson, Kenneth L.
Mehlhorn, Kurt
Seidel, Raimund
Four Results on Randomized Incremental Constructions
In: Theoretical aspects of computer science (STACS-92) : 9th annual symposium, 463-474
Proceedings Article
1992Kaufmann, Michael
Mehlhorn, Kurt
Attachment IconOn local routing of two-terminal nets
In: Journal of Combinatorial Theory / Series B [55], 33-72
Journal Article
1992Klein, Rolf
Mehlhorn, Kurt
Meiser, Stefan
Randomized incremental construction of abstract Voronoi diagrams
In: Informatik---Festschrift zum 60.~Geburtstag von Günter Hotz, 283-308
Part of a Book
1992Mehlhorn, KurtRecent Developments in Algorithms for the Maximum Flow Problem (Abstract)
In: Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1992), 404-404
Proceedings Article
1992Fleischer, Rudolf
Fries, Otfried
Mehlhorn, Kurt
Meiser, Stefan
Näher, Stefan
Rohnert, Hans
Schirra, Stefan
Simon, Klaus
Tsakalidis, Athanasios
Uhrig, Christian
Selected Topics from Computational Geometry, Data Structures and Motion Planning
In: Data Structures and Efficient Algorithms, Final Report on the DFG Special Joint Initiative, 25-43
Part of a Book
1992Fleischer, Rudolf
Mehlhorn, Kurt
Rote, Günter
Welzl, Emo
Yap, Chee-Keng
Simultaneous Inner and Outer Approximation of Shapes
In: Algorithmica [8], 365-389
Journal Article
1992Mehlhorn, Kurt
Sharir, Micha
Welzl, Emo
Tail Estimates for the Space Complexity of Randomised Incremental Algorithms
In: Discrete algorithms (SODA-92) : 3rd annual ACM-SIAM symposium, 89-93
Proceedings Article
1992Mehlhorn, Kurt
[Paul, Wolfgang J.]
Uhrig, C
Attachment Icon$k$ versus $k+1$ Index Registers and Modifiable versus Non-modifiable Programs
In: Information and Computation [101], 123-129
Journal Article
1991Alt, Helmut
Guibas, L.
Mehlhorn, Kurt
Karp, Richard M.
Wigderson, A.
Attachment IconA Method for Obtaining Randomized Algorithms with Small Tail ProbabilitiesReport
1991Fleischer, Rudolf
Jung, Hermann
Mehlhorn, Kurt
A Time-Randomness Tradeoff for Communication Complexity
In: Distributed Algorithms, 4th International Workshop, 390-401
Proceedings Article
1991Alt, Helmut
Blum, Norbert
Mehlhorn, Kurt
Paul, Markus
Attachment IconComputing a maximum cardinality matching in a bipartite graph in time $O(n^1.5 \sqrtm/\log n)$
In: Information Processing Letters [37], 237-240
Journal Article
1991Mehlhorn, Kurt
Yap, Chee-Keng
Constructive Whitney-Graustein theorem, or how to untangle closed planar curves
In: SIAM Journal on Computing [20], 603-621
Journal Article
1991Dietzfelbinger, Martin
Karlin, Anna
Mehlhorn, Kurt
Meyer Auf Der Heide, Friedhelm
Rohnert, Hans
Tarjan, Robert E.
Dynamic Perfect Hashing: Upper and Lower BoundsReport
1991Mehlhorn, Kurt
Meiser, Stefan
O'Dúnlaing, Colm
On the construction of abstract Voronoi diagrams
In: Discrete & Computational Geometry [6], 211-224
Journal Article
1990Mehlhorn, Kurt
Näher, Stefan
A faster compaction algorithm with automatic jog insertion
In: IEEE Transactions on CAD of Integrated Circuits and Systems [9], 158-166
Journal Article
1990Alt, Helmut
Fleischer, Rudolf
Kaufmann, Michael
Mehlhorn, Kurt
Näher, Stefan
Schirra, Stefan
Uhrig, Christian
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures
In: Computational geometry (SCG-90) : 6th annual symposium, 281-289
Proceedings Article
1990Mehlhorn, Kurt
Näher, Stefan
Bounded ordered dictionaries in $O(\log \log n)$ time and $O(n)$ space
In: Information Processing Letters [35], 183-189
Journal Article
1990Cheriyan, Joseph
Hagerup, Torben
Mehlhorn, Kurt
Can A Maximum Flow be Computed in o(nm) Time?
In: Automata, languages and programming (ICALP-90) : 17th international colloquium, 235-248
Proceedings Article
1990Cheriyan, Joseph
Hagerup, Torben
Mehlhorn, Kurt
Attachment IconCan a maximum flow be computed in $o(nm)$ time?Report
1990Mehlhorn, Kurt
Rülling, W.
Attachment IconCompaction on the torus
In: IEEE Transactions on CAD of Integrated Circuits and Systems [9], 389-397
Journal Article
1990Mehlhorn, Kurt
Tsakalidis, A.
Data Structures
In: Handbook of Theoretical Computer Science, 301-341
Part of a Book
1990Ching, Yu-Tai
Mehlhorn, Kurt
Smid, Michiel H. M.
Dynamic deferred data structuring
In: Information Processing Letters [35], 37-40
Journal Article
1990Mehlhorn, Kurt
Näher, Stefan
Attachment IconDynamic Fractional Cascading
In: Algorithmica [5], 215-241
Journal Article
1990Ahuja, Ravindra K.
Mehlhorn, Kurt
Orlin, James B.
Tarjan, Robert E.
Attachment IconFaster algorithms for the shortest path problem
In: Journal of the ACM [37], 213-223
Journal Article
1990Mehlhorn, Kurt
Näher, Stefan
Uhrig, Christian
Attachment IconHidden line elimination for isooriented rectanglesReport
1990Mehlhorn, Kurt
Näher, Stefan
Uhrig, Christian
Attachment IconHidden line elimination for isooriented rectangles
In: Information Processing Letters [35], 137-143
Journal Article
1990Näher, Stefan
Mehlhorn, Kurt
LEDA - A Library of Efficient Data Types and Algorithms
In: GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, 35-39
Proceedings Article
1990Näher, Stefan
Mehlhorn, Kurt
LEDA: A Library of Efficient Data Types and Algorithms
In: Automata, languages and programming (ICALP-90) : 17th international colloquium, 1-5
Proceedings Article
1990Fleischer, Rudolf
Mehlhorn, Kurt
Rote, Günter
Welzl, Emo
Yap, Chee-Keng
On Simultaneous Inner and Outer Approximation of Shapes
In: Computational geometry (SCG-90) : 6th annual symposium, 216-224
Proceedings Article
1990Mehlhorn, Kurt
Näher, Stefan
Rauch, Monika
On the Complexity of a Game Related to the Dictionary Problem
In: SIAM Journal on Computing [19], 902-906
Journal Article
1990Mehlhorn, Kurt
Meiser, Stefan
Ó'Dúnlaing, Colm
On the Construction of Abstract Voronoi Diagrams
In: Theoretical aspects of computer science (STACS-90) : 7th annual symposium, 227-239
Proceedings Article
1990Klein, R.
Mehlhorn, Kurt
Meiser, Stefan
On the Construction of Abstract Voronoi Diagrams, II
In: Algorithms (ISA-90) : 1st international symposium (SIGAL-90), 138-154
Proceedings Article
1990Kaufmann, Morgan
Mehlhorn, Kurt
Routing problems in grid graphs
In: Paths, Flows, and VLSI-Layout, 165–184
Part of a Book
1989Mehlhorn, Kurt
Näher, S
A library of efficient data types and algorithms
In: Mathematical foundations of computer science (MFCS-89) : 14th international symposium, 88-106
Proceedings Article
1989Fürer, Martin
Mehlhorn, Kurt
Attachment IconAT$^2$-Optimal Galois Field Multiplier for VLSI
In: IEEE Transactions on Computers [38], 1333-1336
Journal Article
1989Mehlhorn, Kurt
Tsakalidis, Athanasios K.
Attachment IconData structuresReport
1989Loeckx, Jacques
Mehlhorn, Kurt
Wilhelm, Reinhard
Foundations of Programming LanguagesBook
1989Mehlhorn, Kurt
Näher, Stefan
LEDA: A library of efficient data types and algorithms
In: Mathematical foundations of computer science (MFCS-89) : 14th international symposium, 88-106
Proceedings Article
1989Mehlhorn, Kurt
Näher, Stefan
Rauch, Monika
On the Complexity of a Game Related to the Dictionary Problem
In: 30th Annual Symposium on Foundations of Computer Science (FOCS 1989), 546-548
Proceedings Article
1989Mehlhorn, Kurt
Meiser, Stefan
O'Dunlaing, Colm
Attachment IconOn the construction of abstract Voronoi diagramsReport
1989[Klein, R.]
Mehlhorn, Kurt
[Meiser, Stefan]
Attachment IconOn the construction of abstract Voronoi diagrams, II.Report
1989Kaufmann, Michael
Mehlhorn, Kurt
Routing Problems in Grid GraphsReport
1989Kaufmann, Michael
Mehlhorn, Kurt
Routing problems in grid graphsReport
1989Mehlhorn, Kurt
[Paul, Wolfgang J.]
Two Versus One Index Register and Modifiable Versus Non-modifiable Programs
In: Automata, languages and programming (ICALP-89) : 16th international colloquium, 603-609
Proceedings Article
1988Mehlhorn, KurtAttachment IconA faster approximation algorithm for the Steiner problem in graphs
In: Information Processing Letters [27], 125-128
Journal Article
1988Kaufmann, Michael
Mehlhorn, Kurt
A Linear-Time Algorithm for the Homotopic Routing Problem in Grid GraphsReport
1988Mehlhorn, Kurt
Näher, Stefan
Alt, Helmut
A Lower Bound on the Complexity of the Union-Split-Find Problem
In: SIAM Journal on Computing [17], 1093-1102
Journal Article
1988Mehlhorn, Kurt
Rülling, W.
Compaction on the TorusReport
1988Mehlhorn, Kurt
Rülling, W.
Compaction on the Torus
In: VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, 212-225
Proceedings Article
1988Alt, Helmut
Mehlhorn, Kurt
Wagener, Hubert
Welzl, Emo
Attachment IconCongruence, Similarity, and Symmetries of Geometric Objects
In: Discrete and Computational Geometry [3], 237-256
Journal Article
1988Mehlhorn, Kurt
Yap, Chee-Keng
Constructive Hopf's theorem: or how to untangle closed planar curvesReport
1988Mehlhorn, Kurt
Yap, Chee-Keng
Constructive Hopf's Theorem: Or How to Untangle Closed Planar Curves
In: Automata, languages and programming (ICALP-88) : 15th international colloquium, 410-423
Proceedings Article
1988Mehlhorn, KurtDatenstrukturen und effiziente Algorithmen, Band 1: Sortieren und SuchenBook
1988Dietzfelbinger, Martin
Karlin, Anna
Mehlhorn, Kurt
Meyer auf der Heide, Friedhelm
Rohnert, Hans
Tarjan, Robert E.
Dynamic Perfect Hashing: Upper and Lower Bounds
In: 29th Annual Symposium on Foundations of Computer Science (FOCS 1988), 524-531
Proceedings Article
1988Ahuja, Ravindra K.
Mehlhorn, Kurt
Orlin, James B.
Tarjan, Robert E.
Faster Algorithms for the Shortest Path ProblemReport
1988Ahuja, Ravindra K.
Mehlhorn, Kurt
Orlin, James B.
Tarjan, Robert E.
Faster Algorithms for the Shortest Path ProblemReport
1988Gao, Shaodi
Jerrum, Mark
Kaufmann, Michael
Mehlhorn, Kurt
Rülling, Wolfgang
Attachment IconOn Continuous Homotopic One Layer Routing
In: Computational geometry (SCG-88) : 4th symposium, 392-402
Proceedings Article
1988Gao, Shaodi
Kaufmann, Michael
Mehlhorn, Kurt
Rülling, Wolfgang
Storb, Christoph
Jerrum, Mark
On Continuous Homotopic One Layer Routing (Extended Abstract)
In: Computational geometry and its applications (CG-88) : international workshop, 55-70
Proceedings Article
1988Jung, Hermann
Mehlhorn, Kurt
Attachment IconParallel algorithms for computing maximal independent sets in trees and for updating minimum spanning trees
In: Information Processing Letters [27], 227-236
Journal Article
1988Mehlhorn, KurtSFB 124: VLSI-Entwurfsmethoden und Parallelität
In: GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, 3-29
Proceedings Article
1988Dietzfelbinger, Martin
Mehlhorn, Kurt
Meyer auf der Heide, Friedhelm
Rohnert, H.
Upper and Lower Bounds for the Dictionary Problem
In: Algorithm theory (SWAT-88) : 1st Scandinavian workshop, 214-215
Proceedings Article
1987Mehlhorn, KurtA Faster Approximation Algorithm for the Steiner Problem in GraphsReport
1987Mehlhorn, Kurt
Näher, Stefan
A faster compaction algorithm with automatic jog insertionReport
1987Mehlhorn, Kurt
Näher, Stefan
Alt, Helmut
A Lower Bound for the Complexity of the Union-Split-Find Problem
In: Automata, Languages and Programming (ICALP-87) : 14th International Colloquium, 479-488
Proceedings Article
1987Fries, O.
Mehlhorn, Kurt
Näher, Stefan
Tsakalidis, A.
A $\log \log n$ data structure for three-sided range queries
In: Information Processing Letters [25], 269-273
Journal Article
1987Mehlhorn, Kurt
Preparata, Franco P.
Attachment IconArea-Time Optimal Division for $T=\Omega((\log n)^1+\epsilon)$
In: Information and Computation [72], 270-282
Journal Article
1987[Alt, Helmut]
Mehlhorn, Kurt
[Wagener, Hubert]
[Welzl, Emo]
Attachment IconCongruence, similarity and symmetries of geometric objectsReport
1987Alt, Helmut
Mehlhorn, Kurt
Wagener, Hubert
Welzl, Emo
Convergence, Similarity and Symmetries of Geometric Objects
In: Computational geometry (SCG-87) : 3rd symposium, 308-315
Proceedings Article
1987Alt, Helmut
Hagerup,Torben
Mehlhorn, Kurt
Preparata, Franco P.
Attachment IconDeterministic Simulation of Idealized Parallel Computers on more Realistic Ones
In: Parallel Algorithms and Architectures : International Workshop, 11-15
Proceedings Article
1987Alt, Helmut
Hagerup, Torben
Mehlhorn, Kurt
Preparata, Franco P.
Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones
In: SIAM Journal on Computing [16], 808-835
Journal Article
1987Kaufmann, Michael
Mehlhorn, Kurt
On Local Routing of Two-Terminal Nets
In: STACS '87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, 40-52
Proceedings Article
1987Jung, Hermann
Mehlhorn, Kurt
Parallel algorithms for computing maximal independent sets in trees and for updating minimum spanning treesReport
1986Mehlhorn, Kurt
Näher, Stefan
Alt, Helmut
A Lower Bound for the Complexity of the Union-Split-Find ProblemReport
1986Becker, Michael
Mehlhorn, Kurt
Attachment IconAlgorithms for Routing in Planar Graphs
In: Acta Informatica [23], 163-176
Journal Article
1986Mehlhorn, Kurt
Tsakalidis, Athanasios K.
Attachment IconAn Amortized Analysis of Insertions into AVL-Trees
In: SIAM Journal on Computing [15], 22-33
Journal Article
1986Mehlhorn, Kurt
Preparata, Franco P.
Area-time Optimal Division for T=Omega(log n)$^1+epsilon$"
In: STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, 341-352
Proceedings Article
1986Fürer, Martin
Mehlhorn, Kurt
AT$^2$-Optimal Galois Field Multiplier for VLSI
In: VLSI Algorithms and Architectures, Aegean Workshop on Computing, 217-225
Proceedings Article
1986Mehlhorn, Kurt
Preparata, Franco P.
Sarrafzadeh, Maji
Attachment IconChannel Routing in Knock-Knee Mode: Simplified Algorithms and Proofs
In: Algorithmica [1], 213-221
Journal Article
1986Mehlhorn, KurtDatenstrukturen und effiziente Algorithmen, Band 1: Sortieren und SuchenBook
1986Alt, Helmut
Hagerup, Torben
Mehlhorn, Kurt
Preparata, Franco P.
Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones
In: Mathematical Foundations of Computer Science, 12th Symposium (MFCS 1986), 199-208
Proceedings Article
1986Mehlhorn, Kurt
Näher, Stefan
Dynamic fractional cascadingReport
1986Loeckx, Jacques
Mehlhorn, Kurt
Wilhelm, Reinhard
Grundlagen der ProgrammiersprachenBook
1986Mehlhorn, Kurt
Schmidt, Bernd H.
Attachment IconOn BF-orderable graphs
In: Discrete Applied Mathematics [15], 315-327
Journal Article
1986Kaufmann, Michael
Mehlhorn, Kurt
On Local Routing of Two-Terminal NetsReport
1986Kaufmann, Michael
Mehlhorn, Kurt
Attachment IconRouting through a Generalized Switchbox
In: Journal of Algorithms [7], 510-531
Journal Article
1986Mehlhorn, Kurt
Preparata, F. P.
Attachment IconRouting through a Rectangle
In: Journal of the ACM [33], 60-85
Journal Article
1986Hoffmann, Kurt
Mehlhorn, Kurt
Rosenstiehl, Pierre
Tarjan, Robert E.
Attachment IconSorting Jordan Sequences in Linear Time Using Level-Linked Search Trees
In: Information and Control [68], 170-184
Journal Article
1986Mehlhorn, KurtAttachment IconÜber Verdrahtungsalgorithmen
In: Informatik Spektrum [9], 227-234
Journal Article
1986[Fürer, Martin]
[Mehlhorn, Kurt]
VLSI Algorithms and Architectures, Aegean Workshop on Computing - >> Dublette
In: VLSI Algorithms and Architectures, Aegean Workshop on Computing, 328
Proceedings
1986[Fürer, Martin]
[Mehlhorn, Kurt]
VLSI Algorithms and Architectures, Aegean Workshop on Computing - >> Dublette
In: VLSI Algorithms and Architectures, Aegean Workshop on Computing, 328
Proceedings
1986Lengauer, Thomas
Mehlhorn, Kurt
Attachment IconVLSI complexity, efficient VLSI algorithms and the HILL design system
In: Algorithmics for VLSI, 33-89
Part of a Book
1985Mannila, Heikki
Mehlhorn, Kurt
Attachment IconA fast algorithm for renaming a set of clauses as a Horn set
In: Information Processing Letters [21], 269-272
Journal Article
1985Mehlhorn, Kurt
Preparata, Franco P.
Area-time optimal division for T=omega((logn)1+epsilon)Report
1985Alt, Helmut
Hagerup, Torben
Mehlhorn, Kurt
Preparata, Franco P.
Deterministic simulation of idealized parallel computers on more realistic onesReport
1985Mehlhorn, Kurt
Tsakalidis, Athanasios K.
Attachment IconDynamic Interpolation Search
In: Automata, languages and programming (ICALP-85) : 12th international colloquium, 424-434
Proceedings Article
1985Fries, O.
Mehlhorn, Kurt
Näher, Stefan
Dynamization of geometric data structuresReport
1985Fries, O.
Mehlhorn, Kurt
Näher, Stefan
Dynamization of geometric data structures
In: Computational geometry (SCG-85) : 1st symposium, 168-176
Proceedings Article
1985Hertel, Stefan
Mehlhorn, Kurt
Attachment IconFast Triangulation of the Plane with Respect to Simple Polygons
In: Information and Control [64], 52-76
Journal Article
1985Mehlhorn, Kurt
Simon, Klaus
Attachment IconIntersecting two polyhedra one of which is convex
In: FCT '85: Fundamentals of Computation Theory, 534-542
Proceedings Article
1985Mehlhorn, Kurt
Schmidt, Bernd H.
On BF-perfect graphsReport
1985Mehlhorn, Kurt
Tsakalidis, Athanasios K.
Routing Through a Generalized Switchbox
In: Automata, languages and programming (ICALP-85) : 12th international colloquium, 328-337
Proceedings Article
1985Alt, Helmut
Mehlhorn, Kurt
Attachment IconSearching Semisorted Tables
In: SIAM Journal on Computing [14], 840-848
Journal Article
1985Hoffmann, Kurt
Mehlhorn, Kurt
Rosenstiehl, Pierre
Tarjan, Robert E.
Sorting Jordan sequences in linear time
In: Computational geometry (SCG-85) : 1st symposium, 196-203
Proceedings Article
1984Becker, Michael
Mehlhorn, Kurt
Attachment IconAlgorithms for routing in planar graphsReport
1984Mehlhorn, Kurt
Preparata, Franco P.
Area-Time Optimal VLSI Integer Multiplier with Minimum Computation Time
In: Automata, languages and programming (ICALP-84) : 11th colloquium, 347-357
Proceedings Article
1984Mehlhorn, KurtChannel Routing in Knock-Knee Mode: Simplified Algorithms and ProofReport
1984Mehlhorn, KurtData structures and algorithms. Volume 1 : Sorting and searchingBook
1984Mehlhorn, KurtData structures and algorithms. Volume 2 : Graph algorithms and NP-completenessBook
1984Mehlhorn, KurtData structures and algorithms. Volume 3 : Multi-dimensional searching and computational geometryBook
1984Lengauer, Thomas
Mehlhorn, Kurt
Attachment IconFour results on the complexity of VLSI computation
In: Advances in Computing Research [2], 1-22
Journal Article
1984Hoffmann, K
Mehlhorn, Kurt
Intersecting a line and a simple polygon
In: EATCS Bulletin [22], 120-121
Journal Article
1984[Kaufmann, Michael]
[Mehlhorn, Kurt]
Attachment IconLocal routing of two-terminal nets is easyReport
1984Mehlhorn, KurtOn Optimal VLSI-Circuits for the Basic Arithmetic Functions
In: 9. Colloquium on Trees in Algebra and Programming (CAAP'84), 23-30
Proceedings Article
1984Alt, Helmut
Mehlhorn, Kurt
Munro, J.
On the complexity of partial match retrieval
In: Information Processing Letters [19], 61-65
Journal Article
1984Alt, Helmut
Mehlhorn, Kurt
Munro, J. Ian
Attachment IconPartial match retrieval in implicit data structures
In: Information Processing Letters [19], 61-65
Journal Article
1984Mehlhorn, Kurt
Vishkin, Uzi
Randomized and deterministic simulations of PRAMs by parallel machines with restricted granularity of parallel memories
In: Acta Informatica [21], 339-374
Journal Article
1984Kaufmann, Michael
Mehlhorn, Kurt
Attachment IconRouting through a generalized switchboxReport
1984Hoffmann, Kurt
Mehlhorn, Kurt
Rosenstiehl, Pierre
Tarjan, Robert E.
Sorting Jordan sequences in linear timeReport
1984Hertel, Stefan
Mäntylä, Martti
Mehlhorn, Kurt
Nievergelt, Jurg
Attachment IconSpace Sweep Solves Intersection of Convex Polyhedra
In: Acta Informatica [21], 501-519
Journal Article
1984[Hertel, Stefan]
[Mehlhorn, Kurt]
[Mäntylä, Martti]
[Nievergelt, Jurg]
Attachment IconSpace sweep solves intersection of two convex polyhedra elegantlyReport
1984Lengauer, Thomas
Mehlhorn, Kurt
Attachment IconThe HILL system: A design environment for the hierarchical spezification, compaction, and simulation of integrated circuit layouts
In: Proceedings, Conference on Advanced Research in VLSI, 139-149
Proceedings Article
1984Mehlhorn, KurtÜber Verdrahtungsalgorithmen
In: GI Jahrestagung (Fachgespräche), 79-89
Proceedings Article
1984Mehlhorn, Kurt$AT^2$-optimal VLSI integer division and integer square rooting
In: Integration, the VLSI Journal [2], 163-167
Journal Article
1983Mehlhorn, Kurt
Schmidt, Bernd H.
A Single Shortest Path Algorithm for Graphs with Separators
In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference (FCT 1983), 302-309
Proceedings Article
1983Mehlhorn, Kurt
Preparata, Franco P.
Area-Time Optimal VLSI Integer Multiplier with Minimum Computation TimeReport
1983Mehlhorn, Kurt
Preparata, Franco P.
Attachment IconArea-Time Optimal VLSI Integer Mutliplier with Minimum Computation Time
In: Information and Control [58], 137-156
Journal Article
1983Hong, Jia-Wei
Mehlhorn, Kurt
Rosenberg, Arnold L.
Attachment IconCost Trade-offs in Graph Embeddings, with Applications
In: Journal of the ACM [30], 709-728
Journal Article
1983Hertel, Stefan
Mehlhorn, Kurt
Fast Triangulation of Simple Polygons
In: Fundamentals of Computation Theory, Proceedings of the 1983 International FCT-Conference (FCT 1983), 207-218
Proceedings Article
1983Lengauer, Thomas
Mehlhorn, Kurt
Four results on the complexity of VLSI computationsReport
1983Mehlhorn, Kurt
Vishkin, Uzi
Granularity of parallel memoriesReport
1983Mehlhorn, Kurt
Preparata, F. P.
Routing through a RectangleReport
1983Lengauer, Thomas
Mehlhorn, Kurt
Attachment IconThe HILL System: A Design Environment for the Hierarchical Specification, Compaction, and Simulation of Integrated Circuit LayoutsReport
1983von Braunmühl, Burchard
Cook, Stephen
Mehlhorn, Kurt
Verbeek, Rutger
The Recognition of Deterministic CFL's in Small Time and Space
In: Information and Control [56], 34-51
Journal Article
1983Lengauer, Thomas
Mehlhorn, Kurt
VLSI Complexity, Efficient VLSI Algorithms and the HILL Design SystemReport
1983Mehlhorn, Kurt$AT^2$-optimal VLSI for integer division and integer square rootingReport
1983Mehlhorn, Kurt
Preparata, F. P.
$AT^2$-optimal VLSI multipliers with minimum computation time
In: Information & Control [58], 137-196
Journal Article
1982Huddleston, Scott
Mehlhorn, Kurt
A New Data Structure for Representing Sorted Lists
In: Acta Informatica [17], 157-184
Journal Article
1982Mehlhorn, KurtAttachment IconA Partial Analysis of Height-Balanced Trees Under Random Insertions and Deletions
In: SIAM Journal on Computing [11], 748-760
Journal Article
1982Becker, Michael
Degenhardt, W.
Doenhardt, J.
Hertel, S.
Kaninke, G.
Kerber, W.
Mehlhorn, Kurt
Näher, Stefan
Rohnert, H.
Winter, T.
Attachment IconA Probabilistic Algorithm for Vertex Connectivity of Graphs
In: Information Processing Letters [15], 135-136
Journal Article
1982Hong, Jia-Wei
Mehlhorn, Kurt
Cost tradeoffs in graph embeddings, with applicationsReport
1982Mehlhorn, Kurt
Schmidt, Erik M.
Las Vegas Is better than Determinism in VLSI and Distributed Computing
In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing (STOC 1982), 330-337
Proceedings Article
1982Mehlhorn, KurtAttachment IconOn the Program Size of Perfect and Universal Hash Functions
In: 23th Annual Symposium on Foundations of Computer Science (FOCS 1982), 170-175
Proceedings Article
1982Eisenbarth, Bernhard
Ziviani, Nivio
Gonnet, Gaston H.
Mehlhorn, Kurt
Wood, Derick
Attachment IconThe Theory of Fringe Analysis and Its Application to 2-3 Trees and B-Trees
In: Information and Control [55], 125-174
Journal Article
1981Mehlhorn, KurtAttachment IconArbitrary Weight Changes in Dynamic Trees
In: Revue française d'automatique, d'informatique et de recherche opérationnelle : RAIRO [15], 183-211
Journal Article
1981Hong, Jia-Wei
Mehlhorn, Kurt
Rosenberg, Arnold L.
Cost Tradeoffs in Graph Embeddings, with Applications (Preliminary Version)
In: Automata, languages and programming (ICALP-81) : 8th international colloquium, 41-55
Proceedings Article
1981Mehlhorn, KurtAttachment IconLower bounds on the efficiency of transforming static data structures into dynamic structures
In: Mathematical Systems Theory [15], 1-16
Journal Article
1981Lengauer, Thomas
Mehlhorn, Kurt
On the Complexity of VLSI-Computations
In: VLSI Systems and Computations [??], 89-99
Journal Article
1981Mehlhorn, Kurt
Overmars, Mark H.
Attachment IconOptimal dynamization of decomposable searching problems
In: Information Processing Letters [12], 93-98
Journal Article
1981Alt, Helmut
Mehlhorn, Kurt
Munro, J. Ian
Partial Match Retrieval in Implicit Data Structures
In: Mathematical foundations of computer science (MFCS-81) : 10th symposium, ,, 156-161
Proceedings Article
1981Huddleston, S.
Mehlhorn, Kurt
Attachment IconRobust balancing in B-trees
In: Theoretical computer science : 5th GI-conference, 234-244
Proceedings Article
1980Mehlhorn, KurtA New Data Structure for Representing Sorted Lists
In: Graph-theoretic concepts in computer science (WG-80) : 6th international workshop, 90-112
Proceedings Article
1980Mehlhorn, KurtAttachment IconAn Efficient Algorithm for Constructing Nearly Optimal Prefix Codes
In: IEEE Transactions on Information Theory [26], 513-517
Journal Article
1980Güttler, Reiner
Mehlhorn, Kurt
Schneider, Wolfgang
Attachment IconBinary Search Trees: Average and Worst Case Behavior
In: Elektronische Informationsverarbeitung und Kybernetik [16], 41-61
Journal Article
1980Altenkamp, Doris
Mehlhorn, Kurt
Attachment IconCodes: Unequal Probabilities, Unequal Letter Cost
In: Journal of the ACM [27], 412-427
Journal Article
1980Mehlhorn, KurtLower bounds on the efficiency of transforming static data structures into dynamic structuresReport
1980Blum, Norbert
Mehlhorn, Kurt
Attachment IconOn the Average Number of Rebalancing Operations in Weight-Balanced Trees
In: Theoretical Computer Science [11], 303-320
Journal Article
1980Mehlhorn, Kurt
Overmars, Mark H.
Optimal dynamization of decomposable searching problemsReport
1980Mehlhorn, KurtAttachment IconPebbling Mountain Ranges and its Application of DCFL-Recognition
In: Automata, languages and programming (ICALP-80) : 7th annual international colloquium, 422-435
Proceedings Article
1979Alt, Helmut
Mehlhorn, Kurt
Attachment IconComplexity arguments in algebraic language theory
In: Revue française d'automatique, d'informatique et de recherche opérationnelle : RAIRO / Association Française pour la Cybernétique Economique et Technique [13], 217-225
Journal Article
1979Mehlhorn, KurtAttachment IconDynamic Binary Search
In: SIAM Journal on Computing [8], 175-198
Journal Article
1979Mehlhorn, KurtAttachment IconDynamic data structures
In: Mathematical Centre Tracts [108], 71-96
Journal Article
1979Mehlhorn, KurtAttachment IconKonzepte der Komplexitätstheorie illustriert am Beispiel des Sortierens
In: GI - 9. Jahrestagung, 16-22
Proceedings Article
1979Blum, Norbert
Mehlhorn, Kurt
Attachment IconMittlere Anzahl von Rebalancierungsoperationen in gewichtsbalancierten Bäumen
In: Theoretical Computer Science, 4th GI-Conference, 67-78
Proceedings Article
1979Mehlhorn, Kurt
Tsagarakis, M.
On the isomorphism of two algorithms: Hu/Tucker and Garsia/Wachs
In: Colloque de Lille `Les Arbres en Algebre et en Programmation' [??], ??
Journal Article
1979Mehlhorn, KurtAttachment IconParsing Macro Grammars Top Down
In: Information and Control [40], 123-143
Journal Article
1979Mehlhorn, KurtAttachment IconSearching, Sorting and Information Theory
In: Mathematical foundations of computer science (MFCS-79) : 8th symposium, 131-145
Proceedings Article
1979Mehlhorn, KurtAttachment IconSome Remarks on Boolean Sums
In: Acta Informatica [12], 371-375
Journal Article
1979Mehlhorn, KurtSome Remarks on Boolean Sums
In: Mathematical foundations of computer science (MFCS-79) : 8th symposium, 375-380
Proceedings Article
1979Mehlhorn, KurtAttachment IconSorting Presorted Files
In: Theoretical Computer Science, 4th GI-Conference, 199-212
Proceedings Article
1978Mehlhorn, KurtAn efficient algorithm for constructing nearly optimal prefix codesReport
1978Mehlhorn, KurtArbitrary Weight Changes in Dynamic TreesReport
1978Altenkamp, Doris
Mehlhorn, Kurt
Codes: Unequal Probabilities, Unequal Letter CostReport
1978Altenkamp, Doris
Mehlhorn, Kurt
Codes: Unequal Probabilities, Unequal Letter Cost
In: Automata, languages and programming (ICALP-78): 5th international colloquium, 15-25
Proceedings Article
1978Alt, Helmut
Mehlhorn, Kurt
Complexity Arguments in Algebraic Language TheoryReport
1978Mehlhorn, KurtEffiziente Algorithmen: Ein BeispielReport
1978Mehlhorn, KurtAttachment IconEffiziente Algorithmen: Ein Beispiel
In: Informatik Spektrum [1], 81-89
Journal Article
1978Blum, Norbert
Mehlhorn, Kurt
On the Average Number of Rebalancing Operations in Weight-Balanced TreesReport
1978Mehlhorn, KurtSorting Presorted FilesReport
1977Mehlhorn, KurtAttachment IconA best possible bound for the weighted path length of binary search trees
In: SIAM Journal on Computing [6], 235-239
Journal Article
1977Mehlhorn, KurtDynamic Binary Search
In: Automata, Languages and Programming : Fourth Colloquium (ICALP-77), 323-336
Proceedings Article
1977Mehlhorn, KurtEffiziente AlgorithmenBook
1977Deussen, Peter
Mehlhorn, Kurt
Attachment IconVan Wijngaarden Grammars and Space Complexity Class EXSPACE
In: Acta Informatica [8], 193-199
Journal Article
1976Mehlhorn, KurtAn improved lower bound on the formula complexity of context-free recognitionReport
1976Mehlhorn, KurtAttachment IconAn Improved Lower Bound on the Formula Complexity of Context-Free Recognition
In: Elektronische Informationsverarbeitung und Kybernetik [12], 523-524
Journal Article
1976Mehlhorn, KurtAn O(n log n) lower bound for the synchronous circuit size of integer multiplicationReport
1976Güttler, Reiner
Mehlhorn, Kurt
Schneider, Wolfgang
Binary Search Trees: Average and Worst Case BehaviorReport
1976Güttler, Reiner
Mehlhorn, Kurt
Schneider, Wolfgang
Wernet, Norbert
Binary Search Trees: Average and Worst Case Behavior
In: GI - 6. Jahrestagung, 301-313
Proceedings Article
1976Mehlhorn, KurtAttachment IconBracket-languages are recognizable in logarithmic space
In: Information Processing Letters [5], 168-170
Journal Article
1976Mehlhorn, KurtDynamic Binary SearchReport
1976Mehlhorn, KurtDynamic Binary Search Trees : Extended AbstractsReport
1976Alt, Helmut
Mehlhorn, Kurt
Attachment IconLower Bounds for the Space Complexity of Context-Free Recognition
In: Third International Colloquium on Automata, Languages and Programming, 338-354
Proceedings Article
1976Mehlhorn, Kurt
Galil, Zvi
Attachment IconMonotone Switching Circuits and Boolean Matrix Product
In: Computing [16], 99-111
Journal Article
1976Mehlhorn, KurtAttachment IconPolynomial and abstract subrecursive classes
In: Journal of Computer and System Sciences [12], 147-178
Journal Article
1976Heydthausen, Manfred
Mehlhorn, Kurt
Top Down Parsing of Macro Grammars
In: GI - 6. Jahrestagung, 95-108
Proceedings Article
1976Heydthausen, Manfred
Mehlhorn, Kurt
Top down parsing of macro grammars (preliminary report)Report
1975Mehlhorn, KurtA game on graphsReport
1975Alt, Helmut
Mehlhorn, Kurt
Attachment IconA Language over a One Symbol Alphabet Requiring only O(log log n) Space
In: SIGACT News [7], 31-33
Journal Article
1975Mehlhorn, KurtBest possible bounds for the weighted path length of optimum binary search trees
In: Automata Theory and Formal Languages, 2nd GI Conference, 31-41
Proceedings Article
1975Mehlhorn, KurtBracket-Languages are Recognizable in Logarithmic SpaceReport
1975Mehlhorn, Kurt
Galil, Zvi
Monotone Switching Circuits and Boolean Matrix Product
In: Mathematical foundations of computer science (MFCS-75) : 4th symposium, 315-319
Proceedings Article
1975Mehlhorn, KurtAttachment IconNearly Optimal Binary Search Trees
In: Acta Informatica [5], 287-295
Journal Article
1975Alt, Helmut
Mehlhorn, Kurt
Untere Schranken für den Platzbedarf bei der kontext-freien AnalyseReport
1974Mehlhorn, KurtAttachment IconPolynomial and abstract subrecursive classes
Cornell University
Thesis - PhD thesis
1974Mehlhorn, KurtPolynomial and abstract subrecursive classes
In: 14th Annual Symposium on Switching & Automata Theory (SSAT-73), 14
Report
1974Mehlhorn, KurtAttachment IconPolynomial and Abstract Subrecursive Classes
In: Conference Record of Sixth Annual ACM Symposium on Theory of computing (STOC-74), 96-109
In: Informatik Spektrum, 96-109
Proceedings Article
1974Mehlhorn, KurtAttachment IconThe 'almost all' theory of subrecursive degrees is decidable
In: Automata, languages and programming : 2nd colloquium (ICALP-74), 317-325
Proceedings Article
1973Mehlhorn, KurtAttachment IconOn the Size of Sets of Computable Functions
In: 14th Annual Symposium on Switching & Automata Theory (SSAT-73), 190-196
Proceedings Article
1973Mehlhorn, KurtOn the Size of Sets of Computable Functions
In: 14th Annual Symposium on Switching & Automata Theory (SSAT-73), 22
Report
1973Mehlhorn, KurtThe "almost all" theory of subrecursive degrees is decidable
In: 14th Annual Symposium on Switching & Automata Theory (SSAT-73), 25
Report
27
Show details for Mehlhorn, Kurt (ed.)Mehlhorn, Kurt (ed.)
2
Show details for Mehlhorn, K.Mehlhorn, K.
3
Show details for Mehnert, JensMehnert, Jens
1
Show details for Mehta, Dinesh (ed.)Mehta, Dinesh (ed.)
5
Show details for Meineche Schmidt, Erik (ed.)Meineche Schmidt, Erik (ed.)
1
Show details for Meinel, ChristophMeinel, Christoph
4
Show details for Meinel, Christoph (ed.)Meinel, Christoph (ed.)
9
Show details for Meiser, StefanMeiser, Stefan
1
Show details for Mercas, RobertMercas, Robert
1
Show details for Merelo-Guervós, Juan J. (ed.)Merelo-Guervós, Juan J. (ed.)
1
Show details for Merkle, Wolfgang (ed.)Merkle, Wolfgang (ed.)
31
Show details for Mestre, JulianMestre, Julian
1
Show details for Metzler, MatthiasMetzler, Matthias
1
Show details for Meyer-Bäse, AnkeMeyer-Bäse, Anke
5
Show details for Meyer auf der Heide, FriedhelmMeyer auf der Heide, Friedhelm
9
Show details for Meyer auf der Heide, Friedhelm (ed.)Meyer auf der Heide, Friedhelm (ed.)
1
Show details for Meyerhenke, HenningMeyerhenke, Henning
2
Show details for Meyerovitch, MichalMeyerovitch, Michal
1
Show details for Meyer, AndreasMeyer, Andreas
46
Show details for Meyer, UlrichMeyer, Ulrich
9
Show details for Meyer, Ulrich (ed.)Meyer, Ulrich (ed.)
1
Show details for Meyer, UlrikeMeyer, Ulrike
1
Show details for Michaelson, S. (ed.)Michaelson, S. (ed.)
1
Show details for Michael, DimitriosMichael, Dimitrios
15
Show details for Michail, DimitriosMichail, Dimitrios
2
Show details for Michail, D.Michail, D.
1
Show details for Michalewicz, ZbigniewMichalewicz, Zbigniew
1
Show details for Michalik, HaraldMichalik, Harald
1
Show details for Michel, LaurentMichel, Laurent
1
Show details for Middendorf, Martin (ed.)Middendorf, Martin (ed.)
2
Show details for Mignotte, Anne (ed.)Mignotte, Anne (ed.)
1
Show details for Miklos, BalintMiklos, Balint
1
Show details for Milano, Michela (ed.)Milano, Michela (ed.)
1
Show details for Miller, Julian F. (ed.)Miller, Julian F. (ed.)
2
Show details for Miller, Julian (ed.)Miller, Julian (ed.)
1
Show details for Miller, KillianMiller, Killian
3
Show details for Miller, TobiasMiller, Tobias
2
Show details for Millozzi, StefanoMillozzi, Stefano
1
Show details for Milner, R. (ed.)Milner, R. (ed.)
9
Show details for Milosavljevic, NikolaMilosavljevic, Nikola
2
Show details for Minder, LorenzMinder, Lorenz
1
Show details for Mintz, AviadMintz, Aviad
2
Show details for Mirkowska, Grazyna (ed.)Mirkowska, Grazyna (ed.)
8
Show details for Misra, NeeldharaMisra, Neeldhara
2
Show details for Mitchell, Joe (ed.)Mitchell, Joe (ed.)
1
Show details for Mitchell, John C. (ed.)Mitchell, John C. (ed.)
1
Show details for Mitchell, Joseph S. B. (ed.)Mitchell, Joseph S. B. (ed.)
1
Show details for Mitsche, DieterMitsche, Dieter
6
Show details for Mitzenmacher, MichaelMitzenmacher, Michael
1
Show details for Miyano, Satoru (ed.)Miyano, Satoru (ed.)
1
Show details for Mladenic, Dunja (ed.)Mladenic, Dunja (ed.)
4
Show details for Mnich, MatthiasMnich, Matthias
1
Show details for Moehring, Rolf H.Moehring, Rolf H.
3
Show details for Moffat, Alistair (ed.)Moffat, Alistair (ed.)
1
Show details for Möhring, Rolf H.Möhring, Rolf H.
5
Show details for Möhring, Rolf (ed.)Möhring, Rolf (ed.)
1
Show details for Mohri, Mehryar (ed.)Mohri, Mehryar (ed.)
1
Show details for Mokbel, Mohamed F.Mokbel, Mohamed F.
1
Show details for Möller, Bernhard (ed.)Möller, Bernhard (ed.)
2
Show details for Molter, HendrikMolter, Hendrik
6
Show details for Monien, Burkhard (ed.)Monien, Burkhard (ed.)
1
Show details for Monmarché, Nicolas (ed.)Monmarché, Nicolas (ed.)
2
Show details for Montanari, Ugo (ed.)Montanari, Ugo (ed.)
3
Show details for Monteiro, Luís (ed.)Monteiro, Luís (ed.)
1
Show details for Montresor, Alberto (ed.)Montresor, Alberto (ed.)
5
Show details for Moore, Jason H. (ed.)Moore, Jason H. (ed.)
2
Show details for Moore, Jason (ed.)Moore, Jason (ed.)
3
Show details for Morales, Rafael (ed.)Morales, Rafael (ed.)
2
Show details for Moran, ShayMoran, Shay
1
Show details for Moran, ShlomoMoran, Shlomo
2
Show details for Moreno Maza, Marc (ed.)Moreno Maza, Marc (ed.)
1
Show details for Moret, BernardMoret, Bernard
3
Show details for Moret, Bernard (ed.)Moret, Bernard (ed.)
1
Show details for Morgenstern, BurkhardMorgenstern, Burkhard
1
Show details for Morgenstern, Gila (ed.)Morgenstern, Gila (ed.)
1
Show details for Mörig, MarcMörig, Marc
1
Show details for Morin, Pat (ed.)Morin, Pat (ed.)
1
Show details for Morozov, Andrey (ed.)Morozov, Andrey (ed.)
1
Show details for Morozov, DmitriyMorozov, Dmitriy
1
Show details for Morreale, Jay (ed.)Morreale, Jay (ed.)
2
Show details for Mortensen, Christian WormMortensen, Christian Worm
4
Show details for Morvan, Michel (ed.)Morvan, Michel (ed.)
1
Show details for Moser, HannesMoser, Hannes
1
Show details for Moshe, Lewenstein (ed.)Moshe, Lewenstein (ed.)
1
Show details for Motskin, ArikMotskin, Arik
1
Show details for Motwani, Rajeev (ed.)Motwani, Rajeev (ed.)
10
Show details for Mount, David M.Mount, David M.
1
Show details for Moura, Arnaldo V. (ed.)Moura, Arnaldo V. (ed.)
4
Show details for Mourrain, BernardMourrain, Bernard
1
Show details for Mozes, ShayMozes, Shay
1
Show details for Mucherino, Antonio (ed.)Mucherino, Antonio (ed.)
1
Show details for Mueck, ThomasMueck, Thomas
4
Show details for Müller-Hannemann, Matthias (ed.)Müller-Hannemann, Matthias (ed.)
1
Show details for Müller, HaikoMüller, Haiko
2
Show details for Müller, JoachimMüller, Joachim
2
Show details for Müller, MatthiasMüller, Matthias
3
Show details for Müller, MichaelMüller, Michael
8
Show details for Müller, PeterMüller, Peter
2
Show details for Müller, TobiasMüller, Tobias
1
Show details for Munro, I.Munro, I.
1
Show details for Munro, J.Munro, J.
4
Show details for Munro, J. IanMunro, J. Ian
1
Show details for Mun, Youngsong (ed.)Mun, Youngsong (ed.)
2
Show details for Murlak, Filip (ed.)Murlak, Filip (ed.)
1
Show details for Musial, Peter M.Musial, Peter M.
1
Show details for Musser, David R. (ed.)Musser, David R. (ed.)
1
Show details for Musser, David (ed.)Musser, David (ed.)
7
Show details for Mustafa, Nabil H.Mustafa, Nabil H.
3
Show details for Muthukrishnan, S.Muthukrishnan, S.
44
Show details for Mutzel, PetraMutzel, Petra
4
Show details for Mütze, TorstenMütze, Torsten
3
Show details for Myers, Gene (ed.)Myers, Gene (ed.)
1
Show details for M. Halldórsson, Magnús (ed.)M. Halldórsson, Magnús (ed.)
2
Show details for Nagamochi, Hiroshi (ed.)Nagamochi, Hiroshi (ed.)
1
Show details for Nagarajan, ViswanathNagarajan, Viswanath
1
Show details for Nagel, LarsNagel, Lars
1
Show details for Näher, SNäher, S
45
Show details for Näher, StefanNäher, Stefan
4
Show details for Näher, Stefan (ed.)Näher, Stefan (ed.)
1
Show details for Nakano, Shin-Ichi (ed.)Nakano, Shin-Ichi (ed.)
1
Show details for Nakano, S. (ed.)Nakano, S. (ed.)
1
Show details for Nanavati, AkashNanavati, Akash
1
Show details for Nannicini, Giacomo (ed.)Nannicini, Giacomo (ed.)
2
Show details for Nanni, UmbertoNanni, Umberto
1
Show details for Nanongkai, DanuponNanongkai, Danupon
1
Show details for Naor, Joseph (ed.)Naor, Joseph (ed.)
1
Show details for Narayanaswamy, N.S.Narayanaswamy, N.S.
2
Show details for Narayan, OruttomNarayan, Oruttom
1
Show details for Nardelli, Enrico (ed.)Nardelli, Enrico (ed.)
1
Show details for Narodytska, NinaNarodytska, Nina
1
Show details for Narula, VishalNarula, Vishal
3
Show details for Nasre, MeghanaNasre, Meghana
1
Show details for Nasre, M.Nasre, M.
1
Show details for Nasr, MeghanaNasr, Meghana
10
Show details for Naujoks, RouvenNaujoks, Rouven
1
Show details for Navarro, GonzaloNavarro, Gonzalo
1
Show details for Nechushtan, OrenNechushtan, Oren
1
Show details for Nederlof, JesperNederlof, Jesper
Next Page