A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications Fulltext Access 27 Pages 2016
PTRebeca: Modeling and analysis of distributed and asynchronous systems Fulltext Access 29 Pages 2016
Combining unit and specification-based testing for meta-model validation and verification Fulltext Access 32 Pages 2016
Synthesis of positive logic programs for checking a class of definitions with infinite quantification Fulltext Access 32 Pages 2016
A general SOS theory for the specification of probabilistic transition systems Fulltext Access 34 Pages 2016
A framework for compositional verification of multi-valued systems via abstraction-refinement Fulltext Access 34 Pages 2016
A Centroid-based Ranking Method of Trapezoidal Intuitionistic Fuzzy Numbers and Its Application to MCDM Problems Fulltext Access 34 Pages 2016
Mitigating covert channels based on analysis of the potential for communication Fulltext Access 37 Pages 2016
Characteristic function games with restricted agent interactions: Core-stability and coalition structures Fulltext Access 38 Pages 2016
Dynamic input/output automata: A formal and compositional model for dynamic systems Fulltext Access 48 Pages 2016
Role of time scales for the non-Gaussianity of the Brownian motion combined with intermittent adsorption Fulltext Access 6 Pages 2015
Numerically-aided Deductive Safety Proof for a Powertrain Control System Fulltext Access 7 Pages 2015
Optimal shape design of multi-element trawl-doors using local surrogate models Fulltext Access 8 Pages 2015
In search of novel anti-inflammatory agents: Computational repositioning of approved drugs Fulltext Access 8 Pages 2015
Can vacuum morphologies predict solubility and intrinsic dissolution rate? A case study with felodipine polymorph form IV Fulltext Access 8 Pages 2015
Intuitive and counterintuitive noncovalent interactions of aromatic π regions with the hydrogen and the nitrogen of HCN Fulltext Access 8 Pages 2015
CAVS—Novel in silico selection strategy of specific STAT inhibitory compounds Fulltext Access 9 Pages 2015
Rate dependent plastic deformation analysis of creeping short fiber composites using the virtual fiber method in the non-reinforced regions Fulltext Access 10 Pages 2015
Aerodynamic shape optimization by variable-fidelity computational fluid dynamics models: A review of recent progress Fulltext Access 10 Pages 2015
Synthesis, spectroscopic characterization, electronic and optical studies of (2Z)‐5,6‐dimethyl‐2‐[(4‐nitrophenyl)methylidene]‐2,3‐dihydro‐1‐benzofuran‐3‐one Fulltext Access 10 Pages 2015
Locating multiple sources in social networks under the SIR model: A divide-and-conquer approach Fulltext Access 10 Pages 2015
Triplet Finder: On the way to triggerless online reconstruction with GPUs for the P¯ANDA experiment Fulltext Access 10 Pages 2015
A new approach for touch gesture recognition: Conversive Hidden non-Markovian Models Fulltext Access 11 Pages 2015
Russian-Dutch double-degree Master’s programme in computational science in the age of global education Fulltext Access 11 Pages 2015
Modelling complex and flexible processes for smart cyber-physical environments Fulltext Access 12 Pages 2015
Assessment of molecular binding of Hoechst 33258 analogues into DNA using docking and MM/GBSA approach Fulltext Access 12 Pages 2015
Investigation of surface stress effect in 3D complex nano parts using FEM and modified boundary Cauchy–Born method Fulltext Access 12 Pages 2015
A data-driven agent-based model of congestion and scaling dynamics of rapid transit systems Fulltext Access 13 Pages 2015
Accelerating fluid–solid simulations (Lattice-Boltzmann & Immersed-Boundary) on heterogeneous architectures Fulltext Access 13 Pages 2015
Experience of using FEM for real-time flood early warning systems: Monitoring and modeling Boston levee instability Fulltext Access 13 Pages 2015
Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems Fulltext Access 14 Pages 2015
DFT study of structural, vibrational and electronic properties of polyaniline pernigraniline model compounds Fulltext Access 14 Pages 2015
Performance Analysis of Collective Adaptive Behaviour in Time and Space Fulltext Access 16 Pages 2015
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper Fulltext Access 17 Pages 2015
Sustainability analysis of complex dynamic systems using embodied energy flows: The eco-bond graphs modeling and simulation framework Fulltext Access 18 Pages 2015
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications Fulltext Access 19 Pages 2015
Synthesizing structured reactive programs via deterministic tree automata Fulltext Access 20 Pages 2015
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models Fulltext Access 21 Pages 2015
A combinatorial polynomial algorithm for the linear Arrow–Debreu market Fulltext Access 21 Pages 2015