×

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/archive
http://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

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

Publications by Year

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

Citations by Year