FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
VEMDP CAMERA-READY ABSTRACTS: KEYWORD INDEX
PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: ABCDEFGHILMNPRS
A
annotation
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (PDF, talk)
Atom tracing
Rule-Based Gillespie Simulation of Chemical Systems (PDF, talk)
B
BayesianInference
Bayesian Verification of Chemical Reaction Networks (PDF, talk)
bisimulation
Using Transitivity and Modularity in Chemical Reaction Network Bisimulation (PDF, talk)
C
chemical computation
Computing Properties of Stable Configurations of Thermodynamic Binding Networks (PDF, talk)
Chemical reaction networks
Noise Control for Molecular Computing (PDF, talk)
Using Transitivity and Modularity in Chemical Reaction Network Bisimulation (PDF, talk)
Coarse-grained modeling
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (PDF, talk)
compiler
Equivalence of Chemical Reaction Networks in a CRN-to-DNA Compiler Framework (PDF, talk)
computational complexity
Using Transitivity and Modularity in Chemical Reaction Network Bisimulation (PDF, talk)
Computational modeling
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (PDF, talk)
Conservative approximation
Conservative Approximations of Polymers (PDF, talk)
CRN
Bayesian Verification of Chemical Reaction Networks (PDF, talk)
CRN equivalence
Equivalence of Chemical Reaction Networks in a CRN-to-DNA Compiler Framework (PDF, talk)
D
Data Driven modelling
Bayesian Verification of Chemical Reaction Networks (PDF, talk)
Differential Equations
Conservative Approximations of Polymers (PDF, talk)
DNA algorithmic self-assembly
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (PDF, talk)
domain-level strand displacement
Equivalence of Chemical Reaction Networks in a CRN-to-DNA Compiler Framework (PDF, talk)
E
Evolution systems
Conservative Approximations of Polymers (PDF, talk)
F
formal specification
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (PDF, talk)
formal verification
Formal Verification of Network-Based Biocomputation Circuits (PDF, talk)
Using Transitivity and Modularity in Chemical Reaction Network Bisimulation (PDF, talk)
FormalVerification
Bayesian Verification of Chemical Reaction Networks (PDF, talk)
G
Gillespie algorithm
Rule-Based Gillespie Simulation of Chemical Systems (PDF, talk)
Graph transformation
Rule-Based Gillespie Simulation of Chemical Systems (PDF, talk)
H
hardness of approximation
Computing Properties of Stable Configurations of Thermodynamic Binding Networks (PDF, talk)
I
Intrinsic noise
Noise Control for Molecular Computing (PDF, talk)
L
logic programming
Rule-based Design of Computational DNA Devices (PDF, talk)
M
Modeling
Rule-based Design of Computational DNA Devices (PDF, talk)
Molecular computing
Noise Control for Molecular Computing (PDF, talk)
Molecular Filters
Molecular Filters for Noise Reduction (PDF, talk)
Molecular programming
Rule-based Design of Computational DNA Devices (PDF, talk)
N
Nanofabricated Devices
Formal Verification of Network-Based Biocomputation Circuits (PDF, talk)
Network Based Biocomputation
Formal Verification of Network-Based Biocomputation Circuits (PDF, talk)
Network-free simulation
Rule-Based Gillespie Simulation of Chemical Systems (PDF, talk)
Noise Reduction
Molecular Filters for Noise Reduction (PDF, talk)
P
Polymers
Conservative Approximations of Polymers (PDF, talk)
R
reduction to SAT
Computing Properties of Stable Configurations of Thermodynamic Binding Networks (PDF, talk)
Rule-base modeling
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (PDF, talk)
rule-based language
Executable Biochemical Space for Specification and Analysis of Biochemical Systems (PDF, talk)
Rule-based modelling
Conservative Approximations of Polymers (PDF, talk)
Rule-Based Gillespie Simulation of Chemical Systems (PDF, talk)
S
Stochastic Chemical Reaction Networks
Molecular Filters for Noise Reduction (PDF, talk)
Stochastic dynamical systems and control
Noise Control for Molecular Computing (PDF, talk)
Stochastic modeling
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (PDF, talk)
Stochastic simulation
Rule-Based Gillespie Simulation of Chemical Systems (PDF, talk)
Structural modeling
Computational Approaches for the Programmed Assembly of Nanocellulose Meshes (PDF, talk)
Synthetic Biology
Bayesian Verification of Chemical Reaction Networks (PDF, talk)
Systems Biology
Bayesian Verification of Chemical Reaction Networks (PDF, talk)