| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Raghunath Tewari, N. V. Vinodchandran |
Green's theorem and isolation in planar graphs.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amihood Amir, Laxmi Parida |
Combinatorial Pattern Matching (CPM 2010). |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Dennunzio, Enrico Formenti, Julien Provillard |
Non-uniform cellular automata: Classes, dynamics, and decidability. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cantone, Simone Faro, Emanuele Giaquinta |
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
Static slicing of explicitly synchronized languages. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva |
A coalgebraic perspective on linear weighted automata. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Orna Kupferman, Tami Tamir |
Coping with selfish on-going behaviors. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Elberfeld, Till Tantau |
Phylogeny- and parsimony-based haplotype inference with constraints. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | António Ravara, Pedro Resende, Vasco Thudichum Vasconcelos |
An Algebra of Behavioural Types. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Louis Curien, Claudia Faggian |
An approach to innocent strategies as graphs. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Chalcraft, Randall Dougherty, Christopher F. Freiling, Jason Teutsch |
How to build a probability-free casino. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Hirshfeld, Alexander Rabinovich |
Continuous time temporal logic with counting. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Rosa-Velardo, María Martos-Salgado |
Multiset rewriting for the verification of depth-bounded processes with name binding. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Nor, Danny Hermelin, Sylvain Charlat, Jan Engelstadter, Max Reuter, Olivier Duron, Marie-France Sagot |
Mod/Resc Parsimony Inference: Theory and application. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin, Panos Rondogiannis |
On the expressive power of univariate equations over sets of natural numbers. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Santini |
Regular languages with variables on graphs. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Leah Epstein, Rob van Stee |
The price of anarchy on uniformly related machines revisited. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Orna Kupferman, Aniello Murano |
Improved model checking of hierarchical systems. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Niko Välimäki, Susana Ladra, Veli Mäkinen |
Approximate all-pairs suffix/prefix overlaps. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo |
On the complexity of entailment in existential conjunctive first-order logic with atomic negation. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoram Moses, Michel Raynal |
No double discount: Condition-based simultaneity yields limited gain. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard, Thomas P. Jensen |
Control-flow analysis of function calls and returns by abstract interpretation. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich |
Temporal logics over linear time domains are in PSPACE. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Meer |
On Ladner's result for a class of real machines with restricted use of constants. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Clifford, Klim Efremenko, Benny Porat, Ely Porat, Amir Rothschild |
Mismatch sampling. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian J. Michel, Giuseppe Pirillo, Mario A. Pirillo |
A classification of 20-trinucleotide circular codes. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider |
Low dimensional hybrid systems - decidable, undecidable, don't know. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen |
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiri Chechik, Yuval Emek, Boaz Patt-Shamir, David Peleg |
Sparse reliable graph backbones. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schnattinger, Enno Ohlebusch, Simon Gog |
Bidirectional search in a string with wavelet trees and bidirectional matching statistics. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee |
The complexity of stochastic Müller games. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Okhotin |
Unambiguous finite automata over a unary alphabet. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella |
A new look at the automatic synthesis of linear ranking functions. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch James Gabbay, Dominic P. Mulligan |
Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Brochenin, Stéphane Demri, Étienne Lozes |
On the almighty wand. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Javier Esparza, Stefan Kiefer, Michael Luttenberger |
Space-efficient scheduling of stochastically generated tasks. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Montes, Heraldo Memelli, Charles B. Ward, Joondong Kim, Joseph S. B. Mitchell, Steven Skiena |
Optimizing restriction site placement for synthetic genomes. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia Acciai, Michele Boreale |
Deciding safety properties in infinite-state pi-calculus via behavioural types. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Coinduction for preordered algebra. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Alessandra Cherubini, Stefano Crespi-Reghizzi |
A unifying approach to picture grammars. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt |
On the expressiveness and decidability of higher-order process calculi. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Sánchez Terraf |
Unprovability of the logical characterization of bisimulation. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Josée Desharnais, François Laviolette, Amélie Turgeon |
A logical duality for underspecified probabilistic systems. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Martín-Vide, Bianca Truthe |
3rd International Conference on Language and Automata Theory and Applications (LATA 2009). |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Stefan Szeider, Carsten Thomassen |
On the complexity of some colorful problems parameterized by treewidth. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lance Fortnow, John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran, Fengming Wang |
Extracting Kolmogorov complexity with applications to dimension zero-one laws. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Johannes Köbler, Sebastian Müller |
Proof systems that take advice. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Leaf languages and string compression. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
On the consistency, expressiveness, and precision of partial modeling formalisms. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Glaßer, Aduri Pavan, Stephen D. Travers |
The fault tolerance of NP-hard problems. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota |
Partially-commutative context-free processes: Expressibility and tractability. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum |
The impossibility of boosting distributed service resilience. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Holzer, Martin Kutrib |
Descriptional and computational complexity of finite automata - A survey. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light logics and optimal reduction: Completeness and complexity. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Hemmerling |
Observations on complete sets between linear time and polynomial time. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Hyeonseung Im |
A modal logic internalizing normal proofs. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Skoric, Chibuzo Obi, Evgeny A. Verbitskiy, Berry Schoenmakers |
Sharp lower bounds on the extractable randomness from non-uniform sources. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Automatic decidability and combinability. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gauwin, Joachim Niehren, Sophie Tison |
Queries on Xml streams with bounded delay and concurrency. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Bailly, François Denis |
Absolute convergence of rational series is semi-decidable. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Jeffrey Shallit, Zhi Xu |
Decision problems for convex languages. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Hermida |
A categorical outlook on relational modalities and simulations. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeria de Paiva, Brigitte Pientka |
Intuitionistic Modal Logic and Applications (IMLA 2008). |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viliam Geffert, Giovanni Pighizzini |
Two-way unary automata versus logarithmic space. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Dégremont, Nina Gierasimczuk |
Finite identification from the viewpoint of epistemic update. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Gray, António Malheiro, Stephen J. Pride |
On properties not inherited by monoids from their Schützenberger groups. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling concurrency with comtraces and generalized comtraces. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
The shield that never was: Societies with single-peaked preferences are more open to manipulation and control. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi-Yuan Chan, Hung-I Yu, Wing-Kai Hon, Biing-Feng Wang |
Faster query algorithms for the text fingerprinting problem. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Jain |
Hypothesis spaces for learning. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kensuke Kojima, Atsushi Igarashi |
Constructive linear-time temporal logic: Proof systems and Kripke semantics. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Lameiras Campagnolo, Kerry Ojakian |
A characterization of computable analysis on unbounded domains using differential equations. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Quantitative Kleene coalgebras. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abuzer Yakaryilmaz, A. C. Cem Say |
Unbounded-error quantum computation with small space bounds. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank J. Balbach, Thomas Zeugmann |
Teaching randomized learners with feedback. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Beate Bollig |
Larger lower bounds on the OBDD complexity of integer multiplication. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaoru Fujioka |
Morphic characterizations of languages in Chomsky hierarchy with insertion and locality. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang |
Probabilistic Logical Characterization. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Characterizing contextual equivalence in calculi with passivation. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gad M. Landau, Avivit Levy, Ilan Newman |
LCS approximation via embedding into locally non-repetitive strings. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans L. Bodlaender, Arie M. C. A. Koster |
Treewidth computations II. Lower bounds. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Crochemore, Dov M. Gabbay |
Reactive automata. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Celine Scornavacca, Vincent Berry, Vincent Ranwez |
Building species trees from larger parts of phylogenomic databases. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu |
Structural induction in institutions. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek |
Qualitative reachability in stochastic BPA games. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Galmiche, Yakoub Salhi |
Sequent calculi and decidability for intuitionistic hybrid logic. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Salomaa |
Limitations of lower bound methods for deterministic nested word automata. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Czeizler, Eugen Czeizler, Lila Kari, Shinnosuke Seki |
An extension of the Lyndon-Schützenberger result to pseudoperiodic words. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Ryabko, Daniil Ryabko |
Constructing perfect steganographic systems. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Ito, Peter Leupold, Florin Manea, Victor Mitrana |
Bounded hairpin completion. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Gutierrez, Julian C. Bradfield |
Model-checking games for fixpoint logics with partial order models. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hayato Takahashi |
Algorithmic randomness and monotone complexity on product space. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Ying Jiang |
On the expressive power of schemes. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, C.-H. Luke Ong |
A saturation method for the modal μ-calculus over pushdown systems. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Bordihn, Markus Holzer, Martin Kutrib |
Decidability of operation problems for T0L languages and subclasses. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Giovanni Pighizzini |
Optimal simulation of self-verifying automata by deterministic automata. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Hannu Niemistö |
Extensions of MSO and the monadic counting hierarchy. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgi Japaridze |
Introduction to clarithmetic I. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")