| Publication | Date of Publication | Type |
|---|
Accuracy of hygro-expansive curl predictions for paper sheets based on homogenised 2D and 3D network representations
European Journal of Mechanics. A. Solids | 2024-06-18 | Paper |
A stabilization technique for coupled convection-diffusion-reaction equations
International Journal for Numerical Methods in Engineering | 2024-06-14 | Paper |
A refinement indicator for adaptive quasicontinuum approaches for structural lattices
International Journal for Numerical Methods in Engineering | 2024-06-12 | Paper |
Analysis of an open foam generated from computerized tomography scans of physical foam samples
International Journal for Numerical Methods in Engineering | 2023-11-20 | Paper |
A stable extended/generalized finite element method with Lagrange multipliers and explicit damage update for distributed cracking in cohesive materials
Computer Methods in Applied Mechanics and Engineering | 2021-10-22 | Paper |
Analysis of size effects associated to the transformation strain in TRIP steels with strain gradient plasticity
European Journal of Mechanics. A. Solids | 2021-06-21 | Paper |
Building a certified reduced basis for coupled thermo-hydro-mechanical systems with goal-oriented error estimation
Computational Mechanics | 2020-10-20 | Paper |
Generalized quasicontinuum modeling of metallic lattices with geometrical and material nonlinearity and variability
Computer Methods in Applied Mechanics and Engineering | 2020-05-28 | Paper |
Computational generation of open-foam representative volume elements with morphological control using distance fields
European Journal of Mechanics. A. Solids | 2019-11-04 | Paper |
An integrated approach for the conformal discretization of complex inclusion-based microstructures
Computational Mechanics | 2019-10-18 | Paper |
The complexity of synchronizing Markov decision processes
Journal of Computer and System Sciences | 2019-05-02 | Paper |
Symbolic Supervisory Control of Distributed Systems With Communications
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Robust Synchronization in Markov Decision Processes
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
A homogenization-based quasi-discrete method for the fracture of heterogeneous materials
Computational Mechanics | 2014-08-07 | Paper |
Limit synchronization in Markov decision processes
Lecture Notes in Computer Science | 2014-04-16 | Paper |
Coupled friction and roughness surface effects in shallow spherical nanoindentation
Trends in Computational Contact Mechanics | 2012-09-03 | Paper |
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
Discrete Event Dynamic Systems | 2012-07-10 | Paper |
Decentralized control of infinite systems
Discrete Event Dynamic Systems | 2011-11-08 | Paper |
Infinite Synchronizing Words for Probabilistic Automata
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
A coupled two-scale computational scheme for the failure of periodic quasi-brittle thin planar shells and its application to masonry
International Journal for Numerical Methods in Engineering | 2011-07-20 | Paper |
Efficient approximate verification of B and Z models via symmetry markers
Annals of Mathematics and Artificial Intelligence | 2011-02-03 | Paper |
An enhanced multi-scale approach for masonry wall computations with localization of damage
International Journal for Numerical Methods in Engineering | 2010-09-10 | Paper |
On the complexity of partial order trace model checking
Information Processing Letters | 2010-04-19 | Paper |
Strain gradient plasticity analysis of transformation-induced plasticity in multiphase steels
International Journal of Solids and Structures | 2009-08-31 | Paper |
Testing Distributed Systems Through Symbolic Model Checking
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Efficient Approximate Verification of Promela Models Via Symmetry Markers
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin
Formal Aspects of Computing | 2005-12-13 | Paper |
Experimental and Efficient Algorithms
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Mesoscopic modeling of failure and damage-induced anisotropy in brick masonry
European Journal of Mechanics. A. Solids | 2005-03-08 | Paper |
A thermodynamically motivated implicit gradient damage framework and its application to brick masonry cracking
Computer Methods in Applied Mechanics and Engineering | 2005-01-13 | Paper |
| scientific article; zbMATH DE number 1693430 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1615252 (Why is no real title available?) | 2001-07-08 | Paper |
Equality of agent expressions is preserved under an extension of the universe of actions
Formal Aspects of Computing | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 140241 (Why is no real title available?) | 1993-03-28 | Paper |
An agent calculus with simple actions where the enabling and disabling are derived operators
Information Processing Letters | 1992-06-28 | Paper |
