UB Paderborn / Katalog / Suche / in CDI

Heart Rate Monitoring During Different Lung Volume Phases Using Seismocardiography

SoutheastCon 2018, 2018, p.1-5

2018

Link zum Volltext
IEEE_Xplore

Monitoring Intracranial Pressure Using Non-Invasive Brain Stethoscope

SoutheastCon 2018, 2018, p.1-5

2018

Link zum Volltext
IEEE_Xplore

Multiple Routing Configurations for Fast IP Network Recovery

IEEE/ACM transactions on networking, 2009-04, Vol.17 (2), p.473-486

2009

Link zum Volltext
IEEE_Xplore

An Adaptive Feature Extraction Algorithm for Classification of Seismocardiographic Signals

SoutheastCon 2018, 2018, p.1-5

2018

Link zum Volltext
IEEE_Xplore

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.100-109

2016

Link zum Volltext
IEEE_Xplore

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.196-205

2016

Link zum Volltext
IEEE_Xplore

A Coupled CFD-FEA study of the Sound Generated in a Stenosed Artery and Transmitted Through Tissue Layers

SoutheastCon 2018, 2018, p.1-6

2018

Link zum Volltext
IEEE_Xplore

Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.90-99

2016

Link zum Volltext
IEEE_Xplore

Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.1-1

Larsen, Kim Guldstrand

2016

Link zum Volltext
IEEE_Xplore

Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.80-89

2016

Link zum Volltext
IEEE_Xplore

Specification of Evolving Privacy Policies for Online Social Networks

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.70-79

2016

Link zum Volltext
IEEE_Xplore

Model Checking for the Full Hybrid Computation Tree Logic

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.31-40

2016

Link zum Volltext
IEEE_Xplore

Consistent Query Answering for Atemporal Constraints over Temporal Databases

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.149-156

2016

Link zum Volltext
IEEE_Xplore

Optimal Control for Simple Linear Hybrid Systems

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.12-20

2016

Link zum Volltext
IEEE_Xplore

Translating Temporal SQL to Nested SQL

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.157-166

2016

Link zum Volltext
IEEE_Xplore

tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.140-148

2016

Link zum Volltext
IEEE_Xplore

Combining Free Choice and Time in Petri Nets

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.120-129

2016

Link zum Volltext
IEEE_Xplore

Interval Temporal Logics Model Checking

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.2-2

Montanari, Angelo

2016

Link zum Volltext
IEEE_Xplore

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.4-11

2016

Link zum Volltext
IEEE_Xplore

Verify LTL with Fairness Assumptions Efficiently

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.41-50

2016

Link zum Volltext
IEEE_Xplore

The Impact of the Telic\Atelic Dichotomy on Temporal Databases

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.3-3

Terenziani, Paolo

2016

Link zum Volltext
IEEE_Xplore

Consistency in Parametric Interval Probabilistic Timed Automata

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.110-119

2016

Link zum Volltext
IEEE_Xplore

The Model Checking Problem in Networks with Quasi-Equal Clocks

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.21-30

2016

Link zum Volltext
IEEE_Xplore

A Domain-Specific Language for Normative Texts with Timing Constraints

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.60-69

2016

Link zum Volltext
IEEE_Xplore

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.177-185

2016

Link zum Volltext
IEEE_Xplore

Menü

Weitere Dienste

Einstellungen

Heart Rate Monitoring During Different Lung Volume Phases Using Seismocardiography

Monitoring Intracranial Pressure Using Non-Invasive Brain Stethoscope

Multiple Routing Configurations for Fast IP Network Recovery

An Adaptive Feature Extraction Algorithm for Classification of Seismocardiographic Signals

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models

A Coupled CFD-FEA study of the Sound Generated in a Stenosed Artery and Transmitted Through Tissue Layers

Dynamic Controllability of Conditional Simple Temporal Networks Is PSPACE-complete

Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

Specification of Evolving Privacy Policies for Online Social Networks

Model Checking for the Full Hybrid Computation Tree Logic

Consistent Query Answering for Atemporal Constraints over Temporal Databases

Optimal Control for Simple Linear Hybrid Systems

Translating Temporal SQL to Nested SQL

tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework

Combining Free Choice and Time in Petri Nets

Interval Temporal Logics Model Checking

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

Verify LTL with Fairness Assumptions Efficiently

The Impact of the Telic\Atelic Dichotomy on Temporal Databases

Consistency in Parametric Interval Probabilistic Timed Automata

The Model Checking Problem in Networks with Quasi-Equal Clocks

A Domain-Specific Language for Normative Texts with Timing Constraints

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems

Aktive Filter

Suchergebnisse filtern