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 Volume=236
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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