| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vasco T. Vasconcelos |
Sessions, from Types to Programming Languages.  |
Bulletin of the EATCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Interval Temporal Logics: a Journey. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Karem A. Sakallah, João Marques-Silva |
Anatomy and Empirical Evaluation of Modern SAT Solvers. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Claus Diem |
On the Notion of Bit Complexity. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel Lokshtanov, Dániel Marx, Saket Saurabh |
Lower bounds based on the Exponential Time Hypothesis. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jordi Petit |
Addenda to the Survey of Layout Problems. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich, Grant Olney Passmore |
Impugning Randomness, Convincingly. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lisa Higham, Jalal Kawash, Abhijeet Pareek Pareek |
Programmer-Centric Memory Consistency Modeling. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Tarlecki |
Some Nuances of Many-sorted Universal Algebra: A Review. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bruno Salvy, Robert Sedgewick, Michèle Soria, Wojciech Szpankowski, Brigitte Vallée |
Philippe Flajolet (1948-2011). |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | V. Arvind |
Noncommutative Arithmetic Circuits meet Finite Automata. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj Bjørner |
Foundations of Finite Symbolic Tree Transducers. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto |
The Concurrency Column. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maria J. Blesa, Amalia Duch, Joaquim Gabarró, Hugo Hernández, Maria J. Serna |
Coaching on New Technologies: Programming Workshop Android Applications for Google Phones. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Uri Abraham |
Assertional and Behavioral Approaches to Concurrency. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Michel Raynal |
Failure Detectors to Solve Asynchronous k-Set Agreement: a Glimpse of Recent Results. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marc Shapiro, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski |
Convergent and Commutative Replicated Data Types. |
Bulletin of the EATCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Glenn Shafer, Vladimir Vovk, Roman Chychyla |
How to Base Probability Theory on Perfect-Information Games. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thomas, Heribert Vollmer |
Complexity of non-monotonic logics. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marios Mavronicolas |
Some Algorithmic Questions About Nash Equilibria. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marko Vukolic |
The Origin of Quorum Systems. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | François Laroussinie |
Temporal Logics for Games. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kazuyuki Amano |
Researching the Complexity of Boolean Functions with Computers. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Ulrike Golas, Frank Hermann |
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Uwe Schöning, Monika von Knop |
Using Stochastic Indexed Grammars for RNA Structure PredictionWith Pseudoknots. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich, Efim Hudis |
The Tower-of-Babel Problem, and Security Assesment Sharing. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Panagiota Fatourou |
The Distributed Computing Column. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jorge A. Pérez |
Higher-Order Concurrency: Expressiveness and Decidability. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kathrin Hoffmann |
Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Hilbertian Deductive Systems, Infon Logic, and Datalog. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Arkadev Chattopadhyay |
Multilinear Polynomials Modulo Composites. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gordon D. Plotkin, Colin Stirling, Mads Tofte |
Obituary: Robin Milner (1934-2010). |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marko Vukolic |
Remarks: The Origin of Quorum Systems. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Philippe Martin, Alexander Shraer |
Reconfiguring Replicated Atomic Storage: A Tutorial. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Ground Term Rewriting. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hagit Attiya |
Robust Simulation of Shared Memory: 20 Years After. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vittorio Bilò |
One-round Walks in Linear Congestion Games. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maurice Herlihy |
Transactional Memory: A Primer for Theorists. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Dom |
Algorithimic Aspects of the Consecutive-Ones Property. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Edwin J. Beggs, José Félix Costa, John V. Tucker |
Physical Experiments as Oracles. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Spyros C. Kontogiannis, Paul G. Spirakis, Haralampos Tsaknakis |
Recent Advances in Approximability of Bimatrix Nash. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nitin Saxena |
Progress on Polynomial Identity Testing. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rachid Guerraoui, Michal Kapalka |
The Theory of Transactional Memory. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Gregory J. Chaitin |
Evolution of Mutating Software. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jacobo Torán, Fabian Wagner |
The Complexity of Planar Graph Isomorphism. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yuri Gurevich, Itay Neeman |
Teh Logic of Infons. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Beate Bollig |
Integer Multiplicaton and the Complexity of Binary Decision Diagrams. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink |
Graph Abstraction for a Modal Logic. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König |
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Claudia Ermel |
Visual Modelling and Analysis of Model Transformations based on Graph Transformation. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Michael Main |
Quantum Pseudo-Telepathy Saves the World. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Frank Hermann, Ulrike Prange |
Cospan DPO Approach: An Alternative for DPO Graph Transformations. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Algebraic Properties for Free! |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Julian Rathke, Pawel Sobocinski |
Deriving Labelled Transition Systems - A Structural Approach. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Bruno Durand, Andrei E. Romashchenko, Alexander Shen |
Fixed Point Theorem and Aperiodic Tilings. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Christodoulou, Elias Koutsoupias |
Mechanism Design for Scheduling. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Torvald Riegel, Pascal Felber, Christof Fetzer |
Composable Error Recovery With Transactional Memory. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jarkko Kari, Siamak Taati |
Combinatorics of Conservation Laws. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski |
20 Years of Modal and Mixed Specifications. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari |
Style-Based Architectural Reconfigurations. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christoph Ambühl, Monaldo Mastrolilli, Nikolaus Mutsanas, Ola Svensson |
Precedence Constraint Scheduling and Connections to Dimension Theory of Partial Orders. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bakhadyr Khoussainov, Anil Nerode |
Open Questions in the Theory of Automatic Structures. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alexander A. Sherstov |
Communication Lower Bounds Using Dual Polynomials. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hunter Monroe |
Are There Natural Problems with Speedup? |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gerhard J. Woeginger |
Four Non-Deterministic Programming Exercises. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luís Caires |
Dynamic Spatial Logics: A Tutorial Survey. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Friedrich Eisenbrand |
Algorithms for Integer Programming. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig |
Process Definition using Subobject Transformation Systems. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | David W. Corne, Alan P. Reynolds |
Swarm Intelligence: A Tutorial Account. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Silvio Capobianco |
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Narad Rampersad |
Avoiding Sufficiently Large Binary Patterns. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Axel Born, Cor A. J. Hurkens, Gerhard J. Woeginger |
The Freudenthal Problem and its Ramifications (Part III). |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gadi Taubenfeld |
Shared Memory Synchronization. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann |
Applying Concurrency Research in Industry Report on a Strategic Workshop. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller |
Formalizing Operational Semantic Specifications in Logic. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Arnold L. Rosenberg |
A "Big-Ideas" Computation Theory Course for the Undergraduate. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christian Scheideler |
Algorithms for Overlay Networks. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel |
Self-Stabilization from Theory to Practice. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Ulrike Prange |
Flattening of Generalized Algebraic High-Level Nets. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nikolay K. Vereshchagin |
Kolmogorov Complexity and Games. |
Bulletin of the EATCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luca Cardelli |
Machines of Systems Biology. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kohei Honda, Nobuko Yoshida, Marco Carbone |
Web Services, Mobile Processes and Types. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Burkhard Englert |
OPODIS 2006 Report. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Kohlenbach |
Proof Interpretations and the Computational Content of Proofs in Mathematics. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yo-Sub Han |
Decision Algorithms for Subfamilies of Regular Languages using State-Pair Graphs. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gorjan Alagic, Alexander Russell |
Quantum Computing and the Hunt for Hidden Symmetry. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gheorghe Paun |
Spiking Neural P Systems: A Tutorial. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hans J. Schneider |
Relabeling and the Independence Theorem in the Double-Pushout Approach to Graph Transformations. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Zero-One Laws: Thesauri and Parametric Conditions. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Anna Ingólfsdóttir |
Characteristic Formulae: From Automata to Logic. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory, Oscar Díaz, Hartmut Ehrig, Claudia Ermel, Ulrike Prange, Gabriele Taentzer |
Model Transformations should be Functors. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Endre Boros, Yves Crama, Bruno Simeone |
Obituary Peter L. Hammer (1936-2006). |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yuxin Deng |
A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sheng Yu |
Cover Automata for Finite Language. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Roberto Gorrieri |
Obituary, Nadia Busi (1968-2007). |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Orna Kupferman |
Exponential Gaps in our Knowledge. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | James Aspnes, Eric Ruppert |
An Introduction to Population Protocols. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Meena Mahajan |
Polynomial Size Log Depth Circuits: Between NC1 and AC1. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")