×

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: 485 Publications (since 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 J.
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 498 more Authors

Publications by Year

Citations contained in zbMATH Open

227 Publications have been cited 1,130 times in 1,073 Documents Cited by Year
Lower bounds based on the exponential time hypothesis. Zbl 1258.68068
Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket
94
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
33
2007
Combinatorics on words – a tutorial. Zbl 1169.68560
Berstel, J.; Karhumäki, J.
27
2003
Open questions in the theory of automatic structures. Zbl 1169.03352
Khoussainov, Bakhadyr; Nerode, Anil
23
2008
A counter example to a conjecture concerning synchronizing words in finite automata. Zbl 0977.68055
Kari, Jarkko
23
2001
Fine and Wilf’s theorem for abelian periods. Zbl 1169.68561
Constantinescu, Sorin; Ilie, Lucian
22
2006
Propositional proof complexity: Past present, and future. Zbl 0908.68164
Beame, Paul; Pitassi, Toniann
21
1998
Some new techniques in design and analysis of exact (exponential) algorithms. Zbl 1169.68669
Fomin, Fedor V.; Grandoni, Fabrizio; Kratsch, Dieter
21
2005
Many-valued truth functions, Černý’s conjecture and road coloring. Zbl 0952.68072
Mateescu, Alexandru; Salomaa, Arto
20
1999
Progress on polynomial identity testing. Zbl 1188.68154
Saxena, Nitin
20
2009
The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220
Moore, Cristopher
16
2017
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
15
2014
Communication lower bounds using dual polynomials. Zbl 1169.68438
Sherstov, Alexander A.
14
2008
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2008
A short note on analysing P systems with antiport rules. Zbl 1169.68411
Freund, Rudolf; Oswald, Marion
12
2002
Henkin quantifiers: logic, games, and computation. Zbl 1169.68439
Sevenster, Merlijn
12
2006
Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071
Dom, Michael
12
2009
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
Binary words with few squares. Zbl 1169.68565
Harju, Tero; Nowotka, Dirk
11
2006
Computational tractability: The view from Mars. Zbl 0941.68577
Downey, Rodney G.; Fellows, Michael R.; Stege, Ulrike
11
1999
On the regularity of duplication closure. Zbl 0941.68605
Dassow, Jürgen; Mitrana, Victor; Păun, Gheorghe
11
1999
Parameterized complexity and subexponential time. Zbl 1169.68428
Flum, Jörg; Grohe, Martin
10
2004
On the irregularity of the duplication closure. Zbl 0983.68111
Wang, Ming-Wei
10
2000
Recent developments in kernelization: a survey. Zbl 1409.68144
Kratsch, Stefan
10
2014
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
10
2011
Parameterized complexity for graph layout problems. Zbl 1169.68446
Serna, Maria; Thilikos, Dimitrios M.
9
2005
A short survey on Watson-Crick automata. Zbl 1169.68302
Czeizler, Elena; Czeizler, Eugen
9
2006
Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350
Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf
9
2014
Categorical frameworks for graph transformation and HLR systems based on the DPO approach. Zbl 1257.68092
Ehrig, Hartmut; Golas, Ulrike; Hermann, Frank
9
2010
Progress in descriptive complexity. Zbl 0959.68523
Immerman, Neil
8
1999
A survey on private information retrieval. Zbl 1169.94341
Gasarch, William
8
2004
Quasiperiodic infinite words. Zbl 1169.68484
Marcus, Solomon
8
2004
Quasiperiodic infinite words: some answers. Zbl 1169.68566
Levé, F.; Richomme, G.
8
2004
Isomorphism testing: perspective and open problems. Zbl 1169.68440
Arvind, V.; Torán, Jacobo
8
2005
Survey of distributed decision. Zbl 1409.68043
Feuilloley, Laurent; Fraigniaud, Pierre
8
2016
Counting (scattered) subwords. Zbl 1169.68491
Salomaa, Arto
7
2003
A SAT solver primer. Zbl 1169.68444
Mitchell, David G.
7
2005
The domino problem of the hyperbolic plane is undecidable. Zbl 1169.03354
Margenstern, Maurice
7
2007
The Hausdorff measure of regular \(\omega\)-languages is computable. Zbl 0912.68119
Staiger, Ludwig
6
1998
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
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
Enumeration of formal languages. Zbl 1169.68466
Domaratzki, Michael
6
2006
Nine open problems on conjunctive and Boolean grammars. Zbl 1169.68454
Okhotin, Alexander
6
2007
Recognizable subsets of a group: finite extensions and the Abelian case. Zbl 1015.20049
Silva, Pedro V.
6
2002
Recent trends in descriptional complexity of formal languages. Zbl 1409.68161
Kutrib, Martin; Pighizzini, Giovanni
6
2013
Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114
Erlebach, Thomas; Hoffmann, Michael
6
2015
The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136
Curticapean, Radu
6
2016
Shuffling and unshuffling. Zbl 1394.68212
Henshall, Dane; Rampersad, Narad; Shallit, Jeffrey
6
2012
Mobile agents in distributed computing: network exploration. Zbl 1394.68033
Das, Shantanu
6
2013
Addenda to the survey of layout problems. Zbl 1257.68011
Petit, Jordi
6
2011
Why are modal logics so robustly decidable? Zbl 0935.03029
Grädel, Erich
5
1999
Multilinear polynomials modulo composites. Zbl 1204.68009
Chattopadhyay, Arkadev
5
2010
Bigraphs meet double pushouts. Zbl 1169.68450
Ehrig, Hartmut
5
2002
An introduction to probabilistic automata. Zbl 1169.68494
Stoelinga, Mariëlle
5
2002
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
Derandomization: A brief overview. Zbl 1021.68041
Kabanets, Valentine
5
2002
The division breakthroughs. Zbl 1027.68606
Allender, Eric
5
2001
Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017
Markou, Euripides
5
2012
Convergent and commutative replicated data types. Zbl 1257.68039
Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek
5
2011
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
Relations over words and logic: a chronology. Zbl 1169.68460
Choffrut, Christian
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
Quantum computing and communication complexity. Zbl 0973.68070
Buhrman, Harry
4
2000
State complexity of finite and infinite regular languages. Zbl 1024.68543
Yu, Sheng
4
2002
The distributed minimum spanning tree problem. Zbl 1427.68251
Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele
4
2018
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
On time-varying \(H\) systems. Zbl 0936.68041
Păun, Andrei
3
1999
Some of my favourite results in classic process algebra. Zbl 1169.68533
Aceto, Luca
3
2003
Recursion vs replication in process calculi: Expressiveness. Zbl 1169.68551
Palamidessi, Catuscia; Valencia, Frank D.
3
2005
The language of primitive words is not regular: two simple proofs. Zbl 1169.68562
Dömösi, Pál; Horváth, Géza
3
2005
Bridges between algebraic automata theory and complexity theory. Zbl 1169.68434
Tesson, Pascal; Thérien, Denis
3
2006
Proof interpretations and the computational content of proofs in mathematics. Zbl 1169.03360
Kohlenbach, Ulrich
3
2007
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
3
2009
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
Bead-sort: A natural sorting algorithm. Zbl 1018.68022
Arulanandham, Joshua J.; Calude, Cristian S.; Dinneen, Michael J.
3
2002
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
3
2014
Recent progress on arithmetic circuit lower bounds. Zbl 1409.68127
Saptharishi, Ramprasad
3
2014
Combinatorial game complexity: an introduction with poset games. Zbl 1409.68137
Fenner, Stephen A.; Rogers, John
3
2015
How tough is toughness? Zbl 1409.68207
Broersma, Hajo
3
2015
Catalytic computation. Zbl 1409.68106
Koucký, Michal
3
2016
Near-additive spanners and near-exact hopsets, a unified view. Zbl 1468.68147
Elkin, Michael; Neiman, Ofer
1
2020
Enumeration complexity. Zbl 1428.68227
Strozecki, Yann
2
2019
Hypergraphic degree sequences are hard. Zbl 1428.68161
Deza, Antoine; Levin, Asaf; Meesum, Syed Mohammad; Onn, Shmuel
1
2019
Hardness-randomness tradeoffs for algebraic computation. Zbl 1428.68164
Kumar, Mrinal; Saptharishi, Ramprasad
1
2019
An informal visit to the wonderful land of consensus numbers and beyond. Zbl 1428.68081
Raynal, Michel
1
2019
The distributed minimum spanning tree problem. Zbl 1427.68251
Pandurangan, Gopal; Robinson, Peter; Scquizzato, Michele
4
2018
Recent results in population protocols for exact majority and leader election. Zbl 1428.68047
Elsässer, Robert; Radzik, Tomasz
2
2018
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
Who needs category theory? Zbl 1409.68095
Blass, Andreas; Gurevich, Yuri
1
2018
The computer science and physics of community detection: landscapes, phase transitions, and hardness. Zbl 1409.68220
Moore, Cristopher
16
2017
Open and closed words. Zbl 1409.68226
Fici, Gabriele
3
2017
A (centralized) local guide. Zbl 1409.68218
Levi, Reut; Medina, Moti
1
2017
Concurrent structures in game semantics. Zbl 1409.68164
Castellan, Simon
1
2017
Composition in state-based replicated data types. Zbl 1409.68038
Baquero, Carlos; Almeida, Paulo Sérgio; Cunha, Alcino; Ferreira, Carla
1
2017
Temporal hyperproperties. Zbl 1416.03013
Finkbeiner, Bernd
1
2017
Survey of distributed decision. Zbl 1409.68043
Feuilloley, Laurent; Fraigniaud, Pierre
8
2016
The simple, little and slow things count: on parameterized counting complexity. Zbl 1409.68136
Curticapean, Radu
6
2016
Catalytic computation. Zbl 1409.68106
Koucký, Michal
3
2016
Fault-tolerant logical network structures. Zbl 1409.68049
Parter, Merav
3
2016
Monoids as storage mechanisms. Zbl 1409.68180
Zetzsche, Georg
3
2016
Computational aspects of packing problems. Zbl 1409.68130
Alt, Helmut
1
2016
Query-competitive algorithms for computing with uncertainty. Zbl 1409.68114
Erlebach, Thomas; Hoffmann, Michael
6
2015
Combinatorial game complexity: an introduction with poset games. Zbl 1409.68137
Fenner, Stephen A.; Rogers, John
3
2015
How tough is toughness? Zbl 1409.68207
Broersma, Hajo
3
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
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
Fast algorithms for structured sparsity (ICALP 2015 invited tutorial). Zbl 1409.68318
Hegde, Chinmay; Indyk, Piotr; Schmidt, Ludwig
1
2015
Causal-consistent reversibility. Zbl 1409.68117
Lanese, Ivan; Mezzina, Claudio Antares; Tiezzi, Francesco
15
2014
Recent developments in kernelization: a survey. Zbl 1409.68144
Kratsch, Stefan
10
2014
Multivariate algorithmics for NP-hard string problems. Zbl 1409.68350
Bulteau, Laurent; Hüffner, Falk; Komusiewicz, Christian; Niedermeier, Rolf
9
2014
The complexity of valued constraint satisfaction. Zbl 1409.68141
Jeavons, Peter; Krokhin, Andrei; Živný, Stanislav
3
2014
Recent progress on arithmetic circuit lower bounds. Zbl 1409.68127
Saptharishi, Ramprasad
3
2014
Structure vs combinatorics in computational complexity. Zbl 1409.68132
Barak, Boaz
2
2014
Recent advances on the log-rank conjecture in communication complexity. Zbl 1409.68118
Lovett, Shachar
1
2014
Recent trends in descriptional complexity of formal languages. Zbl 1409.68161
Kutrib, Martin; Pighizzini, Giovanni
6
2013
Mobile agents in distributed computing: network exploration. Zbl 1394.68033
Das, Shantanu
6
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
6
2012
Identifying hostile nodes in networks using mobile agents. Zbl 1394.68017
Markou, Euripides
5
2012
Ironic complicity: satisfiability algorithms and circuit lower bounds. Zbl 1261.68062
Santhanam, Rahul
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
94
2011
Interval temporal logics: a journey. Zbl 1275.03087
Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido
10
2011
Addenda to the survey of layout problems. Zbl 1257.68011
Petit, Jordi
6
2011
Convergent and commutative replicated data types. Zbl 1257.68039
Shapiro, Marc; Preguiça, Nuno; Baquero, Carlos; Zawirski, Marek
5
2011
Some nuances of many-sorted universal algebra: a review. Zbl 1261.68088
Tarlecki, Andrzej
4
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
9
2010
Multilinear polynomials modulo composites. Zbl 1204.68009
Chattopadhyay, Arkadev
5
2010
Complexity of non-monotonic logics. Zbl 1275.68141
Thomas, Michael; Vollmer, Heribert
3
2010
Higher-order concurrency: expressiveness and decidability results – a survey. Zbl 1343.68175
Pérez, Jorge A.
2
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
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
Progress on polynomial identity testing. Zbl 1188.68154
Saxena, Nitin
20
2009
Algorithmic aspects of the consecutive-ones property. Zbl 1179.05071
Dom, Michael
12
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
Cospan DPO approach: an alternative for DPO graph transformations. Zbl 1191.68361
Ehrig, Hartmut; Hermann, Frank; Prange, Ulrike
3
2009
Integer multiplication and the complexity of binary decision diagrams. Zbl 1191.68347
Bollig, Beate
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
23
2008
Communication lower bounds using dual polynomials. Zbl 1169.68438
Sherstov, Alexander A.
14
2008
20 years of modal and mixed specifications. Zbl 1169.68498
Antonik, Adam; Huth, Michael; Larsen, Kim G.; Nyman, Ulrik; Wąsowski, Andrzej
14
2008
Style-based architectural reconfigurations. Zbl 1169.68306
Bruni, Roberto; Lluch Lafuente, Alberto; Montanari, Ugo; Tuosto, Emilio
4
2008
Process definition using subobject transformation systems. Zbl 1169.68507
Hermann, Frank; Ehrig, Hartmut
2
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
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
33
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
22
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
...and 127 more Documents
all top 5

Cited by 1,743 Authors

14 Spirakis, Paul G.
13 Rytter, Wojciech
12 Fernau, Henning
12 Salomaa, Kai T.
11 Păun, Gheorghe
11 Radoszewski, Jakub
11 Ron, Dana
10 Sau, Ignasi
10 Thilikos, Dimitrios M.
9 Marx, Dániel
9 Michail, Othon
9 Waleń, Tomasz
8 Crochemore, Maxime
8 Fomin, Fedor V.
8 Niedermeier, Rolf
8 Pilipczuk, Marcin L.
8 Stephan, Frank
8 Subramani, Krishnan
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 Giroudeau, Rodolphe
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 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 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 Coja-Oghlan, Amin
4 Czeizler, Elena
4 Doty, David
4 Fici, Gabriele
4 Fraigniaud, Pierre
4 Geffert, Viliam
4 Glaßer, Christian
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
4 Paul, Christophe
4 Prieur-Gaston, Élise
4 Puzynina, Svetlana
4 Raghavendra Rao, B. V.
...and 1,643 more Authors
all top 5

Cited in 150 Journals

207 Theoretical Computer Science
50 Algorithmica
45 Information and Computation
41 Journal of Computer and System Sciences
33 Theory of Computing Systems
31 Information Processing Letters
27 Discrete Applied Mathematics
26 SIAM Journal on Computing
19 Distributed Computing
17 Natural Computing
17 Journal of Logical and Algebraic Methods in Programming
16 Acta Informatica
16 Computational Complexity
11 SIAM Journal on Discrete Mathematics
10 International Journal of Foundations of Computer Science
9 Artificial Intelligence
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 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 Graphs and Combinatorics
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 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
1 Journal of Global Optimization
1 Computational Statistics
...and 50 more Journals
all top 5

Cited in 40 Fields

914 Computer science (68-XX)
195 Combinatorics (05-XX)
139 Mathematical logic and foundations (03-XX)
62 Information and communication theory, circuits (94-XX)
57 Operations research, mathematical programming (90-XX)
36 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
31 Biology and other natural sciences (92-XX)
25 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)
9 Order, lattices, ordered algebraic structures (06-XX)
8 Statistical mechanics, structure of matter (82-XX)
7 Algebraic geometry (14-XX)
6 Measure and integration (28-XX)
6 Convex and discrete geometry (52-XX)
5 Category theory; homological algebra (18-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)
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 Relativity and gravitational theory (83-XX)
2 Systems theory; control (93-XX)
1 Integral equations (45-XX)
1 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Mathematics education (97-XX)

Citations by Year