Journals in DBLP
Oliver Matz Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures. [Citation Graph (0, 0)][DBLP ] Journal ] Andrzej Pelc Searching games with errors - fifty years of coping with liars. [Citation Graph (0, 0)][DBLP ] Journal ] Frank K. Hwang , Y. C. Yao , B. DasGupta Some permutation routing algorithms for low-dimensional hypercubes. [Citation Graph (0, 0)][DBLP ] Journal ] Wil M. P. van der Aalst , Twan Basten Inheritance of workflows: an approach to tackling problems related to change. [Citation Graph (0, 0)][DBLP ] Journal ] Ménard Bourgade Calculs sur les structures de langage dénombrable. [Citation Graph (0, 0)][DBLP ] Journal ] J. Robin B. Cockett , Stephen Lack Restriction categories I: categories of partial maps. [Citation Graph (0, 0)][DBLP ] Journal ] William Lenhart , Giuseppe Liotta The drawability problem for minimum weight triangulations. [Citation Graph (0, 0)][DBLP ] Journal ] John Case , Sanjay Jain , Mandayam Suraj Control structures in hypothesis spaces: the influence on learning. [Citation Graph (0, 0)][DBLP ] Journal ] Kieran T. Herley , Andrea Pietracaprina , Geppino Pucci Deterministic parallel backtrack search. [Citation Graph (0, 0)][DBLP ] Journal ] Tak Wah Lam , Hing-Fung Ting , Kar-Keung To , Prudence W. H. Wong On-line load balancing of temporary tasks revisited. [Citation Graph (0, 0)][DBLP ] Journal ] Luca Becchetti , Paola Bertolazzi , Carlo Gaibisso , Giorgio Gambosi On the design of efficient ATM routing schemes. [Citation Graph (0, 0)][DBLP ] Journal ] Ioannis Caragiannis , Christos Kaklamanis , Pino Persiano Edge coloring of bipartite graphs with constraints. [Citation Graph (0, 0)][DBLP ] Journal ] Francine Blanchet-Sadri , Robert A. Hegstrom Partial words and a theorem of Fine and Wilf revisited. [Citation Graph (0, 0)][DBLP ] Journal ] Kikuo Fujimura Time-minimal paths amidst moving obstacles in three dimensions. [Citation Graph (0, 0)][DBLP ] Journal ] Markus E. Nebel The stack-size of tries: a combinatorial study. [Citation Graph (0, 0)][DBLP ] Journal ] Alessandra Cherubini , Stefano Crespi-Reghizzi , Pierluigi San Pietro Associative language descriptions. [Citation Graph (0, 0)][DBLP ] Journal ] Thomas Eiter , Toshihide Ibaraki , Kazuhisa Makino Decision lists and related Boolean functions. [Citation Graph (0, 0)][DBLP ] Journal ] Jean Mairesse , Laurent Vuillon Asymptotic behavior in a heap model with two pieces. [Citation Graph (0, 0)][DBLP ] Journal ] Cécile Murat , Vangelis Th. Paschos A priori optimization for the probabilistic maximum independent set problem. [Citation Graph (0, 0)][DBLP ] Journal ] Clifford Bergman , Giora Slutzki Computational complexity of some problems involving congruences on algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Dinesh P. Mehta , Vijay Raghavan Decision tree approximations of Boolean functions. [Citation Graph (0, 0)][DBLP ] Journal ] Arnaud Durand , Miki Hermann , Laurent Juban On the complexity of recognizing the Hilbert basis of a linear diophantine system. [Citation Graph (0, 0)][DBLP ] Journal ] Elisa Pergola , Renzo Pinzani , Simone Rinaldi Approximating algebraic functions by means of rational ones. [Citation Graph (0, 0)][DBLP ] Journal ] Jeffrey Shallit , Ming-wei Wang On two-sided infinite fixed points of morphisms. [Citation Graph (0, 0)][DBLP ] Journal ] Antonín Kucera , Richard Mayr Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time. [Citation Graph (0, 0)][DBLP ] Journal ] Jürgen Dassow , Victor Mitrana , Arto Salomaa Operations and language generating devices suggested by the genome evolution. [Citation Graph (0, 0)][DBLP ] Journal ] Lan Zhang , Katsushi Inoue , Akira Ito , Yue Wang Probabilistic rebound Turing machines. [Citation Graph (0, 0)][DBLP ] Journal ] Georg Gottlob , Nicola Leone , Francesco Scarcello Computing LOGCFL certificates. [Citation Graph (0, 0)][DBLP ] Journal ] Carlos Martín-Vide , Gheorghe Paun , Grzegorz Rozenberg Membrane systems with carriers. [Citation Graph (0, 0)][DBLP ] Journal ] Chuzo Iwamoto , Tomonobu Hatsuyama , Kenichi Morita , Katsunobu Imai Constructible functions in cellular automata and their applications to hierarchy results. [Citation Graph (0, 0)][DBLP ] Journal ] Costas Busch , Neophytos Demetriou , Maurice Herlihy , Marios Mavronicolas Threshold counters with increments and decrements. [Citation Graph (0, 0)][DBLP ] Journal ] Eric Goles Ch. , Michel Morvan , Ha Duong Phan The structure of a linear chip firing game and related models. [Citation Graph (0, 0)][DBLP ] Journal ] Jens Stoye , Dan Gusfield Simple and flexible detection of contiguous repeats using a suffix tree. [Citation Graph (0, 0)][DBLP ] Journal ] J. W. Sander , Robert Tijdeman The rectangle complexity of functions on two-dimensional lattices. [Citation Graph (0, 0)][DBLP ] Journal ] András Pluhár The accelerated k-in-a-row game. [Citation Graph (0, 0)][DBLP ] Journal ] Ferdinando Cicalese , Daniele Mundici , Ugo Vaccaro Least adaptive optimal search with unreliable tests. [Citation Graph (0, 0)][DBLP ] Journal ] Gary William Flake , Eric B. Baum Rush Hour is PSPACE-complete, or "Why you should generously tip parking lot attendants". [Citation Graph (0, 0)][DBLP ] Journal ] Michael Drmota The Variance of the height of binary search trees. [Citation Graph (0, 0)][DBLP ] Journal ] Shigeki Akiyama , Attila Pethö On canonical number systems. [Citation Graph (0, 0)][DBLP ] Journal ] Doris Fiebig , Ulf-Rainer Fiebig Compact factors of countable state Markov shifts. [Citation Graph (0, 0)][DBLP ] Journal ] Verónica Becher , Santiago Figueira An example of a computable absolutely normal number. [Citation Graph (0, 0)][DBLP ] Journal ] Sigrid Ewert , Andries P. J. van der Walt A pumping lemma for random permitting context languages. [Citation Graph (0, 0)][DBLP ] Journal ] Changwook Kim Two undecidability results for chain code picture languages. [Citation Graph (0, 0)][DBLP ] Journal ] 