Search

Your search keyword '"Tribastone, Mirco"' showing total 104 results

Search Constraints

Start Over You searched for: Author "Tribastone, Mirco" Remove constraint Author: "Tribastone, Mirco" Publication Type eBooks Remove constraint Publication Type: eBooks
104 results on '"Tribastone, Mirco"'

Search Results

1. Optimality-Preserving Reduction of Chemical Reaction Networks

3. Systems Security Modeling and Analysis at IMT Lucca

5. Dissimilarity for Linear Dynamical Systems

8. An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

9. Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic

10. Reducing Boolean Networks with Backward Boolean Equivalence

11. Lumpability for Uncertain Continuous-Time Markov Chains

12. Tight Error Analysis in Fixed-Point Arithmetic

13. Inferring Performance from Code: A Review

14. A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository

15. UTOPIC: Under-Approximation Through Optimal Control

16. Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks

17. Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

18. Combined Vertical and Horizontal Autoscaling Through Model Predictive Control

19. Differential Equivalence Yields Network Centrality

20. Towards Software Performance by Construction

21. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations

22. Syntactic Markovian Bisimulation for Chemical Reaction Networks

23. Efficient Syntax-Driven Lumping of Differential Equations

24. Quantitative Abstractions for Collective Adaptive Systems

25. Differential Bisimulation for a Markovian Process Algebra

26. Power Trading Coordination in Smart Grids Using Dynamic Learning and Coalitional Game Theory

27. Supporting Performance Awareness in Autonomous Ensembles

28. Service Composition for Collective Adaptive Systems

29. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

30. Family-Based Performance Analysis of Variant-Rich Software Systems

31. An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems

32. ASCENS: Engineering Autonomic Service-Component Ensembles

33. Exact Fluid Lumpability for Markovian Process Algebra

35. Scaling Performance Analysis Using Fluid-Flow Approximation

36. Performance Prediction of Service-Oriented Systems with Layered Queueing Networks

37. Service-Level Agreements for Service-Oriented Computing

38. Quantitative Analysis of Web Services Using SRMC

39. Scalable Analysis of Scalable Systems

40. Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

42. Partial Evaluation of PEPA Models for Fluid-Flow Analysis

43. Replicating Web Services for Scalability

44. Stochastic Process Algebras

45. Sensoria Process Calculi for Service-Oriented Computing

46. Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System

48. Batch Effect Correction in a Confounded Scenario: a Case Study on Gene Expression of Chornobyl Tree Frogs

49. BNClassifier: Classifying Boolean Models by Dynamic Properties

50. Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems

Catalog

Books, media, physical & digital resources