The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ITA"( http://dblp.L3S.de/Venues/ITA )

URL (DBLP): http://dblp.uni-trier.de/db/journals/ita

Publication years (Num. hits)
1975-1976 (24) 1977 (22) 1978 (26) 1979 (25) 1980 (19) 1981 (17) 1982 (23) 1983 (23) 1984 (22) 1985 (23) 1986 (31) 1987 (23) 1988 (22) 1989 (26) 1990 (31) 1991 (29) 1992 (28) 1993 (32) 1994 (26) 1995 (28) 1996 (28) 1997 (26) 1998-1999 (36) 2000 (33) 2001 (35) 2002 (21) 2003 (20) 2004 (19) 2005 (37) 2006 (40) 2007 (28) 2008 (48) 2009 (36)
Publication types (Num. hits)
article(907)
Venues (Conferences, Journals, ...)
ITA(907)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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