Year of publication
Type of media
Source
Subject
Type of material
Language
1–20 of 462 hits
Sort by:
Sort by:
-
Replicated Computations Results (RCR) Report for ``Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools''
British Library Online Contents | 2018| -
Programming interactions in collective adaptive systems by relying on attribute-based communication
Free accessBASE | 2020|Contributors: Loreti, M. -
Provably correct implementation of the AbC calculus
Free accessBASE | 2021|Contributors: Loreti, M. -
Simulation and Analysis of Distributed Systems in Klaim
British Library Conference Proceedings | 2010| -
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
British Library Online Contents | 2018| -
Online monitoring of spatiooral properties for imprecise signals
Free accessBASE | 2021|Contributors: Loreti, M. -
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Free accessArXiv | 2021| -
Context Aware Specification and Verification of Distributed Systems
British Library Online Contents | 2012| -
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Free accessBASE | 2022|Contributors: Loreti, M. -
Context Aware Specification and Verification of Distributed Systems
British Library Conference Proceedings | 2012| -
Property-Preserving Refinement of Concurrent Systems
British Library Conference Proceedings | 2010| -
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS
Free accessBASE | 2022|Contributors: Loreti, M. -
Multiple-Labelled Transition Systems for nominal calculi and their logics
British Library Conference Proceedings | 2008| -
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
British Library Online Contents | 2014|
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.