×

LIPIcs – Leibniz International Proceedings in Informatics

Short Title: LIPIcs – Leibniz Int. Proc. Inform.
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Wadern
ISSN: 1868-8969/e
Online: http://drops.dagstuhl.de/opus/institut_lipics.php
Comments: Book series; This series is published open access. This series is published electronic only.
Documents Indexed: 259 Publications (since 2008)
References Indexed: 34 Publications with 244 References.
all top 5

Authors / Editors

5 Herman, Grzegorz
5 Jansen, Klaus
5 Rolim, José D. P.
4 Chatzigiannakis, Ioannis
3 Albers, Susanne
3 Dawar, Anuj
3 Merelli, Emanuela
3 Muscholl, Anca
3 Niedermeier, Rolf
3 Paul, Christophe
3 Puglisi, Simon J.
2 Altenkirch, Thorsten
2 Artikis, Alexander
2 Aspnes, James
2 Baier, Christel
2 Berenbrink, Petra
2 Bezem, Marc
2 Bläser, Markus
2 Bojańczyk, Mikołaj
2 Bonchi, Filippo
2 Bramas, Quentin
2 Cao, Yixin
2 Czumaj, Artur
2 Dürr, Christoph
2 Farach-Colton, Martin
2 Felber, Pascal
2 Fernández, Maribel
2 Flammia, Steven T.
2 Geuvers, Jan Herman
2 Ghilezan, Silvia
2 Gilbert, Seth
2 Gørtz, Inge Li
2 Grandoni, Fabrizio
2 Kesner, Delia
2 Klin, Bartek
2 Leonardi, Stefano
2 Mahajan, Meena
2 Marion, Jean-Yves
2 Mayr, Ernst W.
2 Monmege, Benjamin
2 Navarro, Gonzalo
2 Ollinger, Nicolas
2 Oshman, Rotem
2 Pagh, Rasmus
2 Pisanti, Nadia
2 Pissis, Solon P.
2 Portier, Natacha
2 Prencipe, Giuseppe
2 Raskin, Jean-François
2 Schewe, Sven
2 Schwentick, Thomas
2 Silva, Alexandra
2 Spirakis, Paul G.
2 Tauman Kalai, Yael
2 van Raamsdonk, Femke
2 Vollmer, Heribert
2 Ward, Mark Daniel
2 Wilke, Thomas
1 Abel, Andreas M.
1 Aceto, Luca
1 Achlioptas, Dimitris
1 Ahn, Hee-Kap
1 Akshay, S.
1 Alechina, Natasha
1 Altmeyer, Sebastian A.
1 Amsterdamer, Yael
1 Anceaume, Emmanuelle
1 Andronick, June
1 Arenas, Marcelo
1 Arge, Lars
1 Ariola, Zena M.
1 Aronov, Boris
1 Attiya, Hagit
1 Azar, Yossi
1 Bae, Sang Won
1 Baldan, Paolo
1 Ballatore, Andrea
1 Bannai, Hideo
1 Bansal, Nikhil
1 Barceló, Pablo
1 Barequet, Gill
1 Basold, Henning
1 Bast, Hannah
1 Beigi, Salman
1 Belazzougui, Djamal
1 Bender, Michael A.
1 Benedikt, Michael A.
1 Berardi, Stefano
1 Bertogna, Marko
1 Bessani, Alysson Neves
1 Blais, Eric
1 Blum, Avrim L.
1 Bodlaender, Hans L.
1 Boucher, Christina
1 Bouyer, Patricia
1 Brandão, Fernando G. S. L.
1 Brandenburg, Björn B.
1 Braverman, Mark
1 Broadbent, Anne
1 Bruse, Florian
...and 351 more Authors

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 74 times in 70 Documents Cited by Year
7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Zbl 1491.68017
6
2022
12th innovations in theoretical computer science conference, ITCS 2021, virtual conference, January 6–8, 2021. Zbl 1465.68025
4
2021
16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Zbl 1482.68023
4
2021
47th international colloquium on automata, languages, and programming, ICALP 2020, Saarbrücken, Germany (virtual conference), July 8–11, 2020. Proceedings. Zbl 1436.68013
3
2020
17th international symposium on parameterized and exact computation (IPEC 2022), Potsdam, Germany, September 7–9, 2022. Zbl 1502.68027
3
2022
49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Zbl 1491.68012
3
2022
30th annual European symposium on algorithms, ESA 2022, Berlin/Potsdam, Germany, September 5–9, 2022. Zbl 1496.68015
3
2022
13th innovations in theoretical computer science conference, ITCS 2022, Berkeley, CA, USA, January 31 – February 3, 2022. Zbl 1482.68012
3
2022
STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Zbl 1213.68019
2
2009
STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Zbl 1213.68063
2
2011
32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Zbl 1329.68033
2
2015
24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Zbl 1329.68032
2
2015
12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Zbl 1465.68016
2
2021
37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Zbl 1433.68032
2
2020
45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Zbl 1392.68012
2
2018
Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Zbl 1253.68010
1
2012
IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Zbl 1237.68015
1
2011
Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Zbl 1237.68014
1
2011
21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Zbl 1387.68011
1
2018
31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Zbl 1294.68025
1
2014
27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Zbl 1351.68014
1
2016
Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 20th international workshop, APPROX 2017 and 21st international workshop, RANDOM 2017, Berkeley, CA, USA, August 16–18, 2017. Proceedings. Zbl 1372.68012
1
2017
28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Zbl 1376.68013
1
2017
42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Zbl 1376.68011
1
2017
44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Zbl 1373.68018
1
2017
29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Zbl 1473.68018
1
2021
35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Zbl 1473.68015
1
2021
30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Zbl 1423.68023
1
2019
Approximation, randomization, and combinatorial optimization. Algorithms and techniques, 22nd international conference, APPROX 2019, and 23rd international conference, RANDOM 2019, Massachusetts Institute of Technology, Cambridge, MA, USA, September 20–22, 2019. Proceedings. Zbl 1423.68013
1
2019
22nd international conference on types for proofs and programs, TYPES 2016, May 23–26, 2016, Novi Sad, Serbia. Zbl 1407.68033
1
2018
8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Zbl 1518.68012
1
2023
28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Zbl 1445.68017
1
2020
38th international symposium on theoretical aspects of computer science, STACS 2021, Saarbrücken, Germany, virtual conference, March 16–19, 2021. Zbl 1465.68010
1
2021
26th international conference on types for proofs and programs, TYPES 2020, University of Turin, Turin, Italy March 2–5, 2020. Zbl 1465.68018
1
2021
37th international symposium on computational geometry, SoCG 2021, Buffalo, NY, USA, virtual conference, June 7–11, 2021. Zbl 1465.68012
1
2021
3rd symposium on foundations of responsible computing, FORC 2022, Cambridge, MA, USA, June 6–8, 2022. Zbl 1491.68013
1
2022
3rd conference on information-theoretic cryptography, ITC 2022, Cambridge, MA, USA, July 5–7, 2022. Zbl 1491.94003
1
2022
32nd annual symposium on combinatorial pattern matching, CPM 2021, Wrocław, Poland, July 5–7, 2021. Zbl 1465.68019
1
2021
8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Zbl 1433.68034
1
2019
40th international symposium on theoretical aspects of computer science, STACS 2023, Hamburg, Germany, March 7–9, 2023. Zbl 1507.68023
1
2023
32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Zbl 1468.68015
1
2021
30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Zbl 1280.68037
1
2013
Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Zbl 1280.68038
1
2013
29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Zbl 1390.68020
1
2018
46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Zbl 1414.68003
1
2019
14th conference on the theory of quantum computation, communication and cryptography, TQC 2019, College Park, Maryland, USA, June 3–5, 2019. Proceedings. Zbl 1414.68010
1
2019
8th international conference on formal structures for computation and deduction, FSCD 2023, Rome, Italy, July 3–6, 2023. Zbl 1518.68012
1
2023
40th international symposium on theoretical aspects of computer science, STACS 2023, Hamburg, Germany, March 7–9, 2023. Zbl 1507.68023
1
2023
7th international conference on formal structures for computation and deduction, FSCD 2022, Haifa, Israel, August 2–5, 2022. Zbl 1491.68017
6
2022
17th international symposium on parameterized and exact computation (IPEC 2022), Potsdam, Germany, September 7–9, 2022. Zbl 1502.68027
3
2022
49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Zbl 1491.68012
3
2022
30th annual European symposium on algorithms, ESA 2022, Berlin/Potsdam, Germany, September 5–9, 2022. Zbl 1496.68015
3
2022
13th innovations in theoretical computer science conference, ITCS 2022, Berkeley, CA, USA, January 31 – February 3, 2022. Zbl 1482.68012
3
2022
3rd symposium on foundations of responsible computing, FORC 2022, Cambridge, MA, USA, June 6–8, 2022. Zbl 1491.68013
1
2022
3rd conference on information-theoretic cryptography, ITC 2022, Cambridge, MA, USA, July 5–7, 2022. Zbl 1491.94003
1
2022
12th innovations in theoretical computer science conference, ITCS 2021, virtual conference, January 6–8, 2021. Zbl 1465.68025
4
2021
16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Zbl 1482.68023
4
2021
12th international conference on interactive theorem proving, ITP 2021, Rome, Italy, virtual conference, June 29 – July 1, 2021. Zbl 1465.68016
2
2021
29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Zbl 1473.68018
1
2021
35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Zbl 1473.68015
1
2021
38th international symposium on theoretical aspects of computer science, STACS 2021, Saarbrücken, Germany, virtual conference, March 16–19, 2021. Zbl 1465.68010
1
2021
26th international conference on types for proofs and programs, TYPES 2020, University of Turin, Turin, Italy March 2–5, 2020. Zbl 1465.68018
1
2021
37th international symposium on computational geometry, SoCG 2021, Buffalo, NY, USA, virtual conference, June 7–11, 2021. Zbl 1465.68012
1
2021
32nd annual symposium on combinatorial pattern matching, CPM 2021, Wrocław, Poland, July 5–7, 2021. Zbl 1465.68019
1
2021
32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Zbl 1468.68015
1
2021
47th international colloquium on automata, languages, and programming, ICALP 2020, Saarbrücken, Germany (virtual conference), July 8–11, 2020. Proceedings. Zbl 1436.68013
3
2020
37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Zbl 1433.68032
2
2020
28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Zbl 1445.68017
1
2020
30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Zbl 1423.68023
1
2019
Approximation, randomization, and combinatorial optimization. Algorithms and techniques, 22nd international conference, APPROX 2019, and 23rd international conference, RANDOM 2019, Massachusetts Institute of Technology, Cambridge, MA, USA, September 20–22, 2019. Proceedings. Zbl 1423.68013
1
2019
8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Zbl 1433.68034
1
2019
46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Zbl 1414.68003
1
2019
14th conference on the theory of quantum computation, communication and cryptography, TQC 2019, College Park, Maryland, USA, June 3–5, 2019. Proceedings. Zbl 1414.68010
1
2019
45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Zbl 1392.68012
2
2018
21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Zbl 1387.68011
1
2018
22nd international conference on types for proofs and programs, TYPES 2016, May 23–26, 2016, Novi Sad, Serbia. Zbl 1407.68033
1
2018
29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Zbl 1390.68020
1
2018
Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 20th international workshop, APPROX 2017 and 21st international workshop, RANDOM 2017, Berkeley, CA, USA, August 16–18, 2017. Proceedings. Zbl 1372.68012
1
2017
28th international symposium on algorithms and computation, ISAAC 2017, December 9–12, 2017, Phuket, Thailand. Zbl 1376.68013
1
2017
42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Zbl 1376.68011
1
2017
44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Zbl 1373.68018
1
2017
27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Zbl 1351.68014
1
2016
32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Zbl 1329.68033
2
2015
24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Zbl 1329.68032
2
2015
31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Zbl 1294.68025
1
2014
30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Zbl 1280.68037
1
2013
Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Zbl 1280.68038
1
2013
Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Zbl 1253.68010
1
2012
STACS 2011. 28th international symposium on theoretical aspects of computer science, Dortmund, Germany, March 10–12, 2011. Zbl 1213.68063
2
2011
IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Zbl 1237.68015
1
2011
Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Zbl 1237.68014
1
2011
STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Zbl 1213.68019
2
2009
all top 5

