635 citations
- Centrum Wiskunde & InformaticaNL32 papers
- Delft University of TechnologyNL10 papers
- University of AmsterdamNL10 papers
- Centre National de la Recherche ScientifiqueFR8 papers
- Leiden UniversityNL8 papers
- Vrije Universiteit AmsterdamNL7 papers
- Radboud University NijmegenNL6 papers
- California Institute of TechnologyUS5 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Max Planck SocietyDE4 papers
- Bar-Ilan UniversityIL3 papers
- Courant Institute of Mathematical SciencesUS3 papers
19 papers · 1 filter
A Process Algebra for Supervisory Coordination
Jos Baeten, Bert van Beek, Allan van Hulst +1
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studie…
Towards reduction of Paradigm coordination models
Suzana Andova, Luuk Groenewegen, Erik de Vink
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistentl…
The Impact of non-DLVO Forces on the Onset of Shear Thickening of Concentrated Electrically Stabilized Suspensions
Joachim Kaldasch, Bernhard Senge, Jozua Laven
This paper exposes an extension of an activation model previously published by the authors. When particles arranged along the compression axis of a sheared suspension, they may ove…
Shear thickening in Electrically Stabilized Colloidal Suspensions
Joachim Kaldasch, Bernhard Senge, Jozua Laven
A theory is presented for the onset of shear thickening in colloidal suspensions of particles, stabilized by an electrostatic repulsion. Based on an activation model a critical she…
Triplet Exciton Generation in Bulk-Heterojunction Solar Cells based on Endohedral Fullerenes
Moritz Liedtke, Andreas Sperlich, Hannes Kraus +6
Organic bulk-heterojunctions (BHJ) and solar cells containing the trimetallic nitride endohedral fullerene 1-[3-(2-ethyl)hexoxy carbonyl]propyl-1-phenyl-Lu3N@C80 (Lu3N@C80-PCBEH) s…
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Suzana Andova, Mark van den Brand, Luc Engelen
A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of t…