| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Samee Ullah Khan, Ishfaq Ahmad |
Combinatorial Pawn Power.  |
Bulletin of the EATCS  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Maria J. Serna, Dimitrios M. Thilikos |
Parameterized Complexity for Graph Layout Problems. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vikraman Arvind, Jacobo Torán |
Isomorphism Testing: Perspective and Open Problems. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pál Dömösi, Géza Horváth |
The Language of Primitive Words in not Regular: Two Simple Proofs. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yasubumi Sakakibara |
Development of a Bacteria Computer: From in silico Finite Automata to in virto AND in vivo. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fedor V. Fomin, Fabrizio Grandoni, Dieter Kratsch |
Some New Techniques in Design and Analysis of Exact (Exponential) Algorithms. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuel Baena-García, Rafael Morales Bueno, José-Luis Pérez-de-la-Cruz, Inmaculada Fortes Ruiz, Llanos Mora López |
Busy Beaver Function in LOOP. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Davide Prandi, Corrado Priami, Paola Quaglia |
Process Calculi in a Biological Context. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Benjamin Rossman |
Explicit Graphs with Extension Properties. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter Høyer, Robert Spalek |
Lower Bounds on Quantum Query Complexity. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harry Buhrman, Leen Torenvliet |
A Post's Program for Complexity Theory. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Catuscia Palamidessi, Frank D. Valencia |
Recursion vs Replication in Process Calculi: Expressiveness. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jan Hidders, Philippe Michiels, Roel Vercammen |
Optimizing Sorting and Duplicate Elimination in XQuery Path Expressions. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Pedro García, Manuel Vazquez de Parga |
A note about mergible states in large NFA. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Olivier Finkel |
On Decision Problems for Timed Automata. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki |
More Words on Trajectories. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Natalio Krasnogor, Marian Gheorghe, Germán Terrazas, Steve Diggle, Paul Williams, Miguel Cámara |
An Appealing Computational Mechanism Drawn from Bacterial Quorum Sensing. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka |
Local Computation in Graphs: The Case of Cellular Edge Local Computations. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michal Kunc |
Simple language Equations. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Costas Busch, Marios Mavronicolas, Paul G. Spirakis |
An Application of the Monotone Linearizability Lemma. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Michel Latteux |
Representation of Regular Languages by Equality Sets. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Costas Busch, Mukkai S. Krishnamoorthy, Malik Magdon-Ismail |
Hardness Results for Cake Cutting. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | José Félix Costa, Jerzy Mycka |
What Lies Beyond the Mountains? |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Barbara König, Vitali Kozioura |
Augur - A Tool for the Analysis of Graph Transformation Systems. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay |
Quantum Programming Languages: Survey and Bibliography. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jan Van den Bussche |
First-order Topology Properties. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Julia Padberg |
Integration of the Generic Component Concepts for System Modeling with Adhesive HLR Systems. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | David G. Mitchell |
A SAT Solver Primer. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lila Kari, Petr Sosík |
On Language Equations with Deletion. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Markus Holzer, Barbara König |
Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Samee Ullah Khan |
Integers, Game Trees and some Unknowns. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | José M. Sempere |
A Representation Theorem for Languages Accepted by Watson-Crick Finite Automata. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Solomon Marcus |
Quasiperiodic Infinite Words (Columns: Formal Language Theory). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Gatto, Riko Jacob, Leon Peeters, Birgitta Weber, Peter Widmayer |
Theory on the Tracks: A Selection of Railway Optimization Problems (Column: Algorithmics). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Michel A. Reniers |
Process Algebra Needs Proof Methodology (Columns: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Benedek Nagy |
The Languages of SAT and n-SAT over Finitely Many Variables are Regular. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Gene Assembly in Celiates. Part I. Molecular Operations (Column: Natural Computing). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dahlia Malkhi |
Locality-Aware Network Solutions - A survey (Column: Distributed Computing). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ville Piirainen |
Monotone Algebras, R-Trivial Monoids and a Variety of Tree Languages. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andrzej Szepietowski, Monika Targan |
The Counterfeit Coin Problem. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Peter Sanders |
Algorithms for Memory Hierarchies (Column: Algorithmics). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Samee Ullah Khan, Ishfaq Ahmad |
Some Preliminary Results on Three Combinatorial Board Games. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Why Sets? (Column: Logic in Computer Science). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sotiris E. Nikoletseas, Paul G. Spirakis |
The Characteristic Algorithmic Approach for Ad-hoc Mobile Networks (Column: Distributed Computing). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sándor Vágvölgyi |
Left-linear Right-ground Term Rewrite Systems and Ground Term Rewrite Systems. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kazuo Iwama |
Worst-Case Upper Bounds for kSAT (Column: Algorithmics). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Gheorghe Paun |
Membrane Computing after the Second Brainstorming Week Sevilla, February 2004 (Column: Natural Computing). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pedro García, José Ruiz |
A Note on Minimal Cover-Automata for Finite Languages. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | William I. Gasarch |
A Survey on Private Information Retrieval (Column: Computational Complexity). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joshua D. Guttman |
A New Column: Information Security. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cristian Calude, Elena Calude, Solomon Marcus |
Passages of Proof. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jacobo Torán |
Space and Width in Propositional Resolution (Column: Computational Complexity). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jörg Flum, Martin Grohe |
Parametrized Complexity and Subexponential Time (Column: Computational Complexity). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pawel Sobocinski |
Process Congruences from Reaction Rules (Column: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hans J. Schneider |
Introducing the parallel Random Access Machine together with FORTARN 90/95. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | István Katsányi |
A Note on Restricted Insertion-Deletion Systems. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Eugene Asarin |
Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Florence Levé, Gwénaël Richomme |
Quasiperiodic Infinite Words: Some Answers (Column: Formal Language Theory). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Stay |
Inexpensive Linear-Optical Implementations of Deutsch's Algorithm. |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Per F. V. Hasle, Peter Øhrstrøm |
The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Milan Urbásek |
Net Transformations for Petri Net Technology. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andreas Blass, Yuri Gurevich |
Algorithms: A Quest for Absolute Definitions. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rodrigo Readi Nasser |
A Note on First Order Unification. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Arto Salomaa |
Counting (scattered) Subwords. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Joan Feigenbaum, Scott Shenker |
Distributed algorithmic mechanism design: recent results and future directions, Distributed Computing Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juha Honkala |
The DF0L Language Equivalence Problem. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lance Fortnow, Steven Homer |
A Short History of Computational Complexity. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean Berstel, Juhani Karhumäki |
Combinatorics on words: a tutorial. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Ion Petre, Grzegorz Rozenberg |
Gene Assembly in Ciliates Part I. Molecular Operations. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elena Losseva |
Building Reliable Systems from Unreliable Components and the DNA Computing Paradigm. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Samee Ullah Khan |
Plays, Values, Analysis and The Complexity of Chinese Chess. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Okhotin |
An overview of conjunctive grammars, Formal Language Theory Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig |
On the relevance of high-level net processes, Formal Specification Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara |
Meta-Modelling and Graph Transformation for the Simulation of Systems. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael Domaratzki |
On Iterated Scattered Deletion. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin Böhme, Bodo Manthey |
The Computational Power of Compiling C++. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin Dietzfelbinger, Manfred Kunde |
A case against using Stirling's formula (unless you really need it). |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto |
Some of My Favourite Results in Classic Process Algebra. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pablo Arrighi |
Quantum Computation Explained to My Mother. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | David Harel |
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst |
Challenges in Business Process Management: Verification of Business Processing Using Petri Nets. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marc Bezem, Thierry Coquand |
Newman's lemma - a case study in proof automation and geometric logic, Logic in Computer Science Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henning Fernau |
Education(al) matters: teaching P versus NP. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Markey |
Temporal logic with past is exponentially more succinct, Concurrency Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yannis C. Stamatiou |
Threshold Phenomena: The Computer Scientist's Viewpoint. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Scott Aaronson |
Is P Versus NP Formally Independent? |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Max H. Garzon |
Biomolecular computing in silico, Natural Computing Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Fenner |
A physics-free introduction to the quantum computation model, Computational Complexity Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Kamala Krithivasan, Sandeep V. Varma |
On Minimising P Finite State Automata. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tero Harju, Dirk Nowotka |
Periodicity and Unbordered Segments of Words. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Eugene Eberbach, Peter Wegner |
Beyond Turing Machines. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rani Siromoney, Bireswar Das |
DNA algorithm for breaking a propositional logic based cryptosystem. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano |
Algorithm engineering, Algorithmics Column. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Elias Koutsoupias |
Selfish Task Allocation. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael Drmota, Wojciech Szpankowski |
Analysis of Algorithms (AofA) Part II: 1998-2000 ("Princeton-Barcelona-Gdansk"). |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Rainer Feldmann, Martin Gairing, Thomas Lücking, Burkhard Monien, Manuel Rode |
Selfish Routing in Non-Cooperative Networks: A Survey. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luc Longpré, Vladik Kreinovich |
Can quantum computers be useful when there are not yet enough qubits? |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Günter Rote |
Crossing the Bridge at Night. |
Bulletin of the EATCS |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")