Cited by 181 Authors

2 Bonnet, Edouard
2 Hoyrup, Mathieu
2 Katsumata, Shin-ya
2 Labarre, Anthony
2 Parys, Paweł
2 Randour, Mickael
2 Saurabh, Saket
2 Straßburger, Lutz
1 Abraham, Ittai
1 Acclavio, Matteo
1 Acosta, Nidia Obscura
1 Almeida, Sheila M.
1 Alves, Sandra
1 Amir, Djamel Eddine
1 Aschieri, Federico
1 Asharov, Gilad
1 Aubert, Clément
1 Ayala-Rincón, Mauricio
1 Banik, Aritra
1 Barozzini, David
1 Behr, Nicolas
1 Bergougnoux, Benjamin
1 Blockeel, Hendrik
1 Bodlaender, Hans L.
1 Bogaerts, Bart
1 Borndörfer, Ralf
1 Borradaile, Glencora
1 Bouyer, Patricia
1 Bruynooghe, Maurice
1 Bulteau, Laurent
1 Cadilhac, Michaël
1 Censor-Hillel, Keren
1 Chatzikyriakidis, Stergios
1 Chewi, Sinho
1 Clemente, Lorenzo
1 Cohen, Shir
1 Colcombet, Thomas
1 Dallant, Justin
1 de Cat, Broes
1 De Groot, Jim
1 de Keijzer, Bart
1 De Pooter, Stef
1 Denecker, Marc
1 Déprés, Hugues
1 Donkers, Huib
1 Dreier, Jan
1 Drmota, Michael
1 Dublois, Louis
1 Ducoffe, Guillaume
1 Eick, Bettina
1 Fei, Shaoming
1 Fernández, Maribel
1 Filmus, Yuval
1 Fiorini, Samuel
1 Fomin, Fedor V.
1 Foucaud, Florent
1 Fukihara, Yōji
1 Gąsieniec, Leszek Antoni
1 Gelles, Ran
1 Gerber, Patrik
1 Golovach, Petr A.
1 Gonzalez, Carolina Lucía
1 Goubault-Larrecq, Jean
1 Grohe, Martin
1 Gupta, Siddharth
1 Hainzl, Eva-Maria
1 Harmer, Russ
1 Hermelin, Danny
1 Holt, Derek F.
1 Holub, Štěpán
1 Horne, Ross
1 Iacono, John
1 Ioannidis, Stavros D.
1 Jansen, Bart M. P.
1 Jansen, Joachim
1 Joret, Gwenaël
1 Jurdziński, Tomasz
1 Kabán, Ata
1 Kesner, Delia
1 Khadiev, Kamil
1 Kharim, Aabid Seeyal Abdul
1 Klasing, Ralf
1 Knop, Dušan
1 Komorida, Yuichi
1 Kraus, Luitgard
1 Krivine, Jean
1 Kutsia, Temur
1 Lampis, Michael
1 Lehtilä, Tuomo
1 Leroux, Stéphane
1 Levcopoulos, Christos
1 Li, Ming
1 Li, Weiguo
1 Li, Ze-Tong
1 Lindzey, Nathan
1 Lingas, Andrzej
1 Liu, Quanquan C.
1 Liu, Xiaoqi
1 Lochet, William
1 Loukides, Grigorios
...and 81 more Authors

Citations by Year