## 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)

### 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.68068
Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket
2011
The art of uninformed decisions. A primer to property testing. Zbl 1024.68045
Fischer, Eldar
2001
Recent developments in explicit constructions of extractors. Zbl 1051.68070
Shaltiel, Ronen
2002
An introduction to population protocols. Zbl 1169.68326
Aspnes, James; Ruppert, Eric
2007
Combinatorics on words – a tutorial. Zbl 1169.68560
Berstel, J.; Karhumäki, J.
2003
A counter example to a conjecture concerning synchronizing words in finite automata. Zbl 0977.68055
Kari, Jarkko
2001
Open questions in the theory of automatic structures. Zbl 1169.03352
Khoussainov, Bakhadyr; Nerode, Anil
2008
Fine and Wilf’s theorem for abelian periods. Zbl 1169.68561
Constantinescu, Sorin; Ilie, Lucian
2006
Some new techniques in design and analysis of exact (exponential) algorithms. Zbl 1169.68669
Fomin, Fedor V.; Grandoni, Fabrizio; Kratsch, Dieter
2005
Propositional proof complexity: Past present, and future. Zbl 0908.68164
Beame, Paul; Pitassi, Toniann
1998
Many-valued truth functions, Černý’s conjecture and road coloring. Zbl 0952.68072
Mateescu, Alexandru; Salomaa, Arto
1999
Progress on polynomial identity testing. Zbl 1188.68154
Saxena, Nitin
2009
The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220
Moore, Cristopher
2017
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
2014
Communication lower bounds using dual polynomials. Zbl 1169.68438
Sherstov, Alexander A.
2008
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2008
A short note on analysing P systems with antiport rules. Zbl 1169.68411
Freund, Rudolf; Oswald, Marion
2002
Henkin quantifiers: logic, games, and computation. Zbl 1169.68439
Sevenster, Merlijn
2006
Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071
Dom, Michael
2009
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
2011
Computational tractability: The view from Mars. Zbl 0941.68577
Downey, Rodney G.; Fellows, Michael R.; Stege, Ulrike
1999
On the regularity of duplication closure. Zbl 0941.68605
Dassow, Jürgen; Mitrana, Victor; Păun, Gheorghe
1999
Temporal logic with past is exponentially more succinct. Zbl 1169.03332
Markey, Nicolas
2003
Worst-case upper bounds for $$k$$-SAT. Zbl 1169.68443
Iwama, Kazuo
2004
Sublinear-time algorithms. Zbl 1169.68442
Czumaj, Artur; Sohler, Christian
2006
Binary words with few squares. Zbl 1169.68565
Harju, Tero; Nowotka, Dirk
2006
On the irregularity of the duplication closure. Zbl 0983.68111
Wang, Ming-Wei
2000
Parameterized complexity and subexponential time. Zbl 1169.68428
Flum, Jörg; Grohe, Martin
2004
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
2010
Recent developments in kernelization: a survey. Zbl 1409.68144
Kratsch, Stefan
2014
A survey on private information retrieval. Zbl 1169.94341
Gasarch, William
2004
Parameterized complexity for graph layout problems. Zbl 1169.68446
Serna, Maria; Thilikos, Dimitrios M.
2005
Isomorphism testing: perspective and open problems. Zbl 1169.68440
Arvind, V.; Torán, Jacobo
2005
A short survey on Watson-Crick automata. Zbl 1169.68302
Czeizler, Elena; Czeizler, Eugen
2006
Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350
Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf
2014
Progress in descriptive complexity. Zbl 0959.68523
Immerman, Neil
1999
Quasiperiodic infinite words. Zbl 1169.68484
Marcus, Solomon
2004
Quasiperiodic infinite words: some answers. Zbl 1169.68566
Levé, F.; Richomme, G.
2004
Survey of distributed decision. Zbl 1409.68043
Feuilloley, Laurent; Fraigniaud, Pierre
2016
Counting (scattered) subwords. Zbl 1169.68491
Salomaa, Arto
2003
A SAT solver primer. Zbl 1169.68444
Mitchell, David G.
2005
The domino problem of the hyperbolic plane is undecidable. Zbl 1169.03354
Margenstern, Maurice
2007
Addenda to the survey of layout problems. Zbl 1257.68011
Petit, Jordi
2011
Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114
Erlebach, Thomas; Hoffmann, Michael
2015
Mobile agents in distributed computing: network exploration. Zbl 1394.68033
Das, Shantanu
2013
Recognizable subsets of a group: finite extensions and the Abelian case. Zbl 1015.20049
Silva, Pedro V.
2002
The Hausdorff measure of regular $$\omega$$-languages is computable. Zbl 0912.68119
Staiger, Ludwig
1998
Computing with membranes: An introduction. Zbl 0936.68040
Păun, Gheorghe
1999
Twelve problems in resource-bounded measure. Zbl 0936.68049
Lutz, Jack H.; Mayordomo, Elvira
1999
Roadmap of infinite results. Zbl 1169.68554
Srba, Jiří
2002
Algorithms: a quest for absolute definitions. Zbl 1169.68408
Blass, Andreas; Gurevich, Yuri
2003
A Post’s program for complexity theory. Zbl 1169.68426
Buhrman, Harry; Torenvliet, Leen
2005
Enumeration of formal languages. Zbl 1169.68466
Domaratzki, Michael
2006
Nine open problems on conjunctive and Boolean grammars. Zbl 1169.68454
Okhotin, Alexander
2007
Recent trends in descriptional complexity of formal languages. Zbl 1409.68161
Kutrib, Martin; Pighizzini, Giovanni
2013
The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136
2016
Shuffling and unshuffling. Zbl 1394.68212
2012
Derandomization: A brief overview. Zbl 1021.68041
Kabanets, Valentine
2002
The division breakthroughs. Zbl 1027.68606
Allender, Eric
2001
Why are modal logics so robustly decidable? Zbl 0935.03029
Grädel, Erich
1999
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
2002
An introduction to probabilistic automata. Zbl 1169.68494
Stoelinga, Mariëlle
2002
Is P versus NP formally independent? Zbl 1169.68425
Aaronson, Scott
2003
Beyond Turing machines. Zbl 1169.68409
Eberbach, Eugene; Wegner, Peter
2003
More words on trajectories. Zbl 1169.68465
Domaratzki, Michael
2005
Spiking neural P systems: a tutorial. Zbl 1169.68416
Păun, Gheorghe
2007
Multilinear polynomials modulo composites. Zbl 1204.68009
2010
Composable error recovery with transactional memory. Zbl 1188.68101
Riegel, Torvald; Felber, Pascal; Fetzer, Christof
2009
Convergent and commutative replicated data types. Zbl 1257.68039
Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek
2011
Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017
Markou, Euripides
2012
State complexity of finite and infinite regular languages. Zbl 1024.68543
Yu, Sheng
2002
Quantum computing and communication complexity. Zbl 0973.68070
Buhrman, Harry
2000
Newman’s Lemma – a case study in proof automation and geometric logic. Zbl 1169.03324
Bezem, Marc; Coquand, Thierry
2003
An appealing computational mechanism drawn from bacterial quorum sensing. Zbl 1169.68437
Krasnogor, N.; Gheorghe, M.; Terrazas, G.; Diggle, S.; Williams, P.; Camara, M.
2005
Lower bounds on quantum query complexity. Zbl 1169.68436
Høyer, Peter; Špalek, Robert
2005
A note on syndeticity, recognizable sets and Cobham’s theorem. Zbl 1169.68490
Rigo, Michel; Waxweiler, Laurent
2006
Relations over words and logic: a chronology. Zbl 1169.68460
Choffrut, Christian
2006
Recursion theorems and self-replication via text register machine programs. Zbl 1169.68415
Moss, Lawrence S.
2006
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
2008
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
2009
The logic of infons. Zbl 1191.03023
Gurevich, Yuri; Neeman, Itay
2009
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
2011
Ironic complicity: satisfiability algorithms and circuit lower bounds. Zbl 1261.68062
Santhanam, Rahul
2012
How tough is toughness? Zbl 1409.68207
Broersma, Hajo
2015
Catalytic computation. Zbl 1409.68106
Koucký, Michal
2016
Fault-tolerant logical network structures. Zbl 1409.68049
Parter, Merav
2016
The distributed minimum spanning tree problem. Zbl 1427.68251
Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele
2018
Hardness results and efficient approximations for frequency assignment problems and the radio coloring problem. Zbl 1018.68005
Fotakis, D. A.; Nikoletseas, S. E.; Papadopoulo, V. G.; Spirakis, P. G.
2001
Open problems in the theory of scheduling. Zbl 1024.68009
Woeginger, Gerhard J.
2002
Bead-sort: A natural sorting algorithm. Zbl 1018.68022
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
2002
Conservative extension in structural operational semantics. Zbl 0941.68620
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
1999
Diagonalization. Zbl 0973.68086
Fortnow, Lance
2000
On time-varying $$H$$ systems. Zbl 0936.68041
Păun, Andrei
1999
Some of my favourite results in classic process algebra. Zbl 1169.68533
Aceto, Luca
2003
Recursion vs replication in process calculi: Expressiveness. Zbl 1169.68551
Palamidessi, Catuscia; Valencia, Frank D.
2005
The language of primitive words is not regular: two simple proofs. Zbl 1169.68562
Dömösi, Pál; Horváth, Géza
2005
Bridges between algebraic automata theory and complexity theory. Zbl 1169.68434
Tesson, Pascal; Thérien, Denis
2006
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
2007
Complexity of non-monotonic logics. Zbl 1275.68141
Thomas, Michael; Vollmer, Heribert
2010
Foundations of finite symbolic tree transducers. Zbl 1257.68100
Veanes, Margus; Bjørner, Nikolaj
2011
Near-additive spanners and near-exact hopsets, a unified view. Zbl 1468.68147
Elkin, Michael; Neiman, Ofer
2020
Enumeration complexity. Zbl 1428.68227
Strozecki, Yann
2019
Hypergraphic degree sequences are hard. Zbl 1428.68161
Deza, Antoine; Levin, Asaf; Meesum, Syed Mohammad; Onn, Shmuel
2019
Hardness-randomness tradeoffs for algebraic computation. Zbl 1428.68164
Kumar, Mrinal; Saptharishi, Ramprasad
2019
An informal visit to the wonderful land of consensus numbers and beyond. Zbl 1428.68081
Raynal, Michel
2019
Circuit pedantry. Zbl 1428.68149
Blass, Andreas; Gurevich, Yuri
2019
The distributed minimum spanning tree problem. Zbl 1427.68251
Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele
2018
Recent results in population protocols for exact majority and leader election. Zbl 1428.68047
Elsässer, Robert; Radzik, Tomasz
2018
Five proofs of Chernoff’s bound with applications. Zbl 1416.60038
Mulzer, Wolfgang
2018
Who needs category theory? Zbl 1409.68095
Blass, Andreas; Gurevich, Yuri
2018
Recent progress on scaling algorithms and applications. Zbl 1427.68377
Garg, Ankit; Oliveira, Rafael
2018
The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220
Moore, Cristopher
2017
Open and closed words. Zbl 1409.68226
Fici, Gabriele
2017
A (centralized) local guide. Zbl 1409.68218
Levi, Reut; Medina, Moti
2017
Concurrent structures in game semantics. Zbl 1409.68164
Castellan, Simon
2017
Composition in state-based replicated data types. Zbl 1409.68038
Baquero, Carlos; Almeida, Paulo Sérgio; Cunha, Alcino; Ferreira, Carla
2017
Temporal hyperproperties. Zbl 1416.03013
Finkbeiner, Bernd
2017
Survey of distributed decision. Zbl 1409.68043
Feuilloley, Laurent; Fraigniaud, Pierre
2016
The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136
2016
Catalytic computation. Zbl 1409.68106
Koucký, Michal
2016
Fault-tolerant logical network structures. Zbl 1409.68049
Parter, Merav
2016
Monoids as storage mechanisms. Zbl 1409.68180
Zetzsche, Georg
2016
Computational aspects of packing problems. Zbl 1409.68130
Alt, Helmut
2016
Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114
Erlebach, Thomas; Hoffmann, Michael
2015
How tough is toughness? Zbl 1409.68207
Broersma, Hajo
2015
Combinatorial game complexity: an introduction with poset games. Zbl 1409.68137
Fenner, Stephen A.; Rogers, John
2015
Negative probability. Zbl 1416.60013
Blass, Andreas; Gurevich, Yuri
2015
Fault-tolerant distributed systems in hardware. Zbl 1409.68042
Dolev, Danny; Függer, Matthias; Lenzen, Christoph; Schmid, Ulrich; Steininger, Andreas
2015
$$k$$-best enumeration. Zbl 1409.68212
Eppstein, David
2015
A general definition of the $$O$$-notation for algorithm analysis. Zbl 1409.68146
Rutanen, Kalle; Gómez-Herrero, Germán; Eriksson, Sirkka-Liisa; Egiazarian, Karen
2015
Fast algorithms for structured sparsity (ICALP 2015 invited tutorial). Zbl 1409.68318
Hegde, Chinmay; Indyk, Piotr; Schmidt, Ludwig
2015
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
2014
Recent developments in kernelization: a survey. Zbl 1409.68144
Kratsch, Stefan
2014
Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350
Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf
2014
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
2014
Recent progress on arithmetic circuit lower bounds. Zbl 1409.68127
2014
Structure vs combinatorics in computational complexity. Zbl 1409.68132
Barak, Boaz
2014
Recent advances on the log-rank conjecture in communication complexity. Zbl 1409.68118
Lovett, Shachar
2014
Consistency for transactional memory computing. Zbl 1409.68070
Dziuma, Dmytro; Fatourou, Panagiota; Kanellou, Eleni
2014
Mobile agents in distributed computing: network exploration. Zbl 1394.68033
Das, Shantanu
2013
Recent trends in descriptional complexity of formal languages. Zbl 1409.68161
Kutrib, Martin; Pighizzini, Giovanni
2013
Mihai Pǎtraşcu: obituary and open problems. Zbl 1395.01075
Thorup, Mikkel
2013
Computing with advice: when knowledge helps. Zbl 1394.68149
Dobrev, Stefan; Královič, Rastislav; Královič, Richard
2013
The H-index can be easily manipulated. Zbl 1394.68193
de Keijzer, Bart; Apt, Krzysztof R.
2013
An introductory tutorial to concurrency-related distributed recursion. Zbl 1409.68323
Rajsbaum, Sergio; Raynal, Michel
2013
Shuffling and unshuffling. Zbl 1394.68212
2012
Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017
Markou, Euripides
2012
Ironic complicity: satisfiability algorithms and circuit lower bounds. Zbl 1261.68062
Santhanam, Rahul
2012
Understanding non-uniform failure models. Zbl 1261.68030
Kuznetsov, Petr
2012
Around and beyond the isomorphism problem for interval graphs. Zbl 1394.68187
Köbler, Johannes; Kuhnert, Sebastian; Verbitsky, Oleg
2012
Classes of algorithms: formalization and comparison. Zbl 1394.68424
Grigorieff, Serge; Valarcher, Pierre
2012
In memoriam: Manfred Kudlek (1940–2012). Obituary read at the closing ceremony for CiE 2012, Cambridge, June 23, 2012. Zbl 1395.01078
van Emde Boas, Peter
2012
Complexity of model checking for logics over Kripke models. Zbl 1394.68233
Meier, Arne; Müller, Julian-Steffen; Mundhenk, Martin; Vollmer, Heribert
2012
Truth vs. proof in computational complexity. Zbl 1394.68152
Barak, Boaz
2012
Lower bounds based on the exponential time hypothesis. Zbl 1258.68068
Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket
2011
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
2011
Addenda to the survey of layout problems. Zbl 1257.68011
Petit, Jordi
2011
Convergent and commutative replicated data types. Zbl 1257.68039
Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek
2011
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
2011
Foundations of finite symbolic tree transducers. Zbl 1257.68100
Veanes, Margus; Bjørner, Nikolaj
2011
On the notion of bit complexity. Zbl 1258.68057
Diem, Claus
2011
Sessions, from types to programming languages. Zbl 1261.68036
Vaconcelos, Vasco T.
2011
Anatomy and empirical evaluation of modern SAT solvers. Zbl 1258.68137
Sakallah, Karem A.; Marques-Silva, Joao
2011
Failure detectors to solve asynchronous $$k$$-set agreement: a glimpse of recent results. Zbl 1258.68069
Raynal, Michel
2011
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
2010
Multilinear polynomials modulo composites. Zbl 1204.68009
2010
Complexity of non-monotonic logics. Zbl 1275.68141
Thomas, Michael; Vollmer, Heribert
2010
Higher-order concurrency: expressiveness and decidability results – a survey. Zbl 1343.68175
Pérez, Jorge A.
2010
Researching the complexity of Boolean functions with computers. Zbl 1343.68103
Amano, Kazuyuki
2010
Formal modeling and analysis of mobile ad hoc networks and communication based systems using graph and net technologies. Zbl 1343.68020
Hoffmann, Kathrin
2010
Robust simulation of shared memory: 20 years after. Zbl 1203.68307
Attiya, Hagit
2010
Hilbertian deductive systems, infon logic, and Datalog. Zbl 1275.03127
Blass, Andreas; Gurevich, Yuri
2010
Progress on polynomial identity testing. Zbl 1188.68154
Saxena, Nitin
2009
Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071
Dom, Michael
2009
Composable error recovery with transactional memory. Zbl 1188.68101
Riegel, Torvald; Felber, Pascal; Fetzer, Christof
2009
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
2009
The logic of infons. Zbl 1191.03023
Gurevich, Yuri; Neeman, Itay
2009
Integer multiplication and the complexity of binary decision diagrams. Zbl 1191.68347
Bollig, Beate
2009
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2009
Open questions in the theory of automatic structures. Zbl 1169.03352
Khoussainov, Bakhadyr; Nerode, Anil
2008
Communication lower bounds using dual polynomials. Zbl 1169.68438
Sherstov, Alexander A.
2008
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
2008
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
2008
Process definition using subobject transformation systems. Zbl 1169.68507
Hermann, Frank; Ehrig, Hartmut
2008
Are there natural problems with speedup? Zbl 1169.68445
Monroe, Hunter
2008
Precedence constraint scheduling and connections to dimension theory of partial orders. Zbl 1169.68435
Ambühl, Christoph; Mastrolilli, Monaldo; Mutsanas, Nikolaus; Svensson, Ola
2008
Combinatorics of conservation laws. Zbl 1169.68530
Kari, Jarkko; Taati, Siamak
2008
An introduction to population protocols. Zbl 1169.68326
Aspnes, James; Ruppert, Eric
2007
The domino problem of the hyperbolic plane is undecidable. Zbl 1169.03354
Margenstern, Maurice
2007
Nine open problems on conjunctive and Boolean grammars. Zbl 1169.68454
Okhotin, Alexander
2007
Spiking neural P systems: a tutorial. Zbl 1169.68416
Păun, Gheorghe
2007
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
2007
Polynomial size log depth circuits: between $$NC^ 1$$ and $$AC^ 1$$. Zbl 1169.68430
Mahajan, Meena
2007
Characteristic formulae: from automata to logic. Zbl 1169.68497
Aceto, Luca; Ingolfsdottir, Anna
2007
Speculations on biology, information and complexity. Zbl 1169.68448
Chaitin, G. J.
2007
Cover automata for finite languages. Zbl 1169.68496
Yu, Sheng
2007
Dynamic web data and process calculi. Zbl 1169.68550
Maffeis, Sergio
2007
Decision algorithms for subfamilies of regular languages using state-pair graphs. Zbl 1169.68473
Han, Yo-Sub
2007
A simple completeness proof for the axiomatisations of weak behavioural equivalences. Zbl 1169.68539
Deng, Yuxin
2007
Fine and Wilf’s theorem for abelian periods. Zbl 1169.68561
Constantinescu, Sorin; Ilie, Lucian
2006
...and 129 more Documents
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)