Bulletin of the European Association for Theoretical Computer Science EATCS Short Title: Bull. Eur. Assoc. Theor. Comput. Sci. EATCS Publisher: European Association for Theoretical Computer Science, [s.l.] ISSN: 0252-9742 Online: http://bulletin.eatcs.org/index.php/beatcs/issue/archivehttp://eatcs.org/index.php/on-line-issues Predecessor: Bulletin of the European Association for Theoretical Computer Science (EATCS) Comments: This journal is available open access. Documents Indexed: 485 Publications (since 1998) all top 5 Latest Issues 136 (2022) 135 (2021) 134 (2021) 133 (2021) 132 (2020) 131 (2020) 130 (2020) 129 (2019) 128 (2019) 127 (2019) 126 (2018) 125 (2018) 124 (2018) 123 (2017) 122 (2017) 121 (2017) 120 (2016) 119 (2016) 118 (2016) 117 (2015) 116 (2015) 115 (2015) 114 (2014) 113 (2014) 112 (2014) 111 (2013) 110 (2013) 109 (2013) 108 (2012) 107 (2012) 106 (2012) 105 (2011) 104 (2011) 103 (2011) 102 (2010) 101 (2010) 100 (2010) 99 (2009) 98 (2009) 95 (2008) 94 (2008) 93 (2007) 92 (2007) 91 (2007) 90 (2006) 89 (2006) 88 (2006) 87 (2005) 86 (2005) 85 (2005) 84 (2004) 83 (2004) 82 (2004) 81 (2003) 80 (2003) 79 (2003) 78 (2002) 77 (2002) 76 (2002) 75 (2001) 74 (2001) 73 (2001) 72 (2000) 71 (2000) 70 (2000) 69 (1999) 68 (1999) 67 (1999) 66 (1998) 65 (1998) all top 5 Authors 27 Gurevich, Yuri 19 Blass, Andreas Raphael 12 Ehrig, Hartmut 10 Calude, Cristian S. 8 Kreinovich, Vladik Yakovlevich 7 Aceto, Luca 7 Honkala, Juha 7 Păun, Gheorghe 7 Raynal, Michel 6 Arvind, Vikraman 6 Harju, Tero 6 Salomaa, Arto Kustaa 6 Spirakis, Paul G. 5 Mavronicolas, Marios 5 Woeginger, Gerhard Johannes 4 Busch, Costas 4 Fortnow, Lance J. 4 Hirvensalo, Mika 4 Ingólfsdóttir, Anna 4 Khan, Samee Ullah 4 Longpré, Luc 4 Petre, Ion 4 Rozenberg, Grzegorz 4 Torán, Jacobo 3 Born, Axel 3 Calude, Elena 3 Chaitin, Gregory John 3 Domaratzki, Michael 3 Gasarch, William Ian 3 Gates, Ann Q. 3 Hermann, Frank 3 Hurkens, Cor A. J. 3 Köbler, Johannes 3 Malkhi, Dahlia 3 Martín-Vide, Carlos 3 Mateescu, Alexandru 3 Nikoletseas, Sotiris E. 3 Orejas, Fernando 3 Prange, Ulrike 3 Staiger, Ludwig 3 Vágvölgyi, Sándor 2 Ahmad, Ishfaq 2 Apt, Krzysztof Rafal 2 Aspnes, James 2 Avin, Chen 2 Baquero, Carlos 2 Barak, Boaz 2 Buhrman, Harry 2 Burrieza, Alfredo 2 Dinneen, Michael J. 2 Dömösi, Pál 2 Ermel, Claudia 2 Fatourou, Panagiota 2 Fenner, Stephen A. 2 Fici, Gabriele 2 Finkel, Olivier 2 Flum, Jörg 2 Fokkink, Willem Jan 2 Freund, Rudolf 2 Garcia, Pedro 2 Grochow, Joshua A. 2 Große-Rhode, Martin 2 Halava, Vesa 2 Heckel, Reiko 2 Herlihy, Maurice P. 2 Jonoska, Nataša 2 Karhumaki, Juhani 2 Kari, Jarkko 2 Klop, Jan Willem 2 Koshelev, Misha 2 Koucký, Michal 2 Mahajan, Meena 2 Mäkinen, Erkki 2 Marcus, Solomon 2 Montanari, Ugo G. 2 Nowotka, Dirk 2 Okhotin, Alexander 2 Onn, Shmuel 2 Padberg, Julia 2 2 Quaglia, Paola 2 Rampersad, Narad 2 Reniers, Michel Adriaan 2 Richomme, Gwénaël 2 Russell, Alexander C. 2 Saptharishi, Ramprasad 2 Saurabh, Saket 2 Schmid, Stefan 2 Schmid, Ulrich 2 Schwarzmann, Alexander A. 2 Sciavicco, Guido 2 Siromoney, Rani 2 Sobociński, Paweł 2 Szpankowski, Wojciech 2 Taubenfeld, Gadi 2 Vollmer, Heribert 2 Vovk, Vladimir G. 2 Vukolić, Marko 2 Yu, Sheng 2 Zach, Richard ...and 500 more Authors all top 5 Fields 433 Computer science (68-XX) 64 Mathematical logic and foundations (03-XX) 50 History and biography (01-XX) 26 Combinatorics (05-XX) 22 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Quantum theory (81-XX) 15 Information and communication theory, circuits (94-XX) 14 Operations research, mathematical programming (90-XX) 8 General and overarching topics; collections (00-XX) 8 Probability theory and stochastic processes (60-XX) 7 Biology and other natural sciences (92-XX) 5 Group theory and generalizations (20-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Number theory (11-XX) 3 Category theory; homological algebra (18-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Statistics (62-XX) 2 General algebraic systems (08-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Topological groups, Lie groups (22-XX) 1 Partial differential equations (35-XX) 1 Abstract harmonic analysis (43-XX) 1 General topology (54-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 229 Publications have been cited 1,155 times in 1,098 Documents Cited by ▼ Year ▼ Lower bounds based on the exponential time hypothesis. Zbl 1258.68068Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket 96 2011 The art of uninformed decisions. A primer to property testing. Zbl 1024.68045Fischer, Eldar 52 2001 Recent developments in explicit constructions of extractors. Zbl 1051.68070Shaltiel, Ronen 36 2002 An introduction to population protocols. Zbl 1169.68326Aspnes, James; Ruppert, Eric 34 2007 Combinatorics on words – a tutorial. Zbl 1169.68560Berstel, J.; Karhumäki, J. 28 2003 A counter example to a conjecture concerning synchronizing words in finite automata. Zbl 0977.68055Kari, Jarkko 23 2001 Open questions in the theory of automatic structures. Zbl 1169.03352Khoussainov, Bakhadyr; Nerode, Anil 23 2008 Fine and Wilf’s theorem for abelian periods. Zbl 1169.68561Constantinescu, Sorin; Ilie, Lucian 22 2006 Some new techniques in design and analysis of exact (exponential) algorithms. Zbl 1169.68669Fomin, Fedor V.; Grandoni, Fabrizio; Kratsch, Dieter 21 2005 Propositional proof complexity: Past present, and future. Zbl 0908.68164Beame, Paul; Pitassi, Toniann 21 1998 Many-valued truth functions, Černý’s conjecture and road coloring. Zbl 0952.68072Mateescu, Alexandru; Salomaa, Arto 20 1999 Progress on polynomial identity testing. Zbl 1188.68154Saxena, Nitin 20 2009 The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220Moore, Cristopher 17 2017 Causal-consistent reversibility. Zbl 1409.68117Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 15 2014 Communication lower bounds using dual polynomials. Zbl 1169.68438Sherstov, Alexander A. 14 2008 20 years of modal and mixed specifications. Zbl 1169.68498Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 14 2008 A short note on analysing P systems with antiport rules. Zbl 1169.68411Freund, Rudolf; Oswald, Marion 12 2002 Henkin quantifiers: logic, games, and computation. Zbl 1169.68439Sevenster, Merlijn 12 2006 Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071Dom, Michael 12 2009 Interval temporal logics: a journey. Zbl 1275.03087Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido 12 2011 Computational tractability: The view from Mars. Zbl 0941.68577Downey, Rodney G.; Fellows, Michael R.; Stege, Ulrike 11 1999 On the regularity of duplication closure. Zbl 0941.68605Dassow, Jürgen; Mitrana, Victor; Păun, Gheorghe 11 1999 Temporal logic with past is exponentially more succinct. Zbl 1169.03332Markey, Nicolas 11 2003 Worst-case upper bounds for \(k\)-SAT. Zbl 1169.68443Iwama, Kazuo 11 2004 Sublinear-time algorithms. Zbl 1169.68442Czumaj, Artur; Sohler, Christian 11 2006 Binary words with few squares. Zbl 1169.68565Harju, Tero; Nowotka, Dirk 11 2006 On the irregularity of the duplication closure. Zbl 0983.68111Wang, Ming-Wei 10 2000 Parameterized complexity and subexponential time. Zbl 1169.68428Flum, Jörg; Grohe, Martin 10 2004 Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank 10 2010 Recent developments in kernelization: a survey. Zbl 1409.68144Kratsch, Stefan 10 2014 A survey on private information retrieval. Zbl 1169.94341Gasarch, William 9 2004 Parameterized complexity for graph layout problems. Zbl 1169.68446Serna, Maria; Thilikos, Dimitrios M. 9 2005 Isomorphism testing: perspective and open problems. Zbl 1169.68440Arvind, V.; Torán, Jacobo 9 2005 A short survey on Watson-Crick automata. Zbl 1169.68302Czeizler, Elena; Czeizler, Eugen 9 2006 Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf 9 2014 Progress in descriptive complexity. Zbl 0959.68523Immerman, Neil 8 1999 Quasiperiodic infinite words. Zbl 1169.68484Marcus, Solomon 8 2004 Quasiperiodic infinite words: some answers. Zbl 1169.68566Levé, F.; Richomme, G. 8 2004 Survey of distributed decision. Zbl 1409.68043Feuilloley, Laurent; Fraigniaud, Pierre 8 2016 Counting (scattered) subwords. Zbl 1169.68491Salomaa, Arto 7 2003 A SAT solver primer. Zbl 1169.68444Mitchell, David G. 7 2005 The domino problem of the hyperbolic plane is undecidable. Zbl 1169.03354Margenstern, Maurice 7 2007 Addenda to the survey of layout problems. Zbl 1257.68011Petit, Jordi 7 2011 Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114Erlebach, Thomas; Hoffmann, Michael 7 2015 Mobile agents in distributed computing: network exploration. Zbl 1394.68033Das, Shantanu 7 2013 Recognizable subsets of a group: finite extensions and the Abelian case. Zbl 1015.20049Silva, Pedro V. 6 2002 The Hausdorff measure of regular \(\omega\)-languages is computable. Zbl 0912.68119Staiger, Ludwig 6 1998 Computing with membranes: An introduction. Zbl 0936.68040Păun, Gheorghe 6 1999 Twelve problems in resource-bounded measure. Zbl 0936.68049Lutz, Jack H.; Mayordomo, Elvira 6 1999 Roadmap of infinite results. Zbl 1169.68554Srba, Jiří 6 2002 Algorithms: a quest for absolute definitions. Zbl 1169.68408Blass, Andreas; Gurevich, Yuri 6 2003 A Post’s program for complexity theory. Zbl 1169.68426Buhrman, Harry; Torenvliet, Leen 6 2005 Enumeration of formal languages. Zbl 1169.68466Domaratzki, Michael 6 2006 Nine open problems on conjunctive and Boolean grammars. Zbl 1169.68454Okhotin, Alexander 6 2007 Recent trends in descriptional complexity of formal languages. Zbl 1409.68161Kutrib, Martin; Pighizzini, Giovanni 6 2013 The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136Curticapean, Radu 6 2016 Shuffling and unshuffling. Zbl 1394.68212Henshall, Dane; Rampersad, Narad; Shallit, Jeffrey 6 2012 Derandomization: A brief overview. Zbl 1021.68041Kabanets, Valentine 5 2002 The division breakthroughs. Zbl 1027.68606Allender, Eric 5 2001 Why are modal logics so robustly decidable? Zbl 0935.03029Grädel, Erich 5 1999 Bigraphs meet double pushouts. Zbl 1169.68450Ehrig, Hartmut 5 2002 An introduction to probabilistic automata. Zbl 1169.68494Stoelinga, Mariëlle 5 2002 Is P versus NP formally independent? Zbl 1169.68425Aaronson, Scott 5 2003 Beyond Turing machines. Zbl 1169.68409Eberbach, Eugene; Wegner, Peter 5 2003 More words on trajectories. Zbl 1169.68465Domaratzki, Michael 5 2005 Spiking neural P systems: a tutorial. Zbl 1169.68416Păun, Gheorghe 5 2007 Multilinear polynomials modulo composites. Zbl 1204.68009Chattopadhyay, Arkadev 5 2010 Composable error recovery with transactional memory. Zbl 1188.68101Riegel, Torvald; Felber, Pascal; Fetzer, Christof 5 2009 Convergent and commutative replicated data types. Zbl 1257.68039Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek 5 2011 Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017Markou, Euripides 5 2012 State complexity of finite and infinite regular languages. Zbl 1024.68543Yu, Sheng 4 2002 Quantum computing and communication complexity. Zbl 0973.68070Buhrman, Harry 4 2000 Newman’s Lemma – a case study in proof automation and geometric logic. Zbl 1169.03324Bezem, Marc; Coquand, Thierry 4 2003 An appealing computational mechanism drawn from bacterial quorum sensing. Zbl 1169.68437Krasnogor, N.; Gheorghe, M.; Terrazas, G.; Diggle, S.; Williams, P.; Camara, M. 4 2005 Lower bounds on quantum query complexity. Zbl 1169.68436Høyer, Peter; Špalek, Robert 4 2005 A note on syndeticity, recognizable sets and Cobham’s theorem. Zbl 1169.68490Rigo, Michel; Waxweiler, Laurent 4 2006 Relations over words and logic: a chronology. Zbl 1169.68460Choffrut, Christian 4 2006 Recursion theorems and self-replication via text register machine programs. Zbl 1169.68415Moss, Lawrence S. 4 2006 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 4 2008 Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike 4 2009 The logic of infons. Zbl 1191.03023Gurevich, Yuri; Neeman, Itay 4 2009 Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088Tarlecki, Andrzej 4 2011 Ironic complicity: satisfiability algorithms and circuit lower bounds. Zbl 1261.68062Santhanam, Rahul 4 2012 How tough is toughness? Zbl 1409.68207Broersma, Hajo 4 2015 Catalytic computation. Zbl 1409.68106Koucký, Michal 4 2016 Fault-tolerant logical network structures. Zbl 1409.68049Parter, Merav 4 2016 The distributed minimum spanning tree problem. Zbl 1427.68251Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele 4 2018 Hardness results and efficient approximations for frequency assignment problems and the radio coloring problem. Zbl 1018.68005Fotakis, D. A.; Nikoletseas, S. E.; Papadopoulo, V. G.; Spirakis, P. G. 3 2001 Open problems in the theory of scheduling. Zbl 1024.68009Woeginger, Gerhard J. 3 2002 Bead-sort: A natural sorting algorithm. Zbl 1018.68022Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J. 3 2002 Conservative extension in structural operational semantics. Zbl 0941.68620Aceto, Luca; Fokkink, Wan; Verhoef, Chris 3 1999 Diagonalization. Zbl 0973.68086Fortnow, Lance 3 2000 On time-varying \(H\) systems. Zbl 0936.68041Păun, Andrei 3 1999 Some of my favourite results in classic process algebra. Zbl 1169.68533Aceto, Luca 3 2003 Recursion vs replication in process calculi: Expressiveness. Zbl 1169.68551Palamidessi, Catuscia; Valencia, Frank D. 3 2005 The language of primitive words is not regular: two simple proofs. Zbl 1169.68562Dömösi, Pál; Horváth, Géza 3 2005 Bridges between algebraic automata theory and complexity theory. Zbl 1169.68434Tesson, Pascal; Thérien, Denis 3 2006 Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360Kohlenbach, Ulrich 3 2007 Complexity of non-monotonic logics. Zbl 1275.68141Thomas, Michael; Vollmer, Heribert 3 2010 Foundations of finite symbolic tree transducers. Zbl 1257.68100Veanes, Margus; Bjørner, Nikolaj 3 2011 Near-additive spanners and near-exact hopsets, a unified view. Zbl 1468.68147Elkin, Michael; Neiman, Ofer 1 2020 Enumeration complexity. Zbl 1428.68227Strozecki, Yann 2 2019 Hypergraphic degree sequences are hard. Zbl 1428.68161Deza, Antoine; Levin, Asaf; Meesum, Syed Mohammad; Onn, Shmuel 1 2019 Hardness-randomness tradeoffs for algebraic computation. Zbl 1428.68164Kumar, Mrinal; Saptharishi, Ramprasad 1 2019 An informal visit to the wonderful land of consensus numbers and beyond. Zbl 1428.68081Raynal, Michel 1 2019 Circuit pedantry. Zbl 1428.68149Blass, Andreas; Gurevich, Yuri 1 2019 The distributed minimum spanning tree problem. Zbl 1427.68251Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele 4 2018 Recent results in population protocols for exact majority and leader election. Zbl 1428.68047Elsässer, Robert; Radzik, Tomasz 3 2018 Five proofs of Chernoff’s bound with applications. Zbl 1416.60038Mulzer, Wolfgang 2 2018 Who needs category theory? Zbl 1409.68095Blass, Andreas; Gurevich, Yuri 1 2018 Recent progress on scaling algorithms and applications. Zbl 1427.68377Garg, Ankit; Oliveira, Rafael 1 2018 The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220Moore, Cristopher 17 2017 Open and closed words. Zbl 1409.68226Fici, Gabriele 3 2017 A (centralized) local guide. Zbl 1409.68218Levi, Reut; Medina, Moti 1 2017 Concurrent structures in game semantics. Zbl 1409.68164Castellan, Simon 1 2017 Composition in state-based replicated data types. Zbl 1409.68038Baquero, Carlos; Almeida, Paulo Sérgio; Cunha, Alcino; Ferreira, Carla 1 2017 Temporal hyperproperties. Zbl 1416.03013Finkbeiner, Bernd 1 2017 Survey of distributed decision. Zbl 1409.68043Feuilloley, Laurent; Fraigniaud, Pierre 8 2016 The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136Curticapean, Radu 6 2016 Catalytic computation. Zbl 1409.68106Koucký, Michal 4 2016 Fault-tolerant logical network structures. Zbl 1409.68049Parter, Merav 4 2016 Monoids as storage mechanisms. Zbl 1409.68180Zetzsche, Georg 3 2016 Computational aspects of packing problems. Zbl 1409.68130Alt, Helmut 1 2016 Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114Erlebach, Thomas; Hoffmann, Michael 7 2015 How tough is toughness? Zbl 1409.68207Broersma, Hajo 4 2015 Combinatorial game complexity: an introduction with poset games. Zbl 1409.68137Fenner, Stephen A.; Rogers, John 3 2015 Negative probability. Zbl 1416.60013Blass, Andreas; Gurevich, Yuri 2 2015 Fault-tolerant distributed systems in hardware. Zbl 1409.68042Dolev, Danny; Függer, Matthias; Lenzen, Christoph; Schmid, Ulrich; Steininger, Andreas 2 2015 \(k\)-best enumeration. Zbl 1409.68212Eppstein, David 1 2015 A general definition of the \(O\)-notation for algorithm analysis. Zbl 1409.68146Rutanen, Kalle; Gómez-Herrero, Germán; Eriksson, Sirkka-Liisa; Egiazarian, Karen 1 2015 Fast algorithms for structured sparsity (ICALP 2015 invited tutorial). Zbl 1409.68318Hegde, Chinmay; Indyk, Piotr; Schmidt, Ludwig 1 2015 Causal-consistent reversibility. Zbl 1409.68117Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco 15 2014 Recent developments in kernelization: a survey. Zbl 1409.68144Kratsch, Stefan 10 2014 Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf 9 2014 The complexity of valued constraint satisfaction. Zbl 1409.68141Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav 3 2014 Recent progress on arithmetic circuit lower bounds. Zbl 1409.68127Saptharishi, Ramprasad 3 2014 Structure vs combinatorics in computational complexity. Zbl 1409.68132Barak, Boaz 2 2014 Recent advances on the log-rank conjecture in communication complexity. Zbl 1409.68118Lovett, Shachar 1 2014 Consistency for transactional memory computing. Zbl 1409.68070Dziuma, Dmytro; Fatourou, Panagiota; Kanellou, Eleni 1 2014 Mobile agents in distributed computing: network exploration. Zbl 1394.68033Das, Shantanu 7 2013 Recent trends in descriptional complexity of formal languages. Zbl 1409.68161Kutrib, Martin; Pighizzini, Giovanni 6 2013 Mihai Pǎtraşcu: obituary and open problems. Zbl 1395.01075Thorup, Mikkel 3 2013 Computing with advice: when knowledge helps. Zbl 1394.68149Dobrev, Stefan; Královič, Rastislav; Královič, Richard 3 2013 The H-index can be easily manipulated. Zbl 1394.68193de Keijzer, Bart; Apt, Krzysztof R. 3 2013 An introductory tutorial to concurrency-related distributed recursion. Zbl 1409.68323Rajsbaum, Sergio; Raynal, Michel 1 2013 Shuffling and unshuffling. Zbl 1394.68212Henshall, Dane; Rampersad, Narad; Shallit, Jeffrey 6 2012 Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017Markou, Euripides 5 2012 Ironic complicity: satisfiability algorithms and circuit lower bounds. Zbl 1261.68062Santhanam, Rahul 4 2012 Understanding non-uniform failure models. Zbl 1261.68030Kuznetsov, Petr 2 2012 Around and beyond the isomorphism problem for interval graphs. Zbl 1394.68187Köbler, Johannes; Kuhnert, Sebastian; Verbitsky, Oleg 1 2012 Classes of algorithms: formalization and comparison. Zbl 1394.68424Grigorieff, Serge; Valarcher, Pierre 1 2012 In memoriam: Manfred Kudlek (1940–2012). Obituary read at the closing ceremony for CiE 2012, Cambridge, June 23, 2012. Zbl 1395.01078van Emde Boas, Peter 1 2012 Complexity of model checking for logics over Kripke models. Zbl 1394.68233Meier, Arne; Müller, Julian-Steffen; Mundhenk, Martin; Vollmer, Heribert 1 2012 Truth vs. proof in computational complexity. Zbl 1394.68152Barak, Boaz 1 2012 Lower bounds based on the exponential time hypothesis. Zbl 1258.68068Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket 96 2011 Interval temporal logics: a journey. Zbl 1275.03087Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido 12 2011 Addenda to the survey of layout problems. Zbl 1257.68011Petit, Jordi 7 2011 Convergent and commutative replicated data types. Zbl 1257.68039Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek 5 2011 Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088Tarlecki, Andrzej 4 2011 Foundations of finite symbolic tree transducers. Zbl 1257.68100Veanes, Margus; Bjørner, Nikolaj 3 2011 On the notion of bit complexity. Zbl 1258.68057Diem, Claus 2 2011 Sessions, from types to programming languages. Zbl 1261.68036Vaconcelos, Vasco T. 2 2011 Anatomy and empirical evaluation of modern SAT solvers. Zbl 1258.68137Sakallah, Karem A.; Marques-Silva, Joao 2 2011 Failure detectors to solve asynchronous \(k\)-set agreement: a glimpse of recent results. Zbl 1258.68069Raynal, Michel 1 2011 Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank 10 2010 Multilinear polynomials modulo composites. Zbl 1204.68009Chattopadhyay, Arkadev 5 2010 Complexity of non-monotonic logics. Zbl 1275.68141Thomas, Michael; Vollmer, Heribert 3 2010 Higher-order concurrency: expressiveness and decidability results – a survey. Zbl 1343.68175Pérez, Jorge A. 2 2010 Researching the complexity of Boolean functions with computers. Zbl 1343.68103Amano, Kazuyuki 1 2010 Formal modeling and analysis of mobile ad hoc networks and communication based systems using graph and net technologies. Zbl 1343.68020Hoffmann, Kathrin 1 2010 Robust simulation of shared memory: 20 years after. Zbl 1203.68307Attiya, Hagit 1 2010 Hilbertian deductive systems, infon logic, and Datalog. Zbl 1275.03127Blass, Andreas; Gurevich, Yuri 1 2010 Progress on polynomial identity testing. Zbl 1188.68154Saxena, Nitin 20 2009 Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071Dom, Michael 12 2009 Composable error recovery with transactional memory. Zbl 1188.68101Riegel, Torvald; Felber, Pascal; Fetzer, Christof 5 2009 Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike 4 2009 The logic of infons. Zbl 1191.03023Gurevich, Yuri; Neeman, Itay 4 2009 Integer multiplication and the complexity of binary decision diagrams. Zbl 1191.68347Bollig, Beate 2 2009 Algebraic properties for free! Zbl 1188.68200Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A. 1 2009 Open questions in the theory of automatic structures. Zbl 1169.03352Khoussainov, Bakhadyr; Nerode, Anil 23 2008 Communication lower bounds using dual polynomials. Zbl 1169.68438Sherstov, Alexander A. 14 2008 20 years of modal and mixed specifications. Zbl 1169.68498Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej 14 2008 Style-based architectural reconfigurations. Zbl 1169.68306Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio 4 2008 Process definition using subobject transformation systems. Zbl 1169.68507Hermann, Frank; Ehrig, Hartmut 2 2008 Are there natural problems with speedup? Zbl 1169.68445Monroe, Hunter 1 2008 Precedence constraint scheduling and connections to dimension theory of partial orders. Zbl 1169.68435Ambühl, Christoph; Mastrolilli, Monaldo; Mutsanas, Nikolaus; Svensson, Ola 1 2008 Combinatorics of conservation laws. Zbl 1169.68530Kari, Jarkko; Taati, Siamak 1 2008 An introduction to population protocols. Zbl 1169.68326Aspnes, James; Ruppert, Eric 34 2007 The domino problem of the hyperbolic plane is undecidable. Zbl 1169.03354Margenstern, Maurice 7 2007 Nine open problems on conjunctive and Boolean grammars. Zbl 1169.68454Okhotin, Alexander 6 2007 Spiking neural P systems: a tutorial. Zbl 1169.68416Păun, Gheorghe 5 2007 Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360Kohlenbach, Ulrich 3 2007 Polynomial size log depth circuits: between \(NC^ 1\) and \(AC^ 1\). Zbl 1169.68430Mahajan, Meena 1 2007 Characteristic formulae: from automata to logic. Zbl 1169.68497Aceto, Luca; Ingolfsdottir, Anna 1 2007 Speculations on biology, information and complexity. Zbl 1169.68448Chaitin, G. J. 1 2007 Cover automata for finite languages. Zbl 1169.68496Yu, Sheng 1 2007 Dynamic web data and process calculi. Zbl 1169.68550Maffeis, Sergio 1 2007 Decision algorithms for subfamilies of regular languages using state-pair graphs. Zbl 1169.68473Han, Yo-Sub 1 2007 A simple completeness proof for the axiomatisations of weak behavioural equivalences. Zbl 1169.68539Deng, Yuxin 1 2007 Fine and Wilf’s theorem for abelian periods. Zbl 1169.68561Constantinescu, Sorin; Ilie, Lucian 22 2006 ...and 129 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,776 Authors 15 Spirakis, Paul G. 13 Rytter, Wojciech 12 Fernau, Henning 12 Salomaa, Kai T. 11 Păun, Gheorghe 11 Radoszewski, Jakub 11 Ron, Dana 10 Michail, Othon 10 Sau, Ignasi 10 Thilikos, Dimitrios M. 9 Marx, Dániel 9 Waleń, Tomasz 8 Crochemore, Maxime 8 Fomin, Fedor V. 8 Niedermeier, Rolf 8 Pilipczuk, Marcin L. 8 Stephan, Frank 8 Subramani, Krishnan 7 Giroudeau, Rodolphe 7 Kari, Lila 7 Kociumaka, Tomasz 7 Komusiewicz, Christian 7 Larsen, Kim Guldstrand 7 Mitrana, Victor 7 Rubinfeld, Ronitt 7 Salomaa, Arto Kustaa 7 Shapira, Asaf 7 Volkov, Mikhail Vladimirovich 6 Domaratzki, Michael 6 Feuilloley, Laurent 6 Hitchcock, John M. 6 Izumi, Taisuke 6 Jain, Sanjay 6 Kratsch, Dieter 6 Lanese, Ivan 6 Margenstern, Maurice 6 Melnikov, Alexander G. 6 Montanari, Angelo 6 Pilipczuk, Michał 6 Saxena, Nitin 6 Schmid, Markus L. 6 Shaltiel, Ronen 6 Wojciechowski, Piotr J. 5 Ananichev, Dmitry S. 5 Badkobeh, Golnaz 5 Baste, Julien 5 Chateau, Annie 5 Chatzigiannakis, Ioannis 5 Coja-Oghlan, Amin 5 Doty, David 5 Fici, Gabriele 5 Goldreich, Oded 5 Golovach, Petr A. 5 Harju, Tero 5 Iliopoulos, Costas S. 5 Kubica, Marcin 5 Legay, Axel 5 Leupold, Peter 5 Nagy, Benedek 5 Nowotka, Dirk 5 Pérez-Jiménez, Mario J. 5 Richomme, Gwénaël 5 Roth, Marc 5 Saurabh, Saket 5 Seshadhri, Comandur 5 Shallit, Jeffrey O. 5 Sherstov, Alexander A. 5 Shur, Arseny M. 5 Weller, Mathias 5 Yoshida, Nobuko 5 Yoshida, Yuichi 4 Alon, Noga M. 4 Bjørner, Nikolaj S. 4 Blanchet-Sadri, Francine 4 Bodlaender, Hans L. 4 Bonnet, Edouard 4 Broersma, Hajo J. 4 Bulteau, Laurent 4 Bun, Mark 4 Chattopadhyay, Arkadev 4 Czeizler, Elena 4 Demri, Stéphane P. 4 Fraigniaud, Pierre 4 Geffert, Viliam 4 Glaßer, Christian 4 Gruber, Hermann 4 Gurevich, Yuri 4 Han, Yo-Sub 4 Jonsson, Peter A. 4 Jungers, Raphaël M. 4 Kalimullin, Iskander Shagitovich 4 Khoussainov, Bakhadyr M. 4 Kleine Büning, Hans 4 Lecroq, Thierry 4 Lefebvre, Arnaud 4 Liedloff, Mathieu 4 Manca, Vincenzo 4 Mezzina, Claudio Antares 4 Newman, Ilan I. 4 Ng, KengMeng ...and 1,676 more Authors all top 5 Cited in 152 Journals 211 Theoretical Computer Science 50 Algorithmica 48 Information and Computation 41 Journal of Computer and System Sciences 33 Theory of Computing Systems 31 Information Processing Letters 27 Discrete Applied Mathematics 27 SIAM Journal on Computing 20 Distributed Computing 17 Natural Computing 17 Journal of Logical and Algebraic Methods in Programming 16 Acta Informatica 16 Computational Complexity 12 SIAM Journal on Discrete Mathematics 10 Artificial Intelligence 10 International Journal of Foundations of Computer Science 8 Annals of Mathematics and Artificial Intelligence 8 Logical Methods in Computer Science 8 RAIRO. Theoretical Informatics and Applications 7 Discrete Mathematics 7 Formal Aspects of Computing 7 Journal of Combinatorial Optimization 7 The Journal of Logic and Algebraic Programming 7 Computer Science Review 6 Journal of Automated Reasoning 6 Random Structures & Algorithms 6 Designs, Codes and Cryptography 6 RAIRO. Theoretical Informatics and Applications 6 Journal of Discrete Algorithms 6 Theory of Computing 5 Combinatorica 5 Annals of Pure and Applied Logic 5 Journal of Mathematical Sciences (New York) 4 Journal of Combinatorial Theory. Series A 4 European Journal of Combinatorics 4 Graphs and Combinatorics 4 Fundamenta Informaticae 4 Algorithms 4 Journal of Membrane Computing 3 Communications in Mathematical Physics 3 International Journal of Theoretical Physics 3 The Journal of Symbolic Logic 3 Siberian Mathematical Journal 3 Science of Computer Programming 3 Operations Research Letters 3 New Generation Computing 3 European Journal of Operational Research 3 Archive for Mathematical Logic 3 Formal Methods in System Design 3 Journal of Logic, Language and Information 3 Annals of Mathematics. Second Series 3 Mathematical Statistics and Learning 2 Computers & Mathematics with Applications 2 Israel Journal of Mathematics 2 Journal of Mathematical Biology 2 Journal of Statistical Physics 2 Mathematical Notes 2 Advances in Mathematics 2 Applied Mathematics and Computation 2 Information Sciences 2 Journal of Combinatorial Theory. Series B 2 Journal of Mathematical Psychology 2 Transactions of the American Mathematical Society 2 Journal of Symbolic Computation 2 Discrete & Computational Geometry 2 International Journal of Algebra and Computation 2 MSCS. Mathematical Structures in Computer Science 2 Mathematical Programming. Series A. Series B 2 Indagationes Mathematicae. New Series 2 Journal of Applied Non-Classical Logics 2 Mathematical Logic Quarterly (MLQ) 2 Journal of Scheduling 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 ACM Transactions on Computational Logic 1 ACM Computing Surveys 1 Classical and Quantum Gravity 1 Physica A 1 Physics Letters. B 1 Mathematics of Computation 1 Bulletin of Mathematical Biology 1 Algebra Universalis 1 The Annals of Statistics 1 International Journal of Game Theory 1 Journal of Algebra 1 Journal of Graph Theory 1 Journal of Number Theory 1 Journal of Philosophical Logic 1 Mathematics and Computers in Simulation 1 Operations Research 1 Semigroup Forum 1 Studia Logica 1 Synthese 1 Probability Theory and Related Fields 1 Journal of Complexity 1 Statistical Science 1 International Journal of Approximate Reasoning 1 Journal of Cryptology 1 Journal of Parallel and Distributed Computing 1 Neural Computation 1 The Annals of Applied Probability ...and 52 more Journals all top 5 Cited in 40 Fields 934 Computer science (68-XX) 197 Combinatorics (05-XX) 140 Mathematical logic and foundations (03-XX) 64 Information and communication theory, circuits (94-XX) 58 Operations research, mathematical programming (90-XX) 37 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 Biology and other natural sciences (92-XX) 24 Number theory (11-XX) 19 Quantum theory (81-XX) 16 Probability theory and stochastic processes (60-XX) 16 Statistics (62-XX) 15 Group theory and generalizations (20-XX) 10 Numerical analysis (65-XX) 10 Statistical mechanics, structure of matter (82-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 7 Algebraic geometry (14-XX) 6 Category theory; homological algebra (18-XX) 6 Measure and integration (28-XX) 6 Convex and discrete geometry (52-XX) 4 General algebraic systems (08-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 History and biography (01-XX) 3 Field theory and polynomials (12-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Geometry (51-XX) 3 General topology (54-XX) 3 Relativity and gravitational theory (83-XX) 2 General and overarching topics; collections (00-XX) 2 Commutative algebra (13-XX) 2 Partial differential equations (35-XX) 2 Approximations and expansions (41-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Operator theory (47-XX) 2 Systems theory; control (93-XX) 1 Integral equations (45-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Mathematics education (97-XX) Citations by Year