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=2014
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A metamodel of access control for distributed environments: Applications and properties
Clara Bertolissi
,
Maribel Fernández
Information and Computation
238
, 2014, pp. 187-207
A generic security API for symmetric key management on cryptographic devices
Véronique Cortier
,
Graham Steel
Information and Computation
238
, 2014, pp. 208-232
Bounded memory Dolev-Yao adversaries in collaborative systems
Max Kanovich
,
Tajana Ban Kirigin
,
Vivek Nigam
,
Andre Scedrov
Information and Computation
238
, 2014, pp. 233-261
A logic of behaviour in context
C.J. Banks
,
I. Stark
Information and Computation
236
, 2014, pp. 3-18
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays
Giulio Caravagna
,
Alberto d'Onofrio
,
Marco Antoniotti
,
Giancarlo Mauri
Information and Computation
236
, 2014, pp. 19-34
\epsilon
-semantics computations on biological systems
A. Casagrande
,
T. Dreossi
,
J. Fabriková
,
C. Piazza
Information and Computation
236
, 2014, pp. 35-51
STL
^\ast
: Extending signal temporal logic with signal-value freezing operator
L. Brim
,
P. Dluhos̑
,
D. S̑afránek
,
T. Vejpustek
Information and Computation
236
, 2014, pp. 52-67
Cancer hybrid automata: Model, beliefs and therapy
Loes Olde Loohuis
,
Andreas Witzel
,
Bud Mishra
Information and Computation
236
, 2014, pp. 68-86
Quantitative verification of implantable cardiac pacemakers over hybrid heart models
Taolue Chen
,
Marco Diciolla
,
Marta Kwiatkowska
,
Alexandru Mereacre
Information and Computation
236
, 2014, pp. 87-101
Dynamical properties of a two-gene network with hysteresis
Qin Shu
,
Ricardo G. Sanfelice
Information and Computation
236
, 2014, pp. 102-121
Hybrid semantics for Bio-PEPA
Vashti Galpin
Information and Computation
236
, 2014, pp. 122-145
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
Manuel Montenegro
,
Ricardo Peña
,
Clara Segura
Information and Computation
235
, 2014, pp. 3-35
Safe typing of functional logic programs with opaque patterns and local bindings
Francisco J. López-Fraguas
,
Enrique Martin-Martin
,
Juan Rodríguez-Hortalá
Information and Computation
235
, 2014, pp. 36-69
Fast offline partial evaluation of logic programs
Michael Leuschel
,
Germán Vidal
Information and Computation
235
, 2014, pp. 70-97
A modular order-sorted equational generalization algorithm
María Alpuente
,
Santiago Escobar
,
Javier Espert
,
José Meseguer
Information and Computation
235
, 2014, pp. 98-136
Computing in social networks
Andrei Giurgiu
,
Rachid Guerraoui
,
Kévin Huguenin
,
Anne-Marie Kermarrec
Information and Computation
234
, 2014, pp. 3-16
Authenticated broadcast with a partially compromised public-key infrastructure
S. Dov Gordon
,
Jonathan Katz
,
Ranjit Kumaresan
,
Arkady Yerukhimovich
Information and Computation
234
, 2014, pp. 17-25
Modeling, analyzing and slicing periodic distributed computations
Vijay K. Garg
,
Anurag Agarwal
,
Vinit Ogale
Information and Computation
234
, 2014, pp. 26-43
Effective storage capacity of labeled graphs
Dana Angluin
,
James Aspnes
,
Rida A. Bazzi
,
Jiang Chen
,
David Eisenstat
,
Goran Konjevod
Information and Computation
234
, 2014, pp. 44-56
Initial segment complexities of randomness notions
Rupert Hölzl
,
Thorsten Kräling
,
Frank Stephan
,
Guohua Wu
Information and Computation
234
, 2014, pp. 57-67
Least upper bounds for probability measures and their applications to abstractions
Rohit Chadha
,
Mahesh Viswanathan
,
Ramesh Viswanathan
Information and Computation
234
, 2014, pp. 68-106
Shrinking timed automata
Ocan Sankur
,
Patricia Bouyer
,
Nicolas Markey
Information and Computation
234
, 2014, pp. 107-132
Rigid tree automata and applications
Florent Jacquemard
,
Francis Klay
,
Camille Vacher
Information and Computation
209
(3), 2011, pp. 486-512
Seiten
<
1
2