| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thuy Duong Vu |
Thread algebra for noninterference.   |
ITA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Gire, Jean-Marc Talbot |
Nested Sibling Tree Automata. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo C. Xavier, Flávio Keidi Miyazawa |
A note on dual approximation algorithms for class constrained bin packing problems. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Latteux, Yves Roos, Alain Terlutte |
Minimal NFA and biRFSA Languages. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carme Àlvarez, Maria J. Serna |
On the proper intervalization of colored caterpillar trees. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomíra Balková, Zuzana Masáková |
Palindromic complexity of infinite words associated with non-simple Parry numbers. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Mömke |
On the power of randomization for job shop scheduling with k-units length tasks. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Cabessa, Jacques Duparc |
A game theoretical approach to the algebraic counterpart of the Wagner hierarchy: Part I. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomíra Balková, Edita Pelantová, Stepán Starosta |
Palindromes in infinite ternary words. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Masopust, Alexander Meduna |
On context-free rewriting with a simple restriction and its computational completeness. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James D. Currie, Kalle Saari |
Least Periods of Factors of Infinite Words. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arseny M. Shur |
Polynomial languages with finite antidictionaries. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Dobrev, Rastislav Královic, Dana Pardubská |
Measuring the problem-relevant information in input. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dalia Krieger |
On Critical exponents in fixed points of k-uniform binary morphisms. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Otto |
Left-to-right regular languages and two-way restarting automata. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugénie Foustoucos, Irène Guessarian |
Inf-datalog, Modal Logic and Complexities. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, D. Dakota Blair, Rebeca V. Lewis |
Equations on partial words. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Robert Mercas |
A note on the number of squares in a partial word with one hole. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédérique Carrère |
Inductive computations on graphs defined by clique-width expressions. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Favio E. Miranda-Perea |
Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Bettini, Sara Capecchi, Betti Venneri |
Dynamic overloading with copy semantics in object-oriented languages: a formal account. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James D. Currie, Narad Rampersad |
Dejean's conjecture holds for $\sf {N\ge 27}$. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Badr, Viliam Geffert, Ian Shipman |
Hyper-minimizing minimized deterministic finite state automata. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Glen, Florence Levé, Gwénaël Richomme |
Directive words of episturmian words: equivalences and normalization. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Bruyère, Olivier Carton, Géraud Sénizergues |
Tree Automata and Automata on Linear Orderings. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amy Glen, Jacques Justin |
Episturmian words: a survey. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Duval, Thierry Lecroq, Arnaud Lefebvre |
Efficient validation and construction of border arrays and validation of string matching automata. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Leinders, Jan Van den Bussche |
Repetitions and permutations of columns in the semijoin algebra. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arturas Dubickas |
Squares and cubes in Sturmian sequences. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
The theorem of Fine and Wilf for relational periods. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsong-Jie Lin, Sun-Yuan Hsieh, Hui-Ling Huang |
Cycle and Path Embedding on 5-ary N-cubes. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Cabessa, Jacques Duparc |
A Game Theoretical Approach to The Algebraic Counterpart of The Wagner Hierarchy: Part II. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Selivanov |
Hierarchies and reducibilities on regular languages related to modulo counting. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip G. Bradford, David A. Thomas |
Labeled shortest paths in digraphs with negative and positive edge weights. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael C. Carrasco, Jan Daciuk |
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Finkel |
Highly Undecidable Problems For Infinite Computations. |
ITA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Caucal, Anne Siegel |
Preface. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Delorme, Jacques Mazoyer |
Exemples de classes d'automates cellulaires. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Chaubard, Alfredo Costa |
A new algebraic invariant for weak equivalence of sofic subshifts. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Laing, Bruce E. Litow |
Census algorithms for chinese remainder pseudorank. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Yunès |
An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Galina Jirásková, Alexander Okhotin |
State complexity of cyclic shift. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria J. Serna, Fatos Xhafa |
Parallel approximation to high multiplicity scheduling problems VIA smooth multi-valued quadratic programming. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ludwik Czaja |
Calculi of net structures and sets are similar. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Duchêne, Michel Rigo |
A morphic approach to combinatorial games: the Tribonacci case. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich |
Tree inclusion problems. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Allouche |
A note on univoque self-Sturmian numbers. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carton, Olivier Finkel, Pierre Simonnet |
On the continuity set of an Omega rational function. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Pouzet |
When is the orbit algebra of a group an integral domain? Proof of a conjecture of P.J. Cameron. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michelangelo Bucci, Aldo de Luca, Alessandro De Luca, Luca Q. Zamboni |
On some problems related to palindrome closure. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marion Le Gonidec |
Drunken man infinite words complexity. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Chalopin, Pascal Ochem |
Dejean's conjecture and letter frequency. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro V. Silva, Pascal Weil |
On an algorithm to decide whether a free group is a free factor of another. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomi Kärki |
Compatibility relations on codes and free monoids. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Pirillo |
A hierarchy for circular codes. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Patrick Cégielski |
Weakly maximal decidable structures. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier |
Efficiency of automata in semi-commutation verification techniques. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Besombes, Jean-Yves Marion |
Learning discrete categorial grammars from structures. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Klíma, Libor Polák |
On Varieties of Literally Idempotent Languages. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vince Bárány |
A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut, Loïc Colson |
Preface. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Buls, Aivars Lorencs |
From Bi-ideals to Periodicity. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Tero Harju, Juhani Karhumäki |
Preface. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Giambruno, Antonio Restivo |
An automata-theoretic approach to the study of the intersection of two submonoids of a free monoid. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juhani Karhumäki, Jarkko Kari, Joachim Kupke |
Binary operations on automatic functions. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Hemmerling |
Hierarchies of function classes defined by the first-value operator. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Choffrut |
Deciding whether a relation defined in Presburger logic can be defined in weaker logics. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Valarcher |
A complete characterization of primitive recursive intensional behaviours. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandrs Belovs |
Some Algebraic Properties of Machine Poset of Infinite Words. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Séébold |
Look and Say Fibonacci. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Faissal Ouardi, Djelloul Ziadi |
Efficient weighted expressions conversion. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Ha Duong Phan |
Two sided Sand Piles Model and unimodal sequences. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Kirsten |
A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Meyer |
Traces of term-automatic graphs. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arseny M. Shur |
Comparing Complexity Functions of a Language and Its Extendable Part. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Tan, Zhi-Ying Wen |
Periodicity Problem of Substitutions over Ternary Alphabets. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Margenstern |
About the domino problem in the hyperbolic plane from an algorithmic point of view. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bernat |
Study of irreducible balanced pairs for substitutive languages. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan Holub |
Parikh test sets for commutative languages. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive |
Computing the jth solution of a first-order query. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce E. Litow, Dmitry A. Konovalov |
Phenotype space and kinship assignment for the simpson index. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Keijo Ruohonen |
D0L sequence equivalence is in P for fixed alphabets. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sedki Boughattas, Jean-Pierre Ressayre |
Arithmetization of the field of reals with exponentiation extended abstract. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cassaigne |
On extremal properties of the Fibonacci word. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lange |
Three notes on the complexity of model checking fixpoint logic with chop. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Fousse |
Multiple-Precision Correctly rounded Newton-Cotes quadrature. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau, Klaus Reinhardt, Ludwig Staiger |
Decidability of code properties. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Brisebarre, Jean-Michel Muller |
Correct rounding of algebraic functions. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Toke M. Carlsen, Søren Eilers |
A graph approach to computing nondeterminacy in substitutional dynamical systems. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wlodzimierz Moczurad |
Defect theorem in the plane. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Joachim Böckenhauer, Dirk Bongartz |
A weighted HP model for protein folding with diagonal contacts. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoit Cagnard, Pierre Simonnet |
Automata, Borel functions and real numbers in Pisot base. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Fernau |
Learning tree languages from text. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stef Graillat, Philippe Langlois |
Real and complex pseudozero sets for polynomials with applications. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent de Dinechin, Christoph Quirin Lauter, Jean-Michel Muller |
Fast and correctly rounded logarithms in double-precision. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubomíra Balková, Edita Pelantová, Ondrej Turek |
Combinatorial and arithmetical properties of infinite words associated with non-simple quadratic Parry numbers. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | César Domínguez, Laureano Lambán, Julio Rubio |
Object oriented institutions to specify symbolic computation systems. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Jurdzinski, Friedrich Otto |
Sequential monotonicity for restarting automata. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Turek |
Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka, Christiane Frougny, Norbert Th. Müller |
Foreword. |
ITA |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")