A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
Counterpart semantics for a second-order mu-calculus
2010-01-01 Gadducci, F; Lluch Lafuente, A; Vandin, A
Towards a Maude tool for model checking temporal graph properties
2011-01-01 Vandin, A; Luch Lafuente, A
State space c-reductions of concurrent systems in rewriting logic
2012-01-01 Lluch Lafuente, A; Meseguer, J; Vandin, A
Specification and verification of modal properties for structured systems
2012-01-01 Vandin, A
Modelling and analyzing adaptive self-assembly strategies with Maude
2012-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Exploiting over- and under-approximations for infinite-state counterpart models
2012-01-01 Gadducci, F; Lluch Lafuente, A; Vandin, A
A conceptual framework for adaptation
2012-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
MultiVeStA: Statistical model checking for discrete event simulators
2013-01-01 Sebastio, S; Vandin, A
Adaptable transition systems
2013-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Reasoning (on) service component ensembles in rewriting logic
2014-01-01 Belzner, L; De Nicola, R; Vandin, A; Wirsing, M
Distributed statistical analysis of complex systems modeled through a chemical metaphor
2014-01-01 Pianini, D; Sebastio, S; Vandin, A
An analysis pathway for the quantitative evaluation of public transport systems
2014-01-01 Gilmore, S; Tribastone, M; Vandin, A
Statistical analysis of probabilistic models of software product lines with quantitative constraints
2015-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
2015-01-01 ter Beek, M H; Legay, A; Luch Lafuente, A; Vandin, A
Forward and backward bisimulations for chemical reaction networks
2015-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Differential bisimulation for a Markovian process algebra
2015-01-01 Iacobelli, G; Tribastone, M; Vandin, A
Awareness and Control in Adaptable Transition Systems
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
A white box perspective on behavioural adaptation
2015-01-01 Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Symbolic computation of differential equivalences
2016-01-01 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti Convegno (Pr...5340
Data di pubblicazione
- In corso di stampa15
- 2020 - 20261066
- 2010 - 20192510
- 2000 - 20091513
- 1990 - 1999212
- 1980 - 198921
- 1976 - 19793
Editore
- IEEE1293
- Institute of Electrical and Elect...463
- IEEE Computer Society289
- Springer133
- SPIE93
- Optical Society of America52
- Springer Verlag52
- ISHS51
- OSA50
- ACM49
Rivista
- ACTA HORTICULTURAE29
- PROCEEDINGS OF SPIE, THE INTERNAT...26
- IEEE ENGINEERING IN MEDICINE AND ...20
- LECTURE NOTES IN COMPUTER SCIENCE18
- BIOSYSTEMS & BIOROBOTICS15
- GAIT & POSTURE12
- INTERNATIONAL CONFERENCE ON TRANS...10
- PROCEEDINGS OF THE ... IEEE/RAS-E...10
- IEEE INTERNATIONAL CONFERENCE ON ...8
- IEEE INTERNATIONAL CONFERENCE ON ...7
Serie
- LECTURE NOTES IN COMPUTER SCIENCE57
- IEEE ENGINEERING IN MEDICINE AND ...29
- INTERNATIONAL CONFERENCE ON TRANS...26
- LECTURE NOTES IN ARTIFICIAL INTEL...21
- PROCEEDINGS OF SPIE, THE INTERNAT...21
- PROCEEDINGS OF THE ... IEEE/RAS-E...19
- BIOSYSTEMS & BIOROBOTICS18
- ANNUAL INTERNATIONAL CONFERENCE O...16
- IFAC-PAPERSONLINE15
- IEEE INTERNATIONAL CONFERENCE ON ...14
Keyword
- Electrical and Electronic Enginee...160
- Computer Networks and Communications123
- Electronic104
- Optical and Magnetic Materials104
- Artificial Intelligence67
- Biomedical Engineering57
- Signal Processing56
- Computer Science Applications1707...49
- Software49
- Hardware and Architecture48
Lingua
- eng4888
- ita436
- spa8
- fre5
- tur2
- enm1
- ger1
- kor1
- mul1
- por1
Accesso al fulltext
- no fulltext3765
- open671
- reserved483
- restricted418
- partially open2
- embargoed1