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