Year of publication
Type of media
Type of material
Licence
Language
1–20 of 240 hits
Sort by:
Sort by:
-
Integrating planning and control for single-bodied wheeled mobile robots
Online Contents | 2011|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 -
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments
SAGE Publications | 2022|Keywords: sequential composition -
Integrating planning and control for single-bodied wheeled mobile robots
Online Contents | 2011|Keywords: Sequential composition -
Web Service Composition Algorithm
National licenceTrans Tech Publications | 2011|Keywords: Sequential Composition -
Algebras for iteration and infinite computations
Online Contents | 2012|Keywords: Sequential Composition -
Algebras for iteration and infinite computations
Online Contents | 2012|Keywords: Sequential Composition -
Algebraic reasoning for probabilistic action systems and while-loops
Online Contents | 2008|Keywords: Sequential Composition -
A typed encoding of boxed into safe ambients
Online Contents | 2006|Keywords: Sequential Composition -
Algebraic reasoning for probabilistic action systems and while-loops
Online Contents | 2008|Keywords: Sequential Composition -
A typed encoding of boxed into safe ambients
Online Contents | 2006|Keywords: Sequential Composition -
Axiomatizing the algebra of net computations and processes
Online Contents | 1996|Keywords: Sequential Composition -
Completely and partially executable sequences of actions in deontic context
Free accessOnline Contents | 2014|Keywords: Sequential composition of actions -
An algebraic characterization of the behaviour of non-sequential systems
National licenceElsevier | 1977|Keywords: sequential composition -
Completely and partially executable sequences of actions in deontic context
Online Contents | 2014|Keywords: Sequential composition of actions
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.