### publication venue for

- Fractional Types. 12227 LNCS:169-186. 2020
- Leveraging the Information Contained in Theory Presentations. 12236 LNAI:55-70. 2020
- A New Style of Mathematical Proof. 10931:175-181. 2018
- Biform Theories: Project Description. 11006:76-86. 2018
- HOL Light QE. 10895:215-234. 2018
- Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. 10383:9-24. 2017
- Data Driven Discovery of Attribute Dictionaries. 9630:69-96. 2016
- Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics. 9791:83-98. 2016
- Know When to Persist: Deriving Value from a Stream Buffer. 9778:101-112. 2016
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories. 8543:252-266. 2014
- Causality in Extensions of Petri Nets. 7480 LNCS:225-254. 2013
- Feasible Combinatorial Matrix Theory. 8087:777-788. 2013
- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. 7961 LNAI:35-50. 2013
- A Timed Mobility Semantics Based on Rewriting Strategies. 7504:141-155. 2012
- Behavioural Equivalences over Migrating Processes with Timers. 7273:52-66. 2012
- Relevance of Entities in Reaction Systems. 44-55. 2012
- Relevance of entities in reaction systems. 7300 LNAI:44-55. 2012
- Theory Presentation Combinators. 7362 LNAI:202-215. 2012
- Model-Based Deformable Registration of Preoperative 3D to Intraoperative Low-Resolution 3D and 2D Sequences of MR Images. 14:460-467. 2011
- Symbolic Domain Decomposition. 6167:172-188. 2010
- A Categorical Approach to Mereology and Its Application to Modelling Software Components. 5084 LNCS:146-174. 2008
- Feasible Proofs of Matrix Properties with Csanky’s Algorithm. 3634:493-508. 2005
- Robotic Assisted Radio-Frequency Ablation of Liver Tumors – Randomized Patient Study. 8:526-533. 2005
- Authorship Analysis in Cybercrime Investigation. 2665:59-73. 2003
- On Optimality of Context Modeling for Bit-Plane Entropy Coding in the JPEG2000 Standard. 2849:208-216. 2003
- Process semantics of temporal logic specification. 655:236-253. 1993
- Examples of semicomputable sets of real and complex numbers. 613:179-198. 1992
- FROM REGULAR EXPRESSIONS TO DFAS USING COMPRESSED NFAS. 644:90-110. 1992
- IMPS: System description. 607:701-705. 1992
- Little theories. 607:567-581. 1992
- MODELING SYSTEMS WITH DYNAMIC PRIORITIES. 609:251-266. 1992
- THEORY OF COMPUTATION OVER STREAM ALGEBRAS, AND ITS APPLICATIONS. 629:62-80. 1992
- Describing, structuring and implementing objects. 489:274-310. 1991
- INVARIANT SEMANTICS OF NETS WITH INHIBITOR ARCS. 527:317-331. 1991
- INVARIANTS AND PARADIGMS OF CONCURRENCY THEORY. 506:59-74. 1991
- OPTIMAL SIMULATIONS, NETS AND REACHABILITY GRAPHS. 524:205-226. 1991
- Redex capturing in term graph rewriting (concise version). 488:13-24. 1991
- Sharing actions and attributes in modal action logic. 526:569-593. 1991
- TAPSOFT 91 - PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT BRIGHTON, UK, APRIL 8-12, 1991 - PREFACE. 493:R3-R4. 1991
- Using optimal simulations to reduce reachability graphs. 531:166-175. 1991
- MORE EFFICIENT BOTTOM-UP TREE PATTERN-MATCHING. 431:72-86. 1990
- PROVABLE COMPUTABLE FUNCTIONS ON ABSTRACT-DATA-TYPES. 443:660-673. 1990
- SYMBOLIC FINITE DIFFERENCING .1.. 432:36-56. 1990
- Toward a general theory of computation and specification over abstract data types. 468:129-133. 1990
- A pluralistic knowledge-based approach to software specification. 387:411-423. 1989
- Horn programs and semicomputable relations on abstract structures. 372:745-760. 1989
- PRAM algorithms for identifying polygon similarity. 401:25-32. 1989
- THE PRESCRIPTION AND DESCRIPTION OF STATE BASED SYSTEMS. 398:243-294. 1989
- Towards a theory of simulation for verification of concurrent systems. 366:73-88. 1989
- Adequacy-preserving transformations of COSY path programs. 335:368-379. 1988
- An O(nlogn) cost parallel algorithm for the single function coarsest partition problem. 269:70-76. 1987
- On equivalent execution semantics of concurrent systems. 266:89-103. 1987
- CONTRASTING THEMES IN THE SEMANTICS OF IMPERATIVE CONCURRENCY. 224:51-121. 1986
- 2-WAY CHANNEL WITH DISCONNECT. 207:184-198. 1985
- A simple railway system. 207:271-292. 1985
- A theory of abstract data types for program development: Bridging the gap?. 186:214-230. 1985
- Large database specifications from small views. 206:246-271. 1985
- Maximally concurrent evolution of non-sequential systems. 197:268-280. 1985
- A method for developing concurrent systems. 167:155-166. 1984
- Compactness in semantics for merge and fair merge. 164:18-33. 1984
- Logical specification and implementation. 181:13-30. 1984
- On the Merlin-Randell problem of train journeys. 167:179-190. 1984
- Processes and a fair semantics for the ADA rendez-vous. 154:52-66. 1983
- A construction of concurrent systems by means of sequential solutions and concurrency relations. 107:327-334. 1981
- Formal behavioural specification of concurrent systems without globality assumptions. 107:115-151. 1981
- Preface 2020
- Preface 2020
- Preface 2020
- Preface 2020
- Preface by editor-in-chief 2019
- Preface 2018
- Preface by editor-in-chief 2018
- Preface by editor-in-chief 2017
- Preface 2016
- Preface by editor-in-chief 2016
- Intelligent Computer Mathematics 2015
- Preface 2015
- FM-RAIL-BOK organizers' message 2014
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2014
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2014
- Preface by editor-in-chief 2014
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2013
- Preface by editor-in-chief 2013
- Intelligent Computer Mathematics 2013
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2012
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2012
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2012
- Intelligent Computer Mathematics 2012
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2011
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2011
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface by guest editors 2009
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2009
- Intelligent Computer Mathematics 2009
- Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings 2009
- Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings 2009
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2008
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2008
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword 2007
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2006
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2006
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2006
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2005
- Preface 2001
- Characterization of RE using CD grammar systems with two registers and RL rules 1997
- Preface 1991
- Preface 1991
- Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER) 2018
- Engineering Bidirectional Transformations 2018
- Parallel Model Validation with Epsilon 2018
- Reaction Systems, Transition Systems, and Equivalences 2018
- SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction 2018
- Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems 2018
- Concept Analysis Based Approach to Statistical Web Testing 2013
- Model Management in the Wild 2013
- A Lightweight Approach for Managing XML Documents with MDE Languages 2012
- A Plug-in Based Approach for UML Model Simulation 2012
- Approaches to Modelling Security Scenarios with Domain-Specific Languages 2012
- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 2012
- Modeling of Spiking Analog Neural Circuits with Hebbian Learning, Using Amorphous Semiconductor Thin Film Transistors with Silicon Oxide Nitride Semiconductor Split Gates 2012
- Revealing Complexity through Domain-Specific Modelling and Analysis 2012
- Sensitivity Analysis in Model-Driven Engineering 2012
- Solving Acquisition Problems Using Model-Driven Engineering 2012
- A Comparison of Rule Inheritance in Model-to-Model Transformation Languages 2011
- Formal Analysis in Model Management: Exploiting the Power of CZT 2010
- Establishing Correspondences between Models with the Epsilon Comparison Language 2009
- Agile Formal Method Engineering 2005
- The Design of a Tool-Supported Graphical Notation for Timed CSP 2002
- Metamodelling and Conformance Checking with PVS 2001
- A meta-method for formal method integration 1997
- Predicting Obstructive Hydronephrosis Based on Ultrasound Alone 2020
- Quality of Service Ranking by Quantifying Partial Compliance of Requirements 2020
- Systematic Evaluation of (Safety) Assurance Cases 2020
- Tracking Computability of GPAC-Generable Functions 2020
- Use of Virtual Reality Technology for CANDU 6 Reactor Fuel Channel Operation Training 2020
- Using AI-Enhanced Social Robots to Improve Children’s Healthcare Experiences 2020
- Using Academic Work Places to Involve Older People in the Design of Digital Applications. Presentation of a Methodological Framework to Advance Co-design in Later Life 2020
- A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications 2019
- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs 2019
- Applications of V-Order: Suffix Arrays, the Burrows-Wheeler Transform & the FM-index 2019
- Automatic Quality-of-Service Evaluation in Service-Oriented Computing 2019
- Employing Interdisciplinary Approaches in Designing with Fragile Older Adults; Advancing ABLE for Arts-Based Rehabilitative Play and Complex Learning 2019
- Finite Limits and Anti-unification in Substitution Categories 2019
- Local Search for Attribute Reduction 2019
- On Interval Semantics of Inhibitor and Activator Nets 2019
- Online Voting in a First Nation in Canada: Implications for Participation and Governance 2019
- Reversing Steps in Petri Nets 2019
- SL2SF: Refactoring Simulink to Stateflow 2019
- Teaching Concurrency with the Disappearing Formal Method 2019
- Towards Specifying Symbolic Computation 2019
- A Library of Reversible Circuit Transformations (Work in Progress) 2018
- An Efficient Characterization of Petri Net Solvable Binary Words 2018
- Boosting the Reuse of Formal Specifications 2018
- CalcCheck: A Proof Checker for Teaching the “Logical Approach to Discrete Math” 2018
- Calculational Relation-Algebraic Proofs in the Teaching Tool CalcCheck 2018
- Dynamic Control of Running Servers 2018
- Maximizing Throughput in Zero-Buffer Tandem Lines with Constrained Flexible Servers 2018
- Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains 2018
- Multiple Model Synchronization with Multiary Delta Lenses 2018
- Online Voting in Indigenous Communities: Lessons from Canada 2018
- Reaction Mining for Reaction Systems 2018
- Safe and Secure Automotive Over-the-Air Updates 2018
- Search-Based Temporal Testing in an Embedded Multicore Platform 2018
- Toward Product Lines of Mathematical Models for Software Model Management 2018
- Towards Automatic Generation of UML Profile Graphical Editors for Papyrus 2018
- A brain-computer interface based on abstract visual and auditory imagery: Evidence for an effect of artistic training 2017
- A Framework for Multi-view Reconciliation and for Medical Devices Personalization 2017
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras 2017
- Blockchain Enabled Privacy Audit Logs 2017
- Defense in Depth Formulation and Usage in Dynamic Access Control 2017
- Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach 2017
- Search-and-Fetch with One Robot on a Disk 2017
- Theory Morphisms in Church’s Type Theory with Quotation and Evaluation 2017
- Transactions on petri nets and other models of concurrency XII 2017
- Use of Tabular Expressions for Refinement Automation 2017
- Yet Another Kind of Rough Sets Induced by Coverings 2017
- A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case 2016
- A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax 2016
- Body Editing: Dance Biofeedback Experiments in Apperception 2016
- Combinatorial algorithms: 26th international workshop, IWOCA 2015 Verona, Italy, october 5–7, 2015 revised selected papers 2016
- Computing with Semirings and Weak Rig Groupoids 2016
- Evaluation Framework for Smart Technology Mental Health Interventions 2016
- Formal Availability Analysis Using Theorem Proving 2016
- Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application 2016
- On Approximation of Relations by Generalized Closures and Generalized Kernels 2016
- On Optimal Approximations of Arbitrary Relations by Partial Orders 2016
- Probabilistic Inference by Program Transformation in Hakaru (System Description) 2016
- Probabilistic inference by program transformation in hakaru 2016
- Reversible Computation vs. Reversibility in Petri Nets 2016
- Simplifying Probabilistic Programs Using Computer Algebra 2016
- Stress-Testing Centralised Model Stores 2016
- Stupid Tool Tricks for Smart Model Based Design 2016
- Synthesis of Petri Nets with Whole-Place Operations and Localities 2016
- The Interchange Format of Tabular Expressions Using XML 2016
- Towards Platform Independent Database Modelling in Enterprise Systems 2016
- Towards Quantitative Verification of Reaction Systems 2016
- User-Centered Requirements Analysis and Design Solutions for Chronic Disease Self-management 2016
- Using STPA in an ISO 26262 Compliant Process 2016
- A Data Quality Framework for Customer Relationship Analytics 2015
- A Full Operational Semantics for Asynchronous Relational Networks 2015
- A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical 2015
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules 2015
- Behavioural Game Theory: Predictive Models and Mechanisms 2015
- Fast and Simple Computations Using Prefix Tables Under Hamming and Edit Distance 2015
- Formalizing the Cardiac Pacemaker Resynchronization Therapy 2015
- Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings 2015
- Is Current Incremental Safety Assurance Sound? 2015
- Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets 2015
- Modeling Product Lines with Kripke Structures and Modal Logic 2015
- Modelling of Subjective Radiological Assessments with Objective Image Quality Measures of Brain and Body CT Images 2015
- Non-atomic Transition Firing in Contextual Nets 2015
- Non-repetitive Strings over Alphabet Lists 2015
- On Interval Process Semantics of Petri Nets with Inhibitor Arcs 2015
- Order Structures for Subclasses of Generalised Traces 2015
- Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015 Proceedings 2015
- Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements 2015
- The Semantics of Cardinality-Based Feature Models via Formal Languages 2015
- Towards a Unified Framework for Data Cleaning and Data Privacy 2015
- Transactions on Petri Nets and Other Models of Concurrency X 2015
- Type Inference in Flexible Model-Driven Engineering 2015
- What Is a Derived Signature Morphism? 2015
- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications 2015
- A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence 2014
- A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting 2014
- A Mechanised Abstract Formalisation of Concept Lattices 2014
- A separation principle for embedded system interfacing 2014
- An Evaluation Template for Expert Review of Maturity Models 2014
- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic 2014
- Categories of Coalgebras with Monadic Homomorphisms 2014
- Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems 2014
- Endowing Concurrent Kleene Algebra with Communication Actions 2014
- Envisioning a Requirements Specification Template for Medical Device Software 2014
- Formalizing the Glucose Homeostasis Mechanism 2014
- Insulin Pump Software Certification 2014
- Integrating Agile Development Processes and User Centred Design- A Place for Usability Maturity Models? 2014
- Interval Temporal Logic Semantics of Box Algebra 2014
- Joint Neighbor Discovery and Contention Relationship Inference in Wireless Networks 2014
- Model Driven Grant Proposal Engineering 2014
- Models for Distributed, Large Scale Data Cleaning 2014
- Parallel Bounded Verification of Alloy Models by TranScoping 2014
- Simple Linear Comparison of Strings in V-Order 2014
- Tissue Systems and Petri Net Synthesis 2014
- Transactions on Petri Nets and Other Models of Concurrency IX 2014
- Understanding the Factors That Influence the Perceived Severity of Cyber-bullying 2014
- What IS a BoK? Large – Extended Abstract – 2014
- A Categorical Approach to Structuring and Promoting Z Specifications 2013
- A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes 2013
- A Privacy Framework for the Personal Web 2013
- A Taxonomy of Persistent and Nonviolent Steps 2013
- Adding Spreadsheets to the MDE Toolkit 2013
- Assignment Calculus: A Pure Imperative Language 2013
- Characterizing Fault-Tolerant Systems by Means of Simulation Relations 2013
- Circuit Complexity of Shuffle 2013
- Finitary Fairness in Action Systems 2013
- Generic Algorithms for Factoring Strings 2013
- Mapping-Aware Megamodeling: Design Patterns and Laws 2013
- Metamodelling for Grammarware Researchers 2013
- Optimal Approximations with Rough Sets 2013
- Prefix Table Construction and Conversion 2013
- Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics 2013
- Social Exchange Networks with Distant Bargaining 2013
- Step Persistence in the Design of GALS Systems 2013
- Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications 2013
- Towards Quantitative Analysis of Opacity 2013
- Using Reputation Instead of Tolls in Repeated Selfish Routing with Incomplete Information 2013
- A Mobile Robotic Platform for Generating Radiation Maps 2012
- A Nonparametric Bayesian Approach for Opportunistic Data Transfer in Cellular Networks 2012
- An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump 2012
- Constructing Physically Realistic VCV Stimuli for the Perception of Stop Voicing in European Portuguese 2012
- Energy-Efficient Robust Coverage under Uncertainty in Wireless Sensor Networks 2012
- Influence Spread in Large-Scale Social Networks – A Belief Propagation Approach 2012
- Intermodeling, Queries, and Kleisli Categories 2012
- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications 2012
- Minimal Reaction Systems 2012
- Modeling Interval Order Structures with Partially Commutative Monoids 2012
- Modelling Provenance Using Structured Occurrence Networks 2012
- Optimization of Quadtree Representation and Compression 2012
- Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows 2012
- Synthesis Problem for Petri Nets with Localities 2012
- Towards Certifiable Implementation of Graph Transformation via Relation Categories 2012
- Towards a First-Order Deontic Action Logic 2012
- Verification Rules for Exception Handling in Eiffel 2012
- Verification of Aspectual Composition in Feature-Modeling 2012
- A Tabular Expression Toolbox for Matlab/Simulink 2011
- A d-Step Approach for Distinct Squares in Strings 2011
- Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models 2011
- Causality in Structured Occurrence Nets 2011
- Dependently-Typed Formalisation of Relation-Algebraic Abstractions 2011
- EUnit: A Unit Testing Framework for Model Management Tasks 2011
- Generic Expression Hardness Results for Primitive Positive Formula Comparison 2011
- Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels 2011
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods 2011
- Integrated Model Management with Epsilon 2011
- MathScheme: Project Description 2011
- Remarks on Pairwise Comparison Numerical and Non-numerical Rankings 2011
- Software Certification: Is There a Case against Safety Cases? 2011
- String Comparison and Lyndon-Like Factorization Using V-Order in Linear Time 2011
- The Application of Moodle in Computer English Teaching 2011
- The Mutex Paradigm of Concurrency 2011
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” 2011
- Timed Migration and Interaction with Access Permissions 2011
- Video Multicasting in an Autonomic Future Internet with Essentially-Perfect Throughput and QoS Guarantees 2011
- Instrumental Rationality 2010
- A Comparison of Model Migration Tools 2010
- A New Algorithmic Approach for Contrast Enhancement 2010
- A Reflective Approach to Model-Driven Web Engineering 2010
- Amalgamating Pushout and Pullback Graph Transformation in Collagories 2010
- Applying Step Coverability Trees to Communicating Component-Based Systems 2010
- Certification of Software-Driven Medical Devices 2010
- Characterizing Locality (Encapsulation) with Bisimulation 2010
- Complete Calculi for Structured Specifications in Fork Algebra 2010
- Concordance: A Framework for Managing Model Integrity 2010
- Constructing and Navigating Non-invasive Model Decorations 2010
- DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS 2010
- Domain-Specific Metamodelling Languages for Software Language Engineering 2010
- Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements 2010
- Inter-modelling: From Theory to Practice 2010
- Mechanized Mathematics 2010
- Model Migration with Epsilon Flock 2010
- On Software Certification: We Need Product-Focused Approaches 2010
- On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users 2010
- ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models 2010
- Petri Nets with Localities and Testing 2010
- Portable Multi-axis CNC: A 3-CRU Decoupled Parallel Robotic Manipulator 2010
- Taming EMF and GMF Using Model Transformation 2010
- The Use of Model Transformation in the INESS Project 2010
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting 2010
- Using Social Software for Teamwork and Collaborative Project Management in Higher Education 2010
- transML: A Family of Languages to Model Model Transformations 2010
- A Review of Mathematical Knowledge Management 2009
- A Survey of User-Experience Development at Enterprise Software Companies 2009
- A Survey of User-Experience Development at Enterprise Software Companies 2009
- Abstracting Complex Languages through Transformation and Composition 2009
- An FPTAS for the Minimum Total Weighted Tardiness Problem with a Fixed Number of Distinct Due Dates 2009
- Analysis of Human Gait Bilateral Symmetry for Functional Assessment after an Orthopaedic Surgery 2009
- Closure Operators for Order Structures 2009
- Closure Operators for Order Structures 2009
- Collagories for Relational Adhesive Rewriting 2009
- Content Personalization for Inclusive Education through Model-Driven Engineering 2009
- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy 2009
- Engineering a DSL for Software Traceability 2009
- FPTC: Automated Safety Analysis for Domain-Specific Languages 2009
- Formal Verification of the Implementability of Timing Requirements 2009
- General Pseudo-random Generators from Weaker Models of Computation 2009
- On Rough Sets with Structures and Properties 2009
- On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages 2009
- Probabilistic Failure Propagation and Transformation Analysis 2009
- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic 2009
- Specifying and Verifying Business Processes Using PPML 2009
- The Grand Challenge of Scalability for Model Driven Engineering 2009
- New perspectives on the prefix array 2008
- A Method to Find Sequentially Separated Motifs in Biological Sequences (SSMBS) 2008
- A Tableaux System for Deontic Action Logic 2008
- Case Studies in Model Manipulation for Scientific Computing 2008
- Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code 2008
- Constructing Models with the Human-Usable Textual Notation 2008
- Designing Privacy-Aware Personal Health Record Systems 2008
- Determinisation of Relational Substitutions in Ordered Categories with Domain 2008
- Emergency Connectivity in Ad-Hoc Networks with Selfish Nodes 2008
- Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse 2008
- Finding minimal unsatisfiable cores of declarative specifications 2008
- High-Level Theories 2008
- Interval Subroutine Library Mission 2008
- Masking Faults While Providing Bounded-Time Phased Recovery 2008
- Modelling Concurrency with Quotient Monoids 2008
- Modelling and Verification of Timed Interaction and Migration 2008
- New Perspectives on the Prefix Array 2008
- Nonlinear Bayesian Filters for Training Recurrent Neural Networks 2008
- Proofs and refutations for probabilistic refinement 2008
- Ranking with Partial Orders and Pairwise Comparisons 2008
- Recent Results on the Algebraic Approach to the CSP 2008
- Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders 2008
- Synthesis of Nets with Step Firing Policies 2008
- The Epsilon Generation Language 2008
- The Epsilon Transformation Language 2008
- The epsilon generation language 2008
- Towards Agile Engineering of High-Integrity Systems 2008
- Towards Efficient Verification of Systems with Dynamic Process Creation 2008
- A Complete and Compact Propositional Deontic Logic 2007
- A Rational Reconstruction of a System for Experimental Mathematics 2007
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications 2007
- Biform Theories in Chiron 2007
- Challenges in Software Certification 2007
- Design in CommUnity with Extension Morphisms 2007
- Extreme Programming Security Practices 2007
- Failures: Their Definition, Modelling and Analysis 2007
- Fast and Practical Algorithms for Computing All the Runs in a String 2007
- Finally tagless, partially evaluated - Tagless staged interpreters for simpler typed languages 2007
- Selfish Routing with Oblivious Users 2007
- Static and Dynamic Coalition Formation in Group-Choice Decision Making 2007
- Synthesis of Elementary Net Systems with Context Arcs and Localities 2007
- The View Glue 2007
- Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems 2007
- Verifying Temporal Properties of CommUnity Designs 2007
- Visual and Auditory Information Specifying an Impending Collision of an Approaching Object 2007
- A Canonical Scheme for Model Composition 2006
- A Petri Net Translation of π-Calculus Terms 2006
- An Agent Negotiation Engine for Collaborative Decision Making 2006
- Bimonadic Semantics for Basic Pattern Matching Calculi 2006
- Control-Flow Semantics for Assembly-Level Data-Flow Graphs 2006
- Edge Pricing of Multicommodity Networks for Selfish Users with Elastic Demands 2006
- Extension Morphisms for CommUnity 2006
- Feature Algebra 2006
- Finding Patterns with Variable Length Gaps or Don’t Cares 2006
- Fork Algebras as a Sufficiently Rich Universal Institution 2006
- Hierarchical Representations with Signatures for Large Expression Management 2006
- IMPS 2006
- Infinite Process Semantics of Inhibitor Nets 2006
- Inverted Files Versus Suffix Arrays for Locating Patterns in Primary Memory 2006
- Maximizing Throughput in Queueing Networks with Limited Flexibility 2006
- Merging Models with the Epsilon Merging Language (EML) 2006
- On a Parthood Specification Method for Component Software 2006
- On specification and verification of location-based fault tolerant mobile systems 2006
- Opacity Generalised to Transition Systems 2006
- Primitive Recursive Selection Functions over Abstract Algebras 2006
- Security Planning and Refactoring in Extreme Programming 2006
- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell 2006
- Synchrony and Asynchrony in Membrane Systems 2006
- The Epsilon Object Language (EOL) 2006
- Towards a Petri Net Semantics for Membrane Systems 2006
- Towards an Agile Process for Building Software Product Lines 2006
- Transition Systems of Elementary Net Systems with Localities 2006
- Using a Model Merging Language for Reconciling Model Versions 2006
- A Better Approximation Ratio for the Vertex Cover Problem 2005
- A Generalisation of a Relational Structures Model of Concurrency 2005
- A Network Model of Analogue Computation over Metric Algebras 2005
- A New Periodicity Lemma 2005
- A Simple Fast Hybrid Pattern-Matching Algorithm 2005
- A simple fast hybrid pattern-matching algorithm 2005
- Agile Security Using an Incremental Security Architecture 2005
- An Agile and Extensible Code Generation Framework 2005
- Basic Mereology with Equivalence Relations 2005
- Better approximation ratio for the vertex cover problem 2005
- Clustering Based on Principal Curve 2005
- Designing a Domain-Specific Contract Language: A Metamodelling Approach 2005
- Developing a UML Profile for Modelling Knowledge-Based Systems 2005
- Joint Spatial-Temporal Color Demosaicking 2005
- Leximancer Concept Mapping of Patient Case Studies 2005
- Local Analysis of Spatial Relationships: A Comparison of GWR and the Expansion Method 2005
- Merged Processes — A New Condensed Representation of Petri Net Behaviour 2005
- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code 2005
- Qualitative Reasoning Model for Tradeoff Analysis 2005
- Semantics of Framed Temporal Logic Programs 2005
- Signal Processing in a Nonlinear, NonGaussian, and Nonstationary World 2005
- The Efficiency of Optimal Taxes 2005
- The Epistemology of Validation and Verification Testing 2005
- Timing Tolerances in Safety-Critical Software 2005
- Towards Dynamically Communicating Abstract Machines in the B Method 2005
- XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language 2005
- A MRF based segmentatiom approach to classification using Dempster Shafer fusion for multisensor imagery 2004
- Acoustic Features for Profiling Mobile Users of Conversational Interfaces 2004
- Agile Specification-Driven Development 2004
- An Equational Calculus for Alloy 2004
- Basic Pattern Matching Calculi: a Fresh View on Matching Failure 2004
- COTS Evaluation Supported by Knowledge Bases 2004
- Calculational Relation-Algebraic Proofs in Isabelle/Isar 2004
- Formalizing Undefinedness Arising in Calculus 2004
- Hardware-Assisted 2D/3D Intensity-Based Registration for Assessing Patellar Tracking 2004
- Implementing Dynamic Aggregations of Abstract Machines in the B Method 2004
- LA, Permutations, and the Hajós Calculus 2004
- Multi-document automatic text summarization using entropy estimates 2004
- Petri Net Semantics of the Finite π-Calculus 2004
- Process Algebra 2004
- Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems 2004
- Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods 2004
- Structured Object-Z Software Specification Language 2004
- The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design 2004
- A Logical Basis for the Specification of Reconfigurable Component-Based Systems 2003
- Accuracy of a Fluoroscopy Technique for Assessing Patellar Tracking 2003
- Acoustic Target Tracking Using Tiny Wireless Sensor Devices 2003
- Armando Martin Haeberer - 4 January 1947-11 February 2003 - In memoriam 2003
- Automatic Targeting Method and Accuracy Study in Robot Assisted Needle Procedures 2003
- Branching Processes of High-Level Petri Nets 2003
- Combining Agile Practices with UML and EJB: A Case Study in Agile Development 2003
- Concurrent Object-Oriented Programs: From Specification to Code 2003
- Detection of LSB Steganography via Sample Pair Analysis 2003
- Equilibria for Networks with Malicious Users 2003
- From Dopamine to Psychosis: A Computational Approach 2003
- Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project 2003
- On the Face Lattice of the Metric Polytope 2003
- Panoramic Spherical Video — The Space Ball 2003
- Robotically Assisted Interventions: Clinical Trial for Spinal Blocks 2003
- Some institutional requirements for temporal reasoning on dynamic reconfiguration of component based systems 2003
- Taking Alloy to the Movies 2003
- Towards Dynamic Population Management of Abstract Machines in the B Method 2003
- Towards the verifying compiler 2003
- Where, exactly, is software development? 2003
- A Relation-Algebraic Approach to Graph Structure Transformation 2002
- An Algebra of Non-safe Petri Boxes 2002
- Associative Arithmetic with Boltzmann Machines: The Role of Number Representations 2002
- Canonical Prefixes of Petri Net Unfoldings 2002
- Causality Semantics of Petri Nets with Weighted Inhibitor Arcs 2002
- Convolutional Neural Networks for Radar Detection 2002
- Interpretability of First—Order Dynamic Logic in a Relational Calculus 2002
- Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations* 2002
- On a Mereological System for Relational Software Specifications 2002
- Parallelisation of the Petri Net Unfolding Algorithm 2002
- Towards a Mereological System for Direct Products and Relations 2002
- Translating Statecharts to B 2002
- Two-Pattern Strings 2002
- On Trace Assertion Method of Module Interface Specification with Concurrency 2001
- On the Skeleton of the Metric Polytope 2001
- Towards a Portable, Fast Parallel AP3M-SPH Code: HYDRA_MPI 2001
- Towards an Efficient Algorithm for Unfolding Petri Nets 2001
- Verifying Implementation Relations 2001
- iState: A Statechart Translator 2001
- A Compositional Model of Time Petri Nets 2000
- A model for describing object-oriented systems from multiple perspectives 2000
- An Infrastructure for Intertheory Reasoning 2000
- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context 2000
- LP Deadlock Checking Using Partial Order Dependencies 2000
- Motion-Based Robotic Instrument Targeting under C-Arm Fluoroscopy 2000
- On Guarded Commands with Fair Choice 2000
- Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software 2000
- Process Semantics of P/T-Nets with Inhibitor Arcs 2000
- Towards a Verification Logic for Rewriting Logic 2000
- A Comparison of the Business Object Notation and the Unified Modeling Language 1999
- A Model of Behaviour Abstraction for Communicating Processes 1999
- Approximate Periods of Strings 1999
- Beyond pretty-printing: Galley concepts in document formatting combinators 1999
- Bunches for Object-Oriented, Concurrent, and Real-Time Specification 1999
- Developing BON as an Industrial-Strength Formal Method 1999
- Developing components in the presence of re-entrance 1999
- Implementation of MPI over HTTP 1999
- The Box Algebra —; A Model of Nets and Process Expressions 1999
- A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus 1998
- A New Solution to the Hidden Copy Problem 1998
- A study of the fragile base class problem 1998
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus 1998
- Comparing extended Z with a heterogeneous notation for reasoning about time and space 1998
- Formal Methods for Component Software: The Refinement Calculus Perspective 1998
- Formalising Object-Oriented Models in the Object Calculus 1998
- Graphical design of reactive systems 1998
- Internally Typed Second-Order Term Graphs 1998
- MIS-Tutor: An ITS in Support of IS Mastery Learning 1998
- Systematising Reactive System Design 1998
- The Fragile Base Class Problem and Its Impact on Component Systems 1998
- A matrix representation of phylogenetic trees 1997
- Action-based concurrency and synchronization for objects 1997
- Algebraic graph derivations for graphical calculi 1997
- Case studies in using a meta-method for formal method integration 1997
- Class refinement and interface refinement in object-oriented programs 1997
- Integration of sequential scenarios 1997
- Objects, associations and subsystems: A hierarchical approach to encapsulation 1997
- Software engineering - Old problems, new problems, and unsolved problems 1997
- What we teach sofware engineers in the university: Do we take engineering seriously? 1997
- What we teach sofware engineers in the university: Do we take engineering seriously? 1997
- IMPS: An updated system description 1996
- On skeletons, diameters and volumes of metric polyhedra 1996
- Security for mobile agents: Authentication and state appraisal 1996
- A refined view of the box algebra 1995
- Driven cellular automata, adaptation and the binding problem 1995
- Population evolution in a single peak fitness landscape how high are the clouds? 1995
- Solving recursive net equations 1995
- Thermodynamics of RNA folding. When is an RNA molecule in equilibrium? 1995
- Deriving histories of nets with priority relation 1994
- Matching with matrix norm minimization 1994
- Operational Semantics for the Petri Box Calculus 1994
- Partial order semantics of Box expressions 1994
- Projection in temporal logic programming 1994
- Proof script pragmatics in IMPS 1994
- Sometimes “Tomorrow” is “Sometime” 1994
- Stepwise refinement of control software — A case study using RAISE 1994
- Theory interpretation in simple type theory 1994
- A calculus for predicative programming 1993
- Modelling replicated processing 1993
- Order structures and generalisations of Szpilrajn's theorem 1993
- Reasoning with contexts 1993
- From regular expressions to DFA's using compressed NFA's 1992
- Theory of computation over stream algebras, and its applications 1992
- Invariant semantics of nets with inhibitor arcs 1991
- Invariants and paradigms of concurrency theory 1991
- IMPS : An interactive mathematical proof system 1990
- Provable computable functions on abstract data types 1990
- The prescription and description of state based systems 1989
- A top-down step-wise refinement methodology for protocol specification 1988
- Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltalk-80 Language 1987
- Two way channel with disconnect 1985
- A communication data type for message oriented programming 1980
- An algebraic structure of petri nets 1980
- Design and analysis of highly parallel and distributed systems 1980
- On atomic nets and concurrency relations 1980
- Specification of highly parallel and distributed resource management 1980
- Verifying concurrent system specifications in COSY 1980
- A characterization of concurrency-like relations 1979
- A formal semantics for concurrent systems 1979
- On the abstract specification and formal analysis of synchronization properties of concurrent systems 1979
- Synthesis of concurrent schemes 1978
- Vectors of coroutines over blikle nets 1977
- Vectors of coroutines 1976
- Parallel rewriting systems on terms 1974