ANTONIOTTI, MARCO

ANTONIOTTI, MARCO  

DIPARTIMENTO DI INFORMATICA, SISTEMISTICA E COMUNICAZIONE  

Mostra records
Risultati 1 - 20 di 113 (tempo di esecuzione: 0.036 secondi).
Titolo Tipologia Data di pubblicazione Autori File
Automatic synthesis algorithms for supervisory controllers 02 - Intervento a convegno 1994 ANTONIOTTI, MARCO +
Applying temporal logic verification and synthesis to manufacturing systems 02 - Intervento a convegno 1995 ANTONIOTTI, MARCO +
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers 02 - Intervento a convegno 1995 Antoniotti, M +
NP-completeness of the Supervisor Synthesis Problem for Unrestricted CTL Specifications 02 - Intervento a convegno 1996 ANTONIOTTI, MARCO +
Microsimulation Analysis of a Hybrid System Model of Multiple Merge Junction Highways and Semi-Automated Vehicles 02 - Intervento a convegno 1997 ANTONIOTTI, MARCO +
SHIFT and SMART-AHS: A Language for Hybrid System Engineering, Modeling and Simulation 02 - Intervento a convegno 1997 ANTONIOTTI, MARCO +
Microsimulation analysis of multiple merge junctions under autonomous AHS operation 02 - Intervento a convegno 1997 ANTONIOTTI, MARCO +
JESTER: An Esterel-based Reactive Java Extension for Reactive Embedded Systems Co-Design 03 - Contributo in libro 2001 ANTONIOTTI, MARCO +
Embedded system design specification: merging reactive control and data computation 02 - Intervento a convegno 2001 Antoniotti, M +
System and process for validating, aligning and reordering one or more genetic sequence maps using at least one ordered restriction map 06 - Brevetti 2001 ANTONIOTTI, MARCO +
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior 02 - Intervento a convegno 2002 ANTONIOTTI, MARCO +
A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes 01 - Articolo su rivista 2003 Antoniotti, M +
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes 02 - Intervento a convegno 2003 ANTONIOTTI, MARCO +
Taming the Complexity of Biochemical Models through Bisimulation and Collapsing: Theory and Practice 01 - Articolo su rivista 2004 ANTONIOTTI, MARCO +
Simpathica: A Computational System Biology Tool within the VALIS Bioinformatics Environment, in Computational Systems Biology 03 - Contributo in libro 2005 Antoniotti, M +
A Coherent Framework for Multi-resolution Analysis of Biological Networks with Memory: RAS pathway, Cell Cycle and Immune System 01 - Articolo su rivista 2005 ANTONIOTTI, MARCO +
Algorithmic algebraic model checking I: Challenges from systems biology 02 - Intervento a convegno 2005 ANTONIOTTI, MARCO +
Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology 06 - Brevetti 2006 ANTONIOTTI, MARCO +
An ontological modeling approach to neurovascular disease studies: the NEUROWEB case 02 - Intervento a convegno 2007 COLOMBO, GIANLUCAANTONIOTTI, MARCODE PAOLI, FLAVIO MARIAMAURI, GIANCARLO +
Modal Logic, Temporal Models and Neural Circuits: What Connects Them 99 - Altro 2007 ANTONIOTTI, MARCO +