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: Author="Mosses, P.D."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reconciling two views of cryptography (The computational soundness of formal encryption)
Martín Abadi
,
Phillip Rogaway
Lecture Notes in Computer Science
1872
, 2000, pp. 3-22
On logarithmic simulated annealing
Andreas Albrecht
,
Chak-Kuen Wong
Lecture Notes in Computer Science
1872
, 2000, pp. 301-314
Algorithm design challenges
Giorgio Ausiello
Lecture Notes in Computer Science
1872
, 2000, pp. 602-603
Steganography using modern arts
Carlo Blundo
,
Clemente Galdi
Lecture Notes in Computer Science
1872
, 2000, pp. 140-151
Fully consistent extensions of partially defined Boolean functions with missing bits
Endre Boros
,
Toshihide Ibaraki
,
Kazuhisa Makino
Lecture Notes in Computer Science
1872
, 2000, pp. 257-272
On the complexity of integer programming in the Blum-Shub-Smale computational model
Valentin E. Brimkov
,
Stefan S. Dantchev
Lecture Notes in Computer Science
1872
, 2000, pp. 286-300
Open ended systems, dynamic bisimulation and tile logic
Roberto Bruni
,
Ugo Montanari
,
Vladimiro Sassone
Lecture Notes in Computer Science
1872
, 2000, pp. 440-456
Real-time language recognition by alternating cellular automata
Thomas Buchholz
,
Andreas Klein
,
Martin Kutrib
Lecture Notes in Computer Science
1872
, 2000, pp. 213-225
Ambient groups and mobility types
Luca Cardelli
,
Giorgio Ghelli
,
Andrew D. Gordon
Lecture Notes in Computer Science
1872
, 2000, pp. 333-347
Reasoning about composition using property transformers and their conjugates
Michel Charpentier
,
K. Mani Chandy
Lecture Notes in Computer Science
1872
, 2000, pp. 580-595
An efficient parallel algorithm for scheduling interval ordered tasks
Yoojin Chung
,
Kunsoo Park
,
Hyuk-Chul Kwon
Lecture Notes in Computer Science
1872
, 2000, pp. 100-111
An interpretation of typed concurrent objects in the blue calculus
Silvano Dal Zilio
Lecture Notes in Computer Science
1872
, 2000, pp. 409-424
A higher-order specification of the
\pi
-calculus
Joëlle Despeyroux
Lecture Notes in Computer Science
1872
, 2000, pp. 425-439
Maximum clique and minimum clique partition in visibility graphs
Stephan Eidenbenz
,
Christoph Stamm
Lecture Notes in Computer Science
1872
, 2000, pp. 200-212
Fibred models of processes: Discrete, continuous, and hybrid systems
Marcelo P. Fiore
Lecture Notes in Computer Science
1872
, 2000, pp. 457-473
Trade-offs between density and robustness in random interconnection graphs
Philippe Flajolet
,
Kostas Hatzis
,
Sotiris Nikoletseas
,
Paul Spirakis
Lecture Notes in Computer Science
1872
, 2000, pp. 152-168
An asynchronous, distributed implementation of mobile ambients
Cédric Fournet
,
Jean-Jacques Lévy
,
Alan Schmitt
Lecture Notes in Computer Science
1872
, 2000, pp. 348-364
An index for two dimensional string matching allowing rotations
Kimmo Fredriksson
,
Gonzalo Navarro
,
Esko Ukkonen
Lecture Notes in Computer Science
1872
, 2000, pp. 59-75
Partially typed terms between Church-style and Curry-style
Ken-Etsu Fujita
,
Aleksy Schubert
Lecture Notes in Computer Science
1872
, 2000, pp. 505-520
New challenges for theoretical computer science
Jozef Gruska
Lecture Notes in Computer Science
1872
, 2000, pp. 599-601
Quantumization of theoretical informatics
Jozef Gruska
Lecture Notes in Computer Science
1872
, 2000, pp. 604-608
Theory and construction of molecular computers
Masami Hagiya
Lecture Notes in Computer Science
1872
, 2000, pp. 23-24
Masaccio: A formal model for embedded components
Thomas A. Henzinger
Lecture Notes in Computer Science
1872
, 2000, pp. 549-563
Parallel edge coloring of a tree on a mesh connected computer
Chang-Sung Jeong
,
Sung-Up Cho
,
Sun-Chul Whang
,
Mi-Young Choi
Lecture Notes in Computer Science
1872
, 2000, pp. 76-83
A type-theoretic study on partial continuations
Yukiyoshi Kameyama
Lecture Notes in Computer Science
1872
, 2000, pp. 489-504
Seiten 1
2
3
>