Compositional Verification for Hierarchical Scheduling of Real-Time Systems von Carnevali, L., Pinzuti, A., Vicario, E.

Volltext

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems von Vicario, E., Sassoli, L., Carnevali, L.

Volltext

Static analysis and dynamic steering of time-dependent systems von Vicario, E.

Volltext

Construction of Phase Type Distributions by Bernstein Exponentials von Horváth, A., Vicario, E.

Volltext

Efficient matching and indexing of graph models in content-based retrieval von Berretti, S., Del Bimbo, A., Vicario, E.

Volltext

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models von Carnevali, L., Grassi, L., Vicario, E.

Volltext

Atención del paciente crítico pediátrico en una UCI de adultos. Utilidad del índice PIM von Badia, M, Vicario, E, García-Solanes, L, Serviá, L, Justes, M, Trujillano, J

Volltext

Timed state space analysis of real-time preemptive systems von Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.

Volltext

Aplicación de terapia de presión negativa en un caso de pioderma gangrenoso von P. Martín-Playá, R. Tarragona-Fernández, M. Ballestero-Diez, E. Vicario-Elorduy, J.J. García-Gutiérrez

Volltext

Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets von Bucci, G., Sassoli, L., Vicario, E.

Volltext

CREB decreases astrocytic excitability by modifying subcellular calcium fluxes via the sigma-1 receptor von Eraso-Pichot, A., Larramona-Arcas, R., Vicario-Orri, E., Villalonga, R., Pardo, L., Galea, E., Masgrau, R.

Volltext

Probabilistic Model Checking of Regenerative Concurrent Systems von Paolieri, Marco, Horvath, Andras, Vicario, Enrico

Volltext

Flood impacts on a water distribution network von Arrighi, Chiara, Tarani, Fabio, Vicario, Enrico, Castelli, Fabio

Volltext

Weighted walkthroughs between extended entities for retrieval by spatial arrangement von Berretti, S., Del Bimbo, A., Vicario, E.

Volltext

Quantitative Attack Tree Analysis via Priced Timed Automata von Kumar, Rajesh, Ruijters, Enno, Stoelinga, Mariëlle

Volltext

Ontologies and Bayesian Networks in Medical Diagnosis von Bucci, G, Sandrucci, V, Vicario, E

Volltext

Neumonía grave por Pneumocystis jiroveci en paciente con enfermedad de Crohn y tratamiento con adalimumab von Montserrat Ortiz, N, Gormaz Torres, P, Justes Mateos, M, Bello Rodriguez, G, Vicario Izquierdo, E, León Vallés, M

Volltext

Un caso atípico de malformación venosa en la espalda von Martínez-de-Lagrán, Z, Fernández-Samaniego, F, Acebo-Mari˜as, E, Vicario-Elorduy, E

Volltext

Compositional validation of time-critical systems using communicating time Petri nets von Bucci, G., Vicario, E.

Volltext

Factores de riesgo de deterioro de calidad de vida en pacientes traumáticos críticos. Valoración a los 6 y 12 meses del alta de la unidad de cuidados intensivos von Serviá Goixart, L, Badia Castelló, M, Montserrat Ortiz, N, Bello Rodriguez, G, Vicario Izquierdo, E, Vilanova Corselles, J, Trujillano Cabello, J

Volltext