Efficient Symmetry Reduction for an Actor-Based Model
Effective modeling of software architectural assemblies using constraint automata
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
The accuracy of the National Economic Institute‘s forecasts 1981-2002
The role of the product owner in scrum -comparison between theory and practices
English Summary for the Assessment Report on the EU-Iceland Accession Negotiations
Estimating Direction Of Gaze in a Multimodal Contex
Integrating Simultaneous Input from Speech, Gaze and Hand Gestures
The Effect of Usability Evaluation on Software Development Practice
Applying Constructionist Design Methodology to Agent-Based Simulation Systems
Docosahexaenoic acid in red blood cells of women of reproductive age is positively associated with oral contraceptive use and physical activity
A Survey of Stimulation Methods Used in SSVEP-Based BCIs
A Test of the Behavioral Perspective Model in the Context of an E-mail Marketing Experiment
Threadneedle: An Experimental Tool for the Simulation and Analysis of Fractional Reserve Banking Systems.
On a question of A. Salomaa the equational theory of regular expressions over a singleton alphabet is not finitely based
Lifting non-finite axiomatizability results to extensions of process algebras
Sigma algebras in probabilistic epistemic dynamics
Proving the validity of equations in GSOS languages using rule-matching bisimilarity
Equational theories of tropical semirings