Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND YEAR=2007
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the freeze quantifier in constraint LTL: Decidability and complexity
Stéphane Demri
,
Ranko Lazić
,
David Nowak
Information and Computation
205
(1), 2007, pp. 2-24
Axiomatisation and decidability of multi-dimensional Duration Calculus
Andreas Schäfer
Information and Computation
205
(1), 2007, pp. 25-64
An efficient
k
nearest neighbor search for multivariate time series
Kiyoung Yang
,
Cyrus Shahabi
Information and Computation
205
(1), 2007, pp. 65-98
Quantitative temporal logics over the reals: PSPACE and below
Carsten Lutz
,
Dirk Walther
,
Frank Wolter
Information and Computation
205
(1), 2007, pp. 99-123
Fair testing
Arend Rensink
,
Walter Vogler
Information and Computation
205
(2), 2007, pp. 125-198
Permutation rewriting and algorithmic verification
Ahmed Bouajjani
,
Anca Muscholl
,
Tayssir Touili
Information and Computation
205
(2), 2007, pp. 199-224
A general lock-free algorithm using compare-and-swap
H. Gao
,
W.H. Hesselink
Information and Computation
205
(2), 2007, pp. 225-241
Algorithmic complexity bounds on future prediction errors
Alexey Chernov
,
Marcus Hutter
,
Jürgen Schmidhuber
Information and Computation
205
(2), 2007, pp. 242-261
Expressiveness and complexity of graph logic
Anuj Dawar
,
Philippa Gardner
,
Giorgio Ghelli
Information and Computation
205
(3), 2007, pp. 263-310
An Ehrenfeucht-Fraïssé game approach to collapse results in database theory
Nicole Schweikardt
Information and Computation
205
(3), 2007, pp. 311-379
An automata-theoretic approach to constraint LTL
Stéphane Demri
,
Deepak D'Souza
Information and Computation
205
(3), 2007, pp. 380-415
Resource operators for
\lambda
-calculus
Delia Kesner
,
Steṕhane Lengrand
Information and Computation
205
(4), 2007, pp. 419-473
Tyrolean termination tool: Techniques and features
Nao Hirokawa
,
Aart Middeldorp
Information and Computation
205
(4), 2007, pp. 474-511
On tree automata that certify termination of left-linear term rewriting systems
Alfons Geser
,
Dieter Hofbauer
,
Johannes Waldmann
,
Hans Zantema
Information and Computation
205
(4), 2007, pp. 512-534
Leanest quasi-orderings
Nachum Dershowitz
,
E. Castedo Ellerman
Information and Computation
205
(4), 2007, pp. 535-556
Fast congruence closure and extensions
Robert Nieuwenhuis
,
Albert Oliveras
Information and Computation
205
(4), 2007, pp. 557-580
Intruder deduction for the equational theory of Abelian groups with distributive encryption
Pascal Lafourcade
,
Denis Lugiez
,
Ralf Treinen
Information and Computation
205
(4), 2007, pp. 581-623
Permutative rewriting and unification
Thierry Boy de la Tour
,
Mnacho Echenim
Information and Computation
205
(4), 2007, pp. 624-650
Towards a dichotomy theorem for the counting constraint satisfaction problem
Andrei A. Bulatov
,
Víctor Dalmau
Information and Computation
205
(5), 2007, pp. 651-678
Quasi-optimal energy-efficient leader election algorithms in radio networks
Christian Lavault
,
Jean-François Marckert
,
Vlady Ravelomanana
Information and Computation
205
(5), 2007, pp. 679-693
Comparing reductions to
NP
-complete sets
John M. Hitchcock
,
A. Pavan
Information and Computation
205
(5), 2007, pp. 694-706
Temporal logics with incommensurable distances are undecidable
Alexander Rabinovich
Information and Computation
205
(5), 2007, pp. 707-715
Extended visual cryptography schemes
Andreas Klein
,
Markus Wessler
Information and Computation
205
(5), 2007, pp. 716-732
Unfolding semantics of graph transformation
Paolo Baldan
,
Andrea Corradini
,
Ugo Montanari
,
Leila Ribeiro
Information and Computation
205
(5), 2007, pp. 733-782
The perfectly synchronized round-based model of distributed computing
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Rachid Guerraoui
,
Bastian Pochon
Information and Computation
205
(5), 2007, pp. 783-815
Seiten 1
2
3
>