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 Latest Volumes 281 (2023) 279 (2023) 278 (2023) 276 (2023) 275 (2023) 274 (2023) 273 (2023) 272 (2023) 271 (2023) 270 (2023) 269 (2023) 268 (2023) 267 (2023) 266 (2023) 265 (2023) 264 (2023) 262 (2023) 261 (2023) 260 (2023) 259 (2023) 258 (2023) 257 (2023) 255 (2023) 254 (2023) 253 (2023) 252 (2023) 251 (2023) 250 (2022) 249 (2022) 248 (2022) 247 (2022) 246 (2022) 245 (2022) 244 (2022) 243 (2022) 242 (2022) 241 (2022) 240 (2022) 239 (2022) 238 (2022) 237 (2022) 236 (2022) 234 (2022) 233 (2022) 232 (2022) 231 (2022) 230 (2022) 229 (2022) 228 (2022) 227 (2022) 226 (2022) 225 (2022) 224 (2022) 223 (2022) 221 (2022) 220 (2022) 219 (2022) 218 (2022) 217 (2022) 216 (2022) 215 (2022) 214 (2021) 213 (2021) 212 (2021) 211 (2021) 209 (2021) 207 (2021) 206 (2021) 205 (2021) 204 (2021) 203 (2021) 202 (2021) 201 (2021) 200 (2021) 199 (2021) 198 (2021) 197 (2021) 196 (2021) 195 (2021) 193 (2021) 191 (2021) 190 (2021) 189 (2021) 188 (2021) 187 (2021) 186 (2021) 185 (2021) 184 (2021) 183 (2021) 182 (2020) 181 (2020) 180 (2020) 179 (2020) 178 (2020) 176 (2020) 175 (2020) 174 (2020) 173 (2020) 172 (2020) 171 (2020) ...and 157 more Volumes 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 all top 5 Fields 259 General and overarching topics; collections (00-XX) 249 Computer science (68-XX) 35 Mathematical logic and foundations (03-XX) 11 Quantum theory (81-XX) 10 Operations research, mathematical programming (90-XX) 7 Biology and other natural sciences (92-XX) 4 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 33 Journals 6 Logical Methods in Computer Science 5 Journal of Computer and System Sciences 5 Theoretical Computer Science 3 Discrete Applied Mathematics 3 Information Processing Letters 3 Algorithmica 2 Journal of Combinatorial Theory. Series B 2 Random Structures & Algorithms 2 Theory of Computing Systems 2 Quantum Information Processing 1 Acta Informatica 1 Advances in Mathematics 1 Colloquium Mathematicum 1 Networks 1 SIAM Journal on Computing 1 Studia Logica 1 European Journal of Combinatorics 1 Annals of Pure and Applied Logic 1 Statistical Science 1 Journal of Cryptology 1 Machine Learning 1 Computational Geometry 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Combinatorics, Probability and Computing 1 Séminaire Lotharingien de Combinatoire 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Natural Computing 1 Oberwolfach Reports 1 Computability 1 Journal of Logical and Algebraic Methods in Programming 1 La Matematica all top 5 Cited in 15 Fields 49 Computer science (68-XX) 18 Combinatorics (05-XX) 13 Mathematical logic and foundations (03-XX) 4 Operations research, mathematical programming (90-XX) 2 Group theory and generalizations (20-XX) 2 General topology (54-XX) 2 Quantum theory (81-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year