Year of publication
Type of media
Type of material
Licence
Language
1–20 of 240 hits
Sort by:
Sort by:
-
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments
SAGE Publications | 2022|Keywords: sequential composition -
Feedback motion planning of unmanned surface vehicles via random sequential composition
SAGE Publications | 2019|Keywords: sequential composition -
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity
Free accessBASE | 2019|Keywords: Sequential composition -
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity
Free accessDataCite | 2019|Keywords: Sequential composition -
Traceability Mappings as a Fundamental Instrument in Model Transformations
Springer Verlag | 2017|Keywords: Sequential Composition -
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions
Springer Verlag | 2016|Keywords: Sequential Composition -
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization
Springer Verlag | 2016|Keywords: Sequential Composition -
Learning Complex Behaviors via Sequential Composition and Passivity-Based Control
Springer Verlag | 2015|Keywords: Sequential Composition -
Continuation Semantics for Concurrency with Multiple Channels Communication
Springer Verlag | 2015|Keywords: Sequential Composition -
Effect Systems Revisited—Control-Flow Algebra and Semantics
Springer Verlag | 2015|Keywords: Sequential Composition -
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network
Springer Verlag | 2015|Keywords: Sequential Composition -
Completely and partially executable sequences of actions in deontic context
Free accessOnline Contents | 2014|Keywords: Sequential composition of actions -
Completely and partially executable sequences of actions in deontic context
Online Contents | 2014|Keywords: Sequential composition of actions -
Laws of Programming: The Algebraic Unification of Theories of Concurrency
Springer Verlag | 2014|Keywords: Sequential Composition -
Mechanized, Compositional Verification of Low-Level Code
Springer Verlag | 2014|Keywords: Sequential Composition
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.