# zbMATH — the first resource for mathematics

## 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: 459 Publications (since 1998)
all top 5

#### Latest Issues

 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

 23 Gurevich, Yuri 18 Blass, Andreas Raphael 12 Ehrig, Hartmut 10 Calude, Cristian S. 8 Kreinovich, Vladik Yakovlevich 7 Aceto, Luca 7 Honkala, Juha 7 Păun, Gheorghe 6 Arvind, Vikraman 6 Harju, Tero 6 Salomaa, Arto Kustaa 6 Spirakis, Paul G. 5 Mavronicolas, Marios 5 Raynal, Michel 5 Woeginger, Gerhard Johannes 4 Busch, Costas 4 Hirvensalo, Mika 4 Ingólfsdóttir, Anna 4 Khan, Samee Ullah 4 Longpré, Luc 4 Petre, Ion 4 Torán, Jacobo 3 Born, Axel 3 Calude, Elena 3 Domaratzki, Michael 3 Fortnow, Lance J. 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 Prange, Ulrike 3 Rozenberg, Grzegorz 3 Staiger, Ludwig 3 Vágvölgyi, Sándor 2 Ahmad, Ishfaq 2 Aspnes, James 2 Baquero, Carlos 2 Barak, Boaz 2 Buhrman, Harry 2 Burrieza, Alfredo 2 Chaitin, Gregory J. 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 Gasarch, William Ian 2 Große-Rhode, Martin 2 Halava, Vesa 2 Heckel, Reiko 2 Herlihy, Maurice P. 2 Karhumaki, Juhani 2 Kari, Jarkko 2 Klop, Jan Willem 2 Koshelev, Misha 2 Mahajan, Meena 2 Mäkinen, Erkki 2 Marcus, Solomon 2 Nowotka, Dirk 2 Okhotin, Alexander 2 Orejas, Fernando 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 Schmid, Ulrich 2 Sciavicco, Guido 2 Shvartsman, Alex Allister 2 Siromoney, Rani 2 Sobociński, Paweł 2 Szpankowski, Wojciech 2 Vollmer, Heribert 2 Vovk, Vladimir G. 2 Vukolić, Marko 2 Yu, Sheng 2 Zach, Richard 1 Aaronson, Scott 1 Abraham, Ittai 1 Abraham, Uri 1 Abramsky, Samson 1 Aguilera, Marcos Kawazoe 1 Alagic, Gorjan 1 Albert, Elvira 1 Alistarh, Dan 1 Allender, Eric W. 1 Almeida, Paulo Sérgio ...and 463 more Authors
all top 5

#### Fields

 418 Computer science (68-XX) 57 Mathematical logic and foundations (03-XX) 45 History and biography (01-XX) 23 Combinatorics (05-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 19 Quantum theory (81-XX) 15 Information and communication theory, circuits (94-XX) 13 Operations research, mathematical programming (90-XX) 7 Probability theory and stochastic processes (60-XX) 7 Biology and other natural sciences (92-XX) 5 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Category theory; homological algebra (18-XX) 3 Group theory and generalizations (20-XX) 3 Statistics (62-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Linear and multilinear algebra; matrix theory (15-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

215 Publications have been cited 990 times in 940 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
Some new techniques in design and analysis of exact (exponential) algorithms. Zbl 1169.68669
Fomin, Fedor V.; Grandoni, Fabrizio; Kratsch, Dieter
2005
Open questions in the theory of automatic structures. Zbl 1169.03352
2008
A counter example to a conjecture concerning synchronizing words in finite automata. Zbl 0977.68055
Kari, Jarkko
2001
Propositional proof complexity: Past present, and future. Zbl 0908.68164
Beame, Paul; Pitassi, Toniann
1998
Fine and Wilf’s theorem for abelian periods. Zbl 1169.68561
Constantinescu, Sorin; Ilie, Lucian
2006
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
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
Henkin quantifiers: logic, games, and computation. Zbl 1169.68439
Sevenster, Merlijn
2006
A short note on analysing P systems with antiport rules. Zbl 1169.68411
Freund, Rudolf; Oswald, Marion
2002
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
Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071
Dom, Michael
2009
Computational tractability: The view from Mars. Zbl 0941.68577
Downey, Rodney G.; Fellows, Michael R.; Stege, Ulrike
1999
Parameterized complexity and subexponential time. Zbl 1169.68428
Flum, Jörg; Grohe, Martin
2004
Binary words with few squares. Zbl 1169.68565
Harju, Tero; Nowotka, Dirk
2006
The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220
Moore, Cristopher
2017
On the regularity of duplication closure. Zbl 0941.68605
Dassow, Jürgen; Mitrana, Victor; Păun, Gheorghe
1999
Parameterized complexity for graph layout problems. Zbl 1169.68446
Serna, Maria; Thilikos, Dimitrios M.
2005
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
2014
On the irregularity of the duplication closure. Zbl 0983.68111
Wang, Ming-Wei
2000
Quasiperiodic infinite words. Zbl 1169.68484
Marcus, Solomon
2004
Quasiperiodic infinite words: some answers. Zbl 1169.68566
Levé, F.; Richomme, G.
2004
Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350
Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf
2014
Counting (scattered) subwords. Zbl 1169.68491
Salomaa, Arto
2003
A survey on private information retrieval. Zbl 1169.94341
Gasarch, William
2004
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
The domino problem of the hyperbolic plane is undecidable. Zbl 1169.03354
Margenstern, Maurice
2007
Survey of distributed decision. Zbl 1409.68043
Feuilloley, Laurent; Fraigniaud, Pierre
2016
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
2011
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
A SAT solver primer. Zbl 1169.68444
Mitchell, David G.
2005
Nine open problems on conjunctive and Boolean grammars. Zbl 1169.68454
Okhotin, Alexander
2007
Recent developments in kernelization: a survey. Zbl 1409.68144
Kratsch, Stefan
2014
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
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
2010
Addenda to the survey of layout problems. Zbl 1257.68011
Petit, Jordi
2011
Multilinear polynomials modulo composites. Zbl 1204.68009
2010
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
Composable error recovery with transactional memory. Zbl 1188.68101
Riegel, Torvald; Felber, Pascal; Fetzer, Christof
2009
Recent trends in descriptional complexity of formal languages. Zbl 1409.68161
Kutrib, Martin; Pighizzini, Giovanni
2013
Progress in descriptive complexity. Zbl 0959.68523
Immerman, Neil
1999
The division breakthroughs. Zbl 1027.68606
Allender, Eric
2001
Recognizable subsets of a group: finite extensions and the Abelian case. Zbl 1015.20049
Silva, Pedro V.
2002
Shuffling and unshuffling. Zbl 1394.68212
2012
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
2002
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
Enumeration of formal languages. Zbl 1169.68466
Domaratzki, Michael
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
The logic of infons. Zbl 1191.03023
Gurevich, Yuri; Neeman, Itay
2009
Why are modal logics so robustly decidable? Zbl 0935.03029
Grädel, Erich
1999
Quantum computing and communication complexity. Zbl 0973.68070
Buhrman, Harry
2000
The Hausdorff measure of regular $$\omega$$-languages is computable. Zbl 0912.68119
Staiger, Ludwig
1998
Derandomization: A brief overview. Zbl 1021.68041
Kabanets, Valentine
2002
State complexity of finite and infinite regular languages. Zbl 1024.68543
Yu, Sheng
2002
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
Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017
Markou, Euripides
2012
Mobile agents in distributed computing: network exploration. Zbl 1394.68033
Das, Shantanu
2013
An introduction to probabilistic automata. Zbl 1169.68494
Stoelinga, Mariëlle
2002
Some of my favourite results in classic process algebra. Zbl 1169.68533
Aceto, Luca
2003
Relations over words and logic: a chronology. Zbl 1169.68460
Choffrut, Christian
2006
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
2007
The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136
2016
On time-varying $$H$$ systems. Zbl 0936.68041
Păun, Andrei
1999
Conservative extension in structural operational semantics. Zbl 0941.68620
Aceto, Luca; Fokkink, Wan; Verhoef, Chris
1999
Diagonalization. Zbl 0973.68086
Fortnow, Lance
2000
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
Convergent and commutative replicated data types. Zbl 1257.68039
Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek
2011
Foundations of finite symbolic tree transducers. Zbl 1257.68100
Veanes, Margus; Bjørner, Nikolaj
2011
Higher-order concurrency: expressiveness and decidability results – a survey. Zbl 1343.68175
Pérez, Jorge A.
2010
Pairwise testing. Zbl 1169.68352
Blass, Andreas; Gurevich, Yuri
2002
Distributed communication algorithm for ad-hoc mobile networks. Zbl 1169.68311
Chatzigiannakis, Ioannis; Nikoletseas, Sotiris; Spirakis, Paul
2002
Threshold phenomena: the computer scientist’s viewpoint. Zbl 1169.68447
Stamatiou, Yannis C.
2003
Koutsoupias, Elias
2003
Challenges in timed languages: from applied theory to basic theory. Zbl 1169.68535
Asarin, Eugene
2004
Regular languages, sizes of syntactic monoids, graph colouring, state complexity results, and how these topics are related to each other. Zbl 1169.68475
Holzer, Markus; König, Barbara
2004
A note on minimal cover-automata for finite languages. Zbl 1169.68469
García, Pedro; Ruiz, José
2004
Process congruences from reaction rules. Zbl 1169.68553
Sobociński, Pawel
2004
Passages of proof. Zbl 1169.03310
Calude, Cristian S.; Calude, Elena; Marcus, Solomon
2004
Process calculi in a biological context. Zbl 1169.68552
Prandi, D.; Priami, C.; Quaglia, P.
2005
Enumeration complexity. Zbl 1428.68227
Strozecki, Yann
2019
Five proofs of Chernoff’s bound with applications. Zbl 1416.60038
Mulzer, Wolfgang
2018
Recent progress on scaling algorithms and applications. Zbl 1427.68377
Garg, Ankit; Oliveira, Rafael
2018
The distributed minimum spanning tree problem. Zbl 1427.68251
Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele
2018
Who needs category theory? Zbl 1409.68095
Blass, Andreas; Gurevich, Yuri
2018
Recent results in population protocols for exact majority and leader election. Zbl 1428.68047
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
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
Fault-tolerant logical network structures. Zbl 1409.68049
Parter, Merav
2016
Computational aspects of packing problems. Zbl 1409.68130
Alt, Helmut
2016
Catalytic computation. Zbl 1409.68106
Koucký, Michal
2016
Monoids as storage mechanisms. Zbl 1409.68180
Zetzsche, Georg
2016
Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114
Erlebach, Thomas; Hoffmann, Michael
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
Negative probability. Zbl 1416.60013
Blass, Andreas; Gurevich, Yuri
2015
Combinatorial game complexity: an introduction with poset games. Zbl 1409.68137
Fenner, Stephen A.; Rogers, John
2015
How tough is toughness? Zbl 1409.68207
Broersma, Hajo
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
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
2014
Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350
Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf
2014
Recent developments in kernelization: a survey. Zbl 1409.68144
Kratsch, Stefan
2014
Recent progress on arithmetic circuit lower bounds. Zbl 1409.68127
2014
Structure vs combinatorics in computational complexity. Zbl 1409.68132
Barak, Boaz
2014
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
2014
Recent trends in descriptional complexity of formal languages. Zbl 1409.68161
Kutrib, Martin; Pighizzini, Giovanni
2013
Mobile agents in distributed computing: network exploration. Zbl 1394.68033
Das, Shantanu
2013
Mihai Pǎtraşcu: obituary and open problems. Zbl 1395.01075
Thorup, Mikkel
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
Computing with advice: when knowledge helps. Zbl 1394.68149
Dobrev, Stefan; Královič, Rastislav; Královič, Richard
2013
Shuffling and unshuffling. Zbl 1394.68212
2012
Ironic complicity: satisfiability algorithms and circuit lower bounds. Zbl 1261.68062
Santhanam, Rahul
2012
Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017
Markou, Euripides
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
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
2011
Convergent and commutative replicated data types. Zbl 1257.68039
Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek
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
Higher-order concurrency: expressiveness and decidability results – a survey. Zbl 1343.68175
Pérez, Jorge A.
2010
Complexity of non-monotonic logics. Zbl 1275.68141
Thomas, Michael; Vollmer, Heribert
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
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
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
2009
Aceto, Luca; Ingolfsdottir, Anna; Mousavi, MohammadReza; Reniers, Michel A.
2009
Open questions in the theory of automatic structures. Zbl 1169.03352
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
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
Process definition using subobject transformation systems. Zbl 1169.68507
Hermann, Frank; Ehrig, Hartmut
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
Henkin quantifiers: logic, games, and computation. Zbl 1169.68439
Sevenster, Merlijn
2006
Sublinear-time algorithms. Zbl 1169.68442
Czumaj, Artur; Sohler, Christian
2006
Binary words with few squares. Zbl 1169.68565
Harju, Tero; Nowotka, Dirk
2006
A short survey on Watson-Crick automata. Zbl 1169.68302
Czeizler, Elena; Czeizler, Eugen
2006
A note on syndeticity, recognizable sets and Cobham’s theorem. Zbl 1169.68490
Rigo, Michel; Waxweiler, Laurent
2006
Enumeration of formal languages. Zbl 1169.68466
Domaratzki, Michael
2006
Recursion theorems and self-replication via text register machine programs. Zbl 1169.68415
Moss, Lawrence S.
2006
Relations over words and logic: a chronology. Zbl 1169.68460
Choffrut, Christian
2006
Bridges between algebraic automata theory and complexity theory. Zbl 1169.68434
Tesson, Pascal; Thérien, Denis
2006
On the shuffle of regular timed languages. Zbl 1169.68468
Finkel, Olivier
2006
Learning Boolean functions under the uniform distribution via the Fourier transform. Zbl 1169.68449
Köbler, Johannes; Lindner, Wolfgang
2006
...and 115 more Documents
all top 5

#### Cited by 1,558 Authors

 12 Rytter, Wojciech 12 Spirakis, Paul G. 11 Fernau, Henning 11 Păun, Gheorghe 11 Ron, Dana 11 Salomaa, Kai T. 10 Radoszewski, Jakub 9 Marx, Dániel 9 Thilikos, Dimitrios M. 8 Crochemore, Maxime 8 Fomin, Fedor V. 8 Niedermeier, Rolf 8 Pilipczuk, Marcin 8 Sau, Ignasi 8 Waleń, Tomasz 7 Kari, Lila 7 Michail, Othon 7 Mitrana, Victor 7 Rubinfeld, Ronitt 7 Salomaa, Arto Kustaa 7 Shapira, Asaf 7 Stephan, Frank 6 Domaratzki, Michael 6 Hitchcock, John M. 6 Kociumaka, Tomasz 6 Komusiewicz, Christian 6 Larsen, Kim Guldstrand 6 Margenstern, Maurice 6 Pilipczuk, Michał 6 Saxena, Nitin 6 Shaltiel, Ronen 6 Subramani, Krishnan 6 Volkov, Mikhail Vladimirovich 5 Ananichev, Dmitry S. 5 Badkobeh, Golnaz 5 Baste, Julien 5 Chateau, Annie 5 Chatzigiannakis, Ioannis 5 Feuilloley, Laurent 5 Giroudeau, Rodolphe 5 Goldreich, Oded 5 Harju, Tero 5 Iliopoulos, Costas S. 5 Izumi, Taisuke 5 Jain, Sanjay 5 Kratsch, Dieter 5 Kubica, Marcin 5 Legay, Axel 5 Melnikov, Alexander G. 5 Montanari, Angelo 5 Pérez-Jiménez, Mario J. 5 Richomme, Gwénaël 5 Saurabh, Saket 5 Schmid, Markus L. 5 Seshadhri, Comandur 5 Shur, Arseny M. 5 Weller, Mathias 5 Yoshida, Nobuko 5 Yoshida, Yuichi 4 Alon, Noga M. 4 Bjørner, Nikolaj S. 4 Bodlaender, Hans L. 4 Bun, Mark 4 Chattopadhyay, Arkadev 4 Czeizler, Elena 4 Doty, David 4 Fici, Gabriele 4 Fraigniaud, Pierre 4 Geffert, Viliam 4 Glaßer, Christian 4 Golovach, Petr A. 4 Han, Yo-Sub 4 Kalimullin, Iskander Shagitovich 4 Khoussainov, Bakhadyr M. 4 Kleine Büning, Hans 4 Lanese, Ivan 4 Lecroq, Thierry 4 Lefebvre, Arnaud 4 Leupold, Peter 4 Liedloff, Mathieu 4 Newman, Ilan I. 4 Ng, KengMeng 4 Nowotka, Dirk 4 Paul, Christophe 4 Prieur-Gaston, Élise 4 Raghavendra Rao, B. V. 4 Rigo, Michel 4 Rossmanith, Peter 4 Semaev, Igor A. 4 Servedio, Rocco A. 4 Sherstov, Alexander A. 4 Steinberg, Benjamin 4 Tamaki, Suguru 4 Thaler, Justin 4 Trahtman, Avraham Naumovich 4 van Bevern, René 4 Vialette, Stéphane 4 Villanger, Yngve 4 Wojciechowski, Piotr J. 3 Aceto, Luca ...and 1,458 more Authors
all top 5

#### Cited in 135 Journals

 195 Theoretical Computer Science 46 Algorithmica 39 Information and Computation 37 Journal of Computer and System Sciences 32 Theory of Computing Systems 31 Information Processing Letters 25 Discrete Applied Mathematics 23 SIAM Journal on Computing 17 Natural Computing 17 Journal of Logical and Algebraic Methods in Programming 16 Acta Informatica 15 Distributed Computing 14 Computational Complexity 10 International Journal of Foundations of Computer Science 8 Artificial Intelligence 8 Annals of Mathematics and Artificial Intelligence 7 SIAM Journal on Discrete Mathematics 7 Journal of Combinatorial Optimization 7 The Journal of Logic and Algebraic Programming 6 Discrete Mathematics 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 5 Combinatorica 5 Journal of Mathematical Sciences (New York) 5 RAIRO. Theoretical Informatics and Applications 5 Theory of Computing 5 Computer Science Review 4 European Journal of Combinatorics 4 Annals of Pure and Applied Logic 4 Logical Methods in Computer Science 4 Algorithms 3 Communications in Mathematical Physics 3 International Journal of Theoretical Physics 3 Journal of Combinatorial Theory. Series A 3 The Journal of Symbolic Logic 3 Science of Computer Programming 3 New Generation Computing 3 Formal Aspects of Computing 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 Fundamenta Informaticae 3 Mathematical Statistics and Learning 2 Computers & Mathematics with Applications 2 Journal of Mathematical Biology 2 Journal of Statistical Physics 2 Mathematical Notes 2 Advances in Mathematics 2 Applied Mathematics and Computation 2 Journal of Combinatorial Theory. Series B 2 Journal of Mathematical Psychology 2 Siberian Mathematical Journal 2 Transactions of the American Mathematical Society 2 Operations Research Letters 2 Journal of Symbolic Computation 2 Discrete & Computational Geometry 2 MSCS. Mathematical Structures in Computer Science 2 European Journal of Operational Research 2 Indagationes Mathematicae. New Series 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 Israel Journal of Mathematics 1 Mathematics of Computation 1 Bulletin of Mathematical Biology 1 Algebra Universalis 1 The Annals of Statistics 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 Semigroup Forum 1 Studia Logica 1 Synthese 1 Graphs and Combinatorics 1 Statistical Science 1 International Journal of Approximate Reasoning 1 Journal of Cryptology 1 Journal of Parallel and Distributed Computing 1 Neural Computation 1 International Journal of Algebra and Computation 1 Journal of Global Optimization 1 Computational Statistics 1 Automation and Remote Control 1 Mathematical Programming. Series A. Series B 1 Applicable Algebra in Engineering, Communication and Computing 1 SIAM Journal on Optimization 1 Vestnik St. Petersburg University. Mathematics 1 Cybernetics and Systems Analysis 1 Russian Mathematics 1 Journal of Algebraic Combinatorics 1 SIAM Journal on Scientific Computing 1 Journal of Applied Non-Classical Logics ...and 35 more Journals
all top 5

#### Cited in 39 Fields

 804 Computer science (68-XX) 171 Combinatorics (05-XX) 121 Mathematical logic and foundations (03-XX) 57 Information and communication theory, circuits (94-XX) 51 Operations research, mathematical programming (90-XX) 31 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 27 Biology and other natural sciences (92-XX) 24 Number theory (11-XX) 14 Group theory and generalizations (20-XX) 14 Probability theory and stochastic processes (60-XX) 14 Quantum theory (81-XX) 12 Statistics (62-XX) 11 Numerical analysis (65-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 6 Algebraic geometry (14-XX) 5 Measure and integration (28-XX) 5 Statistical mechanics, structure of matter (82-XX) 4 Category theory; homological algebra (18-XX) 4 Convex and discrete geometry (52-XX) 3 General algebraic systems (08-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Geometry (51-XX) 3 General topology (54-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Field theory and polynomials (12-XX) 2 Partial differential equations (35-XX) 2 Approximations and expansions (41-XX) 2 Operator theory (47-XX) 2 Systems theory; control (93-XX) 1 Commutative algebra (13-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral equations (45-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX) 1 Mathematics education (97-XX)