The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Bull. EATCS"( http://dblp.L3S.de/Venues/Bull._EATCS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/eatcs

Publication years (Num. hits)
1978-1984 (34) 1985 (31) 1986 (25) 1987 (31) 1988 (39) 1989 (45) 1990 (44) 1991 (33) 1992 (32) 1993 (36) 1994 (27) 1995 (26) 1996 (27) 1997 (25) 1998 (28) 1999 (28) 2000 (29) 2001 (30) 2002 (32) 2003 (37) 2004 (34) 2005 (28) 2006 (35) 2007 (32) 2008 (24) 2009 (20) 2010 (20) 2011 (17) 2012 (42) 2013 (39) 2014 (55) 2015 (47) 2016 (66) 2017 (49) 2018 (42) 2019 (36) 2020 (33) 2021 (40) 2022 (55) 2023 (40)
Publication types (Num. hits)
article(1393)
Venues (Conferences, Journals, ...)
Bull. EATCS(1393)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 1393 publication records. Showing 1393 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1 The Goedel Prize 2023 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Antoine Amarilli Should conferences still require mandatory attendance? A column by Theoretical Computer Scientists for Future (TCS4F). Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Magnús M. Halldórsson SIROCCO Prize for Innovation in Distributed Computing - Laudatio for Boaz Patt-Shamir. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Mikolaj Bojanczyk Presburger Award 2023 - Laudatio. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Joel D. Day, Vijay Ganesh, Florin Manea Formal Languages via Theories over Strings: An Overview of Some Recent Results. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Stefan Schmid 0001 Letter from the Editor. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Ulrike Schmidt-Kraepelin Removing the Barriers: Overcoming Impostor Phenomenon as a Community. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Fedor V. Fomin IPEC Nerode Prize 2023. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Yuri Gurevich Obituary: Yuri Manin. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Ryan Williams The Power of Constructing Bad Inputs. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Naama Ben-David Lock-Free Locks. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Artur Czumaj Letter from the President. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Artur Czumaj Letter from the President. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Artur Czumaj Letter from the President. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Michal Koucký 0001 Automata and Formal Languages: Shall we let them go? Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Stefan Walzer What if we tried Less Power? Lessons from studying the power of choices in hashing-based data structures. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Valentina Dagiene Bebras: Inspiring Informatics Education Across the Globe. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Kenichi Morita Making Reversible Computing Machines in a Reversible Cellular Space. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Ian Mertz Reusing Space: Techniques and Open Problems. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Michel Raynal Mutual Exclusion vs Consensus: Both Sides of the Same Coin? Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Yuri Gurevich The umbilical cord of finite model theory. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Johan Håstad The EATCS Award 2023 - Laudatio for Amos Fiat. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Jürgen Dassow, Martin Kutrib, Giovanni Pighizzini 25 Editions of DCFS: Origins and Directions. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Yukiko Yamauch Report from EATCS Japan Chapter. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Giuseppe F. Italiano EATCS-Fellows 2023. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Yuri Gurevich, Andreas Blass What are kets? Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Fedor V. Fomin IPEC Nerode Prize 2023 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Stefan Schmid 0001 Letter from the Editor. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Stefan Schmid 0001 Letter from the Editor. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Anca Muscholl Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Anca Muscholl Report on ICALP 2023. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Yuri Gurevich Obituary: Gregory Tseytin. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Juraj Hromkovic, Regula Lacher How Teaching Informatics Can Contribute to Improving Education in General. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Nikhil Bansal 0001 EATCS Distinguished Dissertation Award for 2022. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Ulf-Peter Schroeder Scientific colloquium in honor of former EATCS President Burkhard Monien on the occasion of his 80th birthday. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Dean Leitersdorf The Relationship between APSP and Matrix Multiplication in Congested Clique. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1 2023 Goedel Prize. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Anca Muscholl ICALP 2024 - Call for Papers. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Ciaran McCreesh Report on BCTCS 2023. Search on Bibsonomy Bull. EATCS The full citation details ... 2023 DBLP  BibTeX  RDF
1Juraj Hromkovic Salomaa Prize in Automata Theory, Formal Languages and related topics. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Shuichi Hirahara Meta-Computational Average-Case Complexity: A New Paradigm Toward Excluding Heuristica. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Nadia Pisanti Report on CPM 2022. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Ackermann Award 2022 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Michel Raynal, Gadi Taubenfeld Symmetry and Anonymity in Shared Memory Concurrent Systems. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Lance Fortnow Computational Complexity. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Omer Reingold Bringing Research-Life to Centerstage. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Tobias Kohn A Minimal Instruction Set for Education. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Luca Aceto, Orna Kupferman, Mickael Randour, Davide Sangiorgi Interviews with the 2022 CONCUR Test-of-Time Award Recipients. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Paul Spirakis. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Jean-Éric Pin. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Éva Tardos The EATCS Award 2022 - Laudatio for Patrick Cousot. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 EATCS Fellows 2023 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Artur Czumaj Letter from the President. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Sophie Huiberts Prizes and Prejudice. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Mariangiola Dezani-Ciancaglini. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Leslie Ann Goldberg. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Nadia Pisanti Report on CPM 2022. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 EATCS Distinguished Dissertation Award for 2021. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Bianca Truthe Report on NCMA 2022: 12th International Workshop on Non-Classical Models of Automata and Applications. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Johan Håstad The EATCS Award 2023 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Grzegorz Rozenberg. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Artur Czumaj Letter from the President. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Jorge Almeida 0001, Alfredo Costa, Revekka Kyriakoglou, Dominique Perrin Book Introduction by the Authors: Profinite Semigroups and Symbolic Dynamic. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Robert Cori. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Christos Papadimitriou. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Zhenjian Lu, Igor C. Oliveira Theory and Applications of Probabilistic Kolmogorov Complexity. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Silver Jubilee of EATCS. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Susanne Albers EATCS Distinguished Dissertation Award 2022 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Anne Driemel. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Know the Person behind the Papers: Eva Rotenberg. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Dario Naepfer Testing of an Interactive Online Learning Environment with Focus on Algorithmic Tasks. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1William M. Hoza Recent Progress on Derandomizing Space-Bounded Computation. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 EATCS-Fellows 2022. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Stefan Schmid 0001 Letter from the Editor. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Stefan Schmid 0001 Letter from the Editor. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Anca Muscholl Report on ICALP 2021. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Yijia Chen, Jörg Flum, Moritz Müller A Surprising Relationship Between Descriptive Complexity and Proof Complexity. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Artur Czumaj Letter from the President. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Andreas Blass, Yuri Gurevich, Alexander Volberg Wigner's quasidistribution and Dirac's kets. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Giorgio Ausiello EATCS Golden Jubilee: How EATCS was born 50 years ago and why it is still alive and well. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Swen Jacobs, Christoph Lenzen 0001 Current Challenges in Reliable and Secure Clock Synchronization. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Bianca Truthe Report on DCFS 2022: 24th International Conference on Descriptional Complexity of Formal Systems. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 The Presburger Award 2022 - Laudatio for Dor Minzer. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Redbelly Network Redbelly Blockchain: a Combination of Recent Advances. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Viresh Patel, Guus Regts Approximate counting using Taylor's theorem: a survey. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Luca Aceto, Pierluigi Crescenzi CONCUR through time. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Olga Petrovska, Monika Seisenberger Report on BCTCS 2022. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 Obituary for Rolf Niedermeier. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Frits C. R. Spieksma Obituary for Gerhard Woeginger. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1 2022 Edsger W. Dijkstra Prize in Distributed Computing. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Bianca Truthe Report on MCU 2022: 9th International Conference on Machines, Computations, and Universality. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Yukiko Yamauchi Report from EATCS Japan Chapter. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Mikolaj Bojanczyk The Presburger Award for Young Scientists 2023 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Yukiko Yamauchi Report from EATCS Japan Chapter. Search on Bibsonomy Bull. EATCS The full citation details ... 2021 DBLP  BibTeX  RDF
1Marko Vukolic On the Future of Decentralized Computing. Search on Bibsonomy Bull. EATCS The full citation details ... 2021 DBLP  BibTeX  RDF
1Virginia Vassilevska Williams EATCS-IPEC Nerode Prize - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2021 DBLP  BibTeX  RDF
1Mariangiola Dezani EATCS Fellows 2022 - Call for Nominations. Search on Bibsonomy Bull. EATCS The full citation details ... 2021 DBLP  BibTeX  RDF
1Thore Husfeldt The Presburger Award 2021 - Laudatio for Shayan Oveis Gharan. Search on Bibsonomy Bull. EATCS The full citation details ... 2021 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 1393 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license