Journal: Inf. Comput.

Volume 207, Issue 9

909 -- 922Manfred Jaeger. On fairness and randomness
923 -- 944Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons, Andrei A. Krokhin. The complexity of constraint satisfaction games and QCSP
945 -- 967Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis. Well-founded semantics for Boolean grammars

Volume 207, Issue 8

849 -- 866Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini. The myriad virtues of Wavelet Trees
889 -- 899Jonathan Katz, Chiu-Yuen Koo, Ranjit Kumaresan. Improving the round complexity of VSS in point-to-point networks
900 -- 907Juha Honkala. The equality problem for infinite words generated by primitive morphisms

Volume 207, Issue 7

787 -- 792Russell Impagliazzo, Philippe Moser. A zero-one law for RP and derandomization of AM if NP is not small
793 -- 811Stephen L. Bloom, Zoltán Ésik. Axiomatizing rational power series over natural numbers
812 -- 829Hans Hüttel, Naoki Kobayashi, Takashi Suto. Undecidable equivalences for basic parallel processes
830 -- 847Mathieu Hoyrup, Cristobal Rojas. Computability of probability measures and Martin-Löf randomness over metric spaces

Volume 207, Issue 6

671 -- 680Mojmír Kretínský, Vojtech Rehák, Jan Strejcek. Reachability is decidable for weakly extended process rewrite systems
681 -- 698Jacques Julliand, Pierre-Alain Masson, Emilie Oudot. Partitioned PLTL model-checking for refined transition systems
699 -- 725Michele Boreale. Quantifying information leakage in process calculi
726 -- 785Didier Le Botlan, Didier Rémy. Recasting MLF

Volume 207, Issue 5

543 -- 544Roberto M. Amadio, Giuseppe Castagna, Andrea Asperti. Preface
545 -- 558Giuseppe Longo. From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality
559 -- 582Henk Barendregt, Jan Willem Klop. Applications of infinitary lambda calculus
583 -- 594Furio Honsell, Gordon D. Plotkin. On the completeness of order-theoretic models of the lambda-calculus
595 -- 641Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida. Objects and session types
642 -- 659Abbas Edalat. A computable approach to measure and integration theory
660 -- 669Thierry Paul. Semiclassical analysis and sensitivity to initial conditions

Volume 207, Issue 4

459 -- 495Denis Caromel, Ludovic Henrio, Bernard P. Serpette. Asynchronous sequential processes
496 -- 520Mathieu Baudet, Véronique Cortier, Steve Kremer. Computationally sound implementations of equational theories against passive adversaries
521 -- 541Henning Fernau. Algorithms for learning regular expressions from positive data

Volume 207, Issue 3

369 -- 388Hubie Chen. Existentially restricted quantified constraint satisfaction
389 -- 410Hans Langmaack, Andrzej Salwicki, Marek Warpechowski. On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions
411 -- 437Martín Hötzle Escardó, Weng Kin Ho. Operational domain theory and topology of sequential programming languages
438 -- 457Magnus Ågren, Pierre Flener, Justin Pearson. Revisiting constraint-directed search

Volume 207, Issue 2

83 -- 84Rob J. van Glabbeek, Peter D. Mosses. Special issue on structural operational semantics
85 -- 119Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski. Semantics and expressiveness of ordered SOS
120 -- 145Irek Ulidowski, Shoji Yuen. Generating priority rewrite systems for OSOS process languages
146 -- 170David de Frutos-Escrig, Carlos Gregorio-Rodríguez. (Bi)simulations up-to characterise process semantics
171 -- 193Samuel Hym. Mobility control via passports
194 -- 208Massimo Merro. An Observational Theory for Mobile Ad Hoc Networks (full version)
209 -- 236Marcelo P. Fiore, Sam Staton. A congruence rule format for name-passing process calculi
237 -- 257Bartek Klin. Bialgebraic methods and modal logic in structural operational semantics
258 -- 283Patrick Cousot, Radhia Cousot. Bi-inductive structural semantics
284 -- 304Xavier Leroy, Hervé Grall. Coinductive big-step operational semantics
305 -- 340Traian-Florin Serbanuta, Grigore Rosu, José Meseguer. A rewriting logic approach to operational semantics
341 -- 368Patricia Johann, Janis Voigtländer. A family of syntactic logical relations for the semantics of Haskell-like languages

Volume 207, Issue 12

1351 -- 1368Michael Okun. On the round complexity of Byzantine agreement without initial set-up
1369 -- 1400Murdoch James Gabbay, Stéphane Lengrand. The lambda-context calculus (extended version)

Volume 207, Issue 11

1095 -- 0Carlos Martín-Vide, Cristina Tîrnauca. 2nd International Conference on Language and Automata Theory and Applications (LATA 2008)
1096 -- 1118Terry Anderson, John Loftus, Narad Rampersad, Nicolae Santean, Jeffrey Shallit. Detecting palindromes, patterns and borders in regular languages
1119 -- 1139Dorothea Baumeister, Jörg Rothe. The three-color and two-color Tantrix:::TM::: rotation puzzle problems are NP-complete via parsimonious reductions
1140 -- 1155Suna Bensch, Henning Bordihn, Markus Holzer, Martin Kutrib. On input-revolving deterministic and nondeterministic finite automata
1156 -- 1168Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas. Automatic presentations for semigroups
1169 -- 1180Silvio Capobianco. On the induction operation for shift subspaces and cellular automata as presentations of dynamical systems
1181 -- 1208Jérôme Champavère, Rémi Gilleron, Aurélien Lemay, Joachim Niehren. Efficient inclusion checking for deterministic tree automata and XML Schemas
1209 -- 1220Michael Domaratzki. Minimality in template-guided recombination
1221 -- 1228Mathieu Giraud. Asymptotic behavior of the numbers of runs and microruns
1229 -- 1258Ozan Kahramanogullari. On linear logic planning and concurrency
1259 -- 1283Martin Korp, Aart Middeldorp. Match-bounds revisited
1284 -- 1299Andreas Maletti. Minimizing deterministic weighted tree automata
1300 -- 1314Martin Plátek, Friedrich Otto, Frantisek Mráz. Two-dimensional hierarchies of proper languages of lexicalized FRR-automata
1315 -- 1328S. A. Puzynina. On periodicity of generalized two-dimensional infinite words
1329 -- 1339Elaine Render, Mark Kambites. Rational subsets of polycyclic monoids and valence automata
1340 -- 1349Arto Salomaa, Kai Salomaa, Sheng Yu. Variants of codes and indecomposable languages

Volume 207, Issue 10

969 -- 970Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz. Logic, Language, Information and Computation
971 -- 979Solomon Feferman. Operational set theory and small large cardinals
980 -- 999Tim Fernando. Situations in LTL as strings
1000 -- 1014Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana. On graph reasoning
1015 -- 1043Bryan Renne. Propositional games with explicit strategies
1044 -- 1077Iliano Cervesato, Andre Scedrov. Relating state-based and process-based concurrency through linear logic (full-version)
1078 -- 1093Dan E. Willard. Some specially formulated axiomizations for ISigma::0:: manage to evade the Herbrandized version of the Second Incompleteness Theorem

Volume 207, Issue 1

1 -- 13Tirza Hirst. A Rice-style theorem for parallel automata
14 -- 40Filippo Bonchi, Fabio Gadducci, Barbara König. Synthesising CCS bisimulation using graph rewriting
41 -- 62Patrick Baillot, Kazushige Terui. Light types for polynomial time computation in lambda calculus
63 -- 81Stefano Berardi, Ugo de Liguoro. Toward the interpretation of non-constructive reasoning as non-monotonic learning