Lecture Notes in Computer Science
Journal

 Overview

 Identity

 View All

Overview
publication venue for

Preface by EditorinChief
2022

Preface
2021

Preface by editorinchief
2021

Preface
2020

Preface
2020

Preface
2020

Preface
2020

Preface by editorinchief
2019

Preface
2018

Preface by editorinchief
2018

Preface by editorinchief
2017

Preface
2016

Preface by editorinchief
2016

Intelligent Computer Mathematics
2015

Preface
2015

FMRAILBOK 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 editorinchief
2014

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2013

Preface by editorinchief
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

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, ECMDAFA 2009, Enschede, The Netherlands, June 2326, 2009. Proceedings
2009

Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 2930, 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
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 Note 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

Computer Supported Cooperative Work in Design I  8th International Conference, CSCWD 2004, Revised Selected Papers: Preface
2005

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
2005

On NFA Reductions
2004

Preface
2001

Characterization of RE using CD grammar systems with two registers and RL rules
1997

The decidability of the generalized confluence problem for contextfree languages
1997

Preface
1991

Preface
1991

A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering
2024

Annotating Virtual Tai Chi Instruction to Improve Learning Outcomes for Older Adults
2024

Compositional Reversible Computation
2024

ConfusionTolerant Computation of Probability in Acyclic Nets
2024

Infonomics of Autonomous Digital Twins
2024

Relational Structures for Interval Order Semantics of Concurrent Systems
2024

SEArch: An Execution Infrastructure for ServiceBased Software Systems
2024

Addressing Dataset Shift for Trustworthy Deep Learning Diagnostic Ultrasound Decision Support
2023

Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs
2023

Assurance Case Arguments in the Large: The CERN LHC Machine Protection System
2023

Generative OrnsteinUhlenbeck Markets via Geometric Deep Learning
2023

Interval Traces with Mutex Relation
2023

Preventing Text Data Poisoning Attacks in Federated Machine Learning by an Encrypted Verification Key
2023

Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases
2023

SLIME: State Learning in the Middle of Everything for ToolAssisted Vulnerability Detection
2023

Digging Deeper into the State of the Practice for Domain Specific Research Software
2022

Discovery of Keys for Graphs
2022

Generating Assurance Cases Using Workflow$$^+$$ Models
2022

Optimizing Multiset Relational Algebra Queries Using WeakEquivalent Rewrite Rules
2022

Resource TimeSharing for IoT Applications with Deadlines
2022

The FaultTolerant ClusterSending Problem
2022

Unsupervised Learning of Diffeomorphic Image Registration via TransMorph
2022

Correction to: Transactions on Petri Nets and Other Models of Concurrency XV
2021

SEH: Size Estimate Hedging for SingleServer Queues
2021

Towards Certified Analysis of Software Product Line Safety Cases
2021

Augmented OutofSample Comparison Method for Time Series Forecasting Techniques
2020

Blind Trust: How Making a Device Humanoid Reduces the Impact of Functional Errors on Trust
2020

Charting Microservices to Support Services’ Developers: The Anaximander Approach
2020

General Supervised Learning as Change Propagation with Delta Lenses
2020

JointVesselNet: Joint VolumeProjection Convolutional Embedding Networks for 3D Cerebrovascular Segmentation
2020

Uncertainty, Modeling and Safety Assurance: Towards a Unified Framework
2020

Software Assurance in an Uncertain World
2019

Teaching DevOps at the Graduate Level
2019

A DeltaOriented Approach to Support the Safe Reuse of BlackBox Code Rewriters
2018

DeveloperCentric Knowledge Mining from Large OpenSource Software Repositories (CROSSMINER)
2018

Engineering Bidirectional Transformations
2018

Graph Operations and Free Graph Algebras
2018

Parallel Model Validation with Epsilon
2018

Reaction Systems, Transition Systems, and Equivalences
2018

SECTAIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction
2018

Technical Obsolescence Management Strategies for SafetyRelated Software for Airborne Systems
2018

The Invisible Maze Task (IMT): Interactive Exploration of Sparse Virtual Environments to Investigate ActionDriven Formation of Spatial Representations
2018

CASD: A Framework for Context Aware Service Discovery and Selection
2017

The Chaotic Measurement Matrix for Compressed Sensing
2015

Impact of Future Trends on Exascale Grid and Cloud Computing
2014

Sensor Data Visualisation: A CompositionBased Approach to Support Domain Variability
2014

Software Development Support for Shared Sensing Infrastructures: A Generative and Dynamic Approach
2014

A Formal Diagrammatic Approach to Compensable Workflow Modelling
2013

Concept Analysis Based Approach to Statistical Web Testing
2013

Model Management in the Wild
2013

O wl O nt DB: A Scalable Reasoning System for OWL 2 RL Ontologies with Large ABoxes
2013

Prefix Table Construction and Conversion
2013

A Commutative Model Composition Operator to Support Software Adaptation
2012

A Lightweight Approach for Managing XML Documents with MDE Languages
2012

A Plugin Based Approach for UML Model Simulation
2012

Approaches to Modelling Security Scenarios with DomainSpecific 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 DomainSpecific Modelling and Analysis
2012

Sensitivity Analysis in ModelDriven Engineering
2012

Solving Acquisition Problems Using ModelDriven Engineering
2012

T □: A Domain Specific Language for Rapid Workflow Development
2012

Using Feature Model to Build Model Transformation Chains
2012

Verifying Resource Requirements for OntologyDriven RuleBased Agents
2012

A Comparison of Rule Inheritance in ModeltoModel Transformation Languages
2011

AspectOriented Model Development at Different Levels of Abstraction
2011

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care
2011

Service–Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior
2011

The Use of Mathematics in Software Development
2011

An Automated Translator for Model Checking Time Constrained Workflow Systems
2010

Compensable WorkFlow Nets
2010

Formal Analysis in Model Management: Exploiting the Power of CZT
2010

Visualizing and Assessing a Compositional Approach of Business Process Design
2010

Workflow Design Using Fragment Composition
2010

Establishing Correspondences between Models with the Epsilon Comparison Language
2009

Code Graph Transformations for Verifiable Generation of SIMDParallel Assembly Code
2008

Nonlinear Bayesian Filters for Training Recurrent Neural Networks
2008

Tabular Expressions and Total Functional Programming
2008

Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution
2008

Erratum to: Challenges in Software Certification
2007

LatticeBased Paraconsistent Logic
2006

Topological Representation of Contact Lattices
2006

A Family of Mathematical Methods for Professional Software Documentation
2005

Agile Formal Method Engineering
2005

A Calculus of Typed Relations
2004

Software Inspections We Can Trust
2004

Adaptive Negotiation for Agent Based Distributed Manufacturing Scheduling
2003

Constraint Preserving XML Updating
2003

In Memoriam Armando Martín Haeberer
2003

Index Selection for Efficient XML Path Expression Processing
2003

The Design of a ToolSupported Graphical Notation for Timed CSP
2002

Metamodelling and Conformance Checking with PVS
2001

Robotic Kidney and Spine Percutaneous Procedures Using a New LaserBased CT Registration Method
2001

Software Documentation and the Verification Process
2001

A SchemaBased Approach to Specifying Conversation Policies
2000

Invited Talk: A Software Engineering Program of Lasting Value (Abstract)
2000

Invited Talk: Making Mathematical Methods More Practical for Software Developers (Abstract)
2000

An Easily Extensible Toolset for Tabular Mathematical Expressions
1999

Implementation of MPI over HTTP
1999

Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
1998

Petri nets, process algebras and concurrent programming languages
1998

A metamethod for formal method integration
1997

Software Engineering: An unconsummated marriage (extended abstract)
1997

Languagefree mathematical methods for software design extended abstract
1995

Modula3
1995

On objectoriented design and verification
1995

Raise
1995

Teaching programming as engineering
1995

The future of industrial formal methods
1995

Operational semantics for the Petri Box Calculus
1994

Some theorems we should prove
1994

A formal approach to computer systems requirements documentation
1993

Invariants and Paradigms of Concurrency Theory
1991

Deformable CrossAttention Transformer for Medical Image Registration
2024

VWords, Lyndon Words and Substring circUMFFs
2024

A Dynamic Temporal Logic for Quality of Service in Choreographic Models
2023

Assurance Cases for Timing Properties of Automotive TSN Networks
2023

Formalizing and Reasoning About Supply Chain Contracts Between Agents
2023

Hierarchical Vision Transformers for Disease Progression Detection in Chest XRay Images
2023

Measuring the Interaction of ConflictMinimizing and GoalSeeking Motor Imperatives in Autism Spectrum Disorder
2023

A Case Study in the Automated Translation of BSV Hardware to PVS Formal Logic with Subsequent Verification
2022

Avoiding Exponential Explosion in Petri Net Models of Control Flows
2022

CheXRelNet: An AnatomyAware Model for Tracking Longitudinal Relationships Between Chest XRays
2022

DISEL: A Language for Specifying DISBased Ontologies
2022

FewShot ClassIncremental Learning via EntropyRegularized DataFree Replay
2022

Mining MinorityClass Examples with Uncertainty Estimates
2022

Patient and VentilatorSpecific Modeling to Drive the Use and Development of 3D Printed Devices for Rapid Ventilator Splitting During the COVID19 Pandemic
2022

An Architecture for the Development of Distributed Analytics Based on Polystore Events
2021

Designing a DementiaInformed, Accessible, Colocated Gaming Platform for Diverse Older Adults with Dementia, Family and Carers
2021

Graph Neural Networks for Soft SemiSupervised Learning on Hypergraphs
2021

Reasoning About Trustworthiness in CyberPhysical Systems Using OntologyBased Representation and ASP
2021

Use of Frequency Domain for Complexity Reduction of Convolutional Neural Networks
2021

AIM 2020 Challenge on Learned Image Signal Processing Pipeline
2020

AWNet: Attentive Wavelet Network for Image ISP
2020

ArchiveSafe: MassLeakageResistant Storage from ProofofWork
2020

Integrating Topological Proofs with Model Checking to Instrument Iterative Design
2020

Quality of Service Ranking by Quantifying Partial Compliance of Requirements
2020

Systematic Evaluation of (Safety) Assurance Cases
2020

Tracking Computability of GPACGenerable Functions
2020

Use of Virtual Reality Technology for CANDU 6 Reactor Fuel Channel Operation Training
2020

Using AIEnhanced 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 Codesign in Later Life
2020

A CostEfficient Multicloud Orchestrator for Benchmarking Containerized WebApplications
2019

A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs
2019

Applications of VOrder: Suffix Arrays, the BurrowsWheeler Transform & the FMindex
2019

Automatic QualityofService Evaluation in ServiceOriented Computing
2019

Blind Quality Assessment of Multiply Distorted Images Using Deep Neural Networks
2019

Capturing the Adoption Intention and Interest in InOvUS an Intelligent Oven: Segmenting Senior Users to Evaluate the Technology
2019

Employing Interdisciplinary Approaches in Designing with Fragile Older Adults; Advancing ABLE for ArtsBased Rehabilitative Play and Complex Learning
2019

Finite Limits and Antiunification 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

Risk Taking Behavior in Crowdsourcing Adoption: The Case of Witkey
2019

SL2SF: Refactoring Simulink to Stateflow
2019

Teaching Concurrency with the Disappearing Formal Method
2019

Teaching devops at the graduate level: A report from polytech nice sophia
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

Automatic Transformation Coevolution Using Traceability Models and Graph Transformation
2018

Boosting the Reuse of Formal Specifications
2018

CalcCheck: A Proof Checker for Teaching the “Logical Approach to Discrete Math”
2018

Calculational RelationAlgebraic Proofs in the Teaching Tool CalcCheck
2018

Dynamic Control of Running Servers
2018

FirstOrder Definable CountingOnly Queries
2018

From Symmetric PatternMatching to Quantum Control
2018

MMINTA: A Tool for Automated Change Impact Assessment on Assurance Cases
2018

Maximizing Throughput in ZeroBuffer Tandem Lines with Constrained Flexible Servers
2018

Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains
2018

Multirobot LTL Planning Under Uncertainty
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 OvertheAir Updates
2018

SearchBased Temporal Testing in an Embedded Multicore Platform
2018

Supporting VerificationDriven Incremental Distributed Design of Components
2018

The Power of Tarski’s Relation Algebra on Trees
2018

Toward Product Lines of Mathematical Models for Software Model Management
2018

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus
2018

Two Decades of Assurance Case Tools: A Survey
2018

A braincomputer interface based on abstract visual and auditory imagery: Evidence for an effect of artistic training
2017

A Framework for Multiview 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

Efficient Consistency Checking of Interrelated Models
2017

From Model Checking to a Temporal Proof for Partial Models
2017

Integrating Goal Model Analysis with Iterative Design
2017

Proof of Concept Evaluation for an Intelligent Oven
2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved ModelBased Approach
2017

SearchandFetch with One Robot on a Disk
2017

Theory Morphisms in Church’s Type Theory with Quotation and Evaluation
2017

Traceability Mappings as a Fundamental Instrument in Model Transformations
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

A Novel Adaptive Negotiation Strategy for Agricultural Supply Chain Centered on Third Party Logistics
2016

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling
2016

Almost Perfect Privacy for Additive Gaussian Privacy Filters
2016

An Exploratory Framework Assessing Intrinsic and Extrinsic Motivators Related to Mobile Device Applications and Attributes for the Canadian Seniors
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

Dealing with Incompleteness in AutomataBased Model Checking
2016

Formal Availability Analysis Using Theorem Proving
2016

Formal Translation of IEC 611313 Function Block Diagrams to PVS with Nuclear Application
2016

Incremental Consistency Checking of Heterogeneous Multimodels
2016

Monotone Simultaneous Embeddings of Paths in d Dimensions
2016

On Approximation of Relations by Generalized Closures and Generalized Kernels
2016

On Optimal Approximations of Arbitrary Relations by Partial Orders
2016

Pervasive Mobile Services for Active Aging: An Exploratory Investigation into the Relationship Between WillingnesstoAdopt Mobile Devices and Shopping Experience
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

StressTesting Centralised Model Stores
2016

Stupid Tool Tricks for Smart Model Based Design
2016

Synthesis of Petri Nets with WholePlace 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

UserCentered Requirements Analysis and Design Solutions for Chronic Disease Selfmanagement
2016

Using STPA in an ISO 26262 Compliant Process
2016

A ControlTheoretic Approach to Selfadaptive Systems and an Application to CloudBased Software
2015

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

Effects of the Use of Points, Leaderboards and Badges on InGame Purchases of Virtual Goods
2015

Fast and Simple Computations Using Prefix Tables Under Hamming and Edit Distance
2015

Formalizing the Cardiac Pacemaker Resynchronization Therapy
2015

Handling Interobject Occlusion for Multiobject Tracking Based on Attraction Force Constraint
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 RelationAlgebraic 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

Nonatomic Transition Firing in Contextual Nets
2015

Nonrepetitive 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 28October 1, 2015 Proceedings
2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements
2015

The Semantics of CardinalityBased 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 ModelDriven Engineering
2015

What Is a Derived Signature Morphism?
2015

syntMaskFT: A Tool for Synthesizing Masking FaultTolerant Programs from Deontic Specifications
2015

A Framework to Benchmark NoSQL Data Stores for LargeScale Model Persistence
2014

A Heterogeneous Characterisation of ComponentBased 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 IntervalBased Temporal Logic
2014

Categories of Coalgebras with Monadic Homomorphisms
2014

Combining Static and Dynamic Impact Analysis for LargeScale 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

Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model
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 VOrder
2014

Tissue Systems and Petri Net Synthesis
2014

Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization
2014

Transactions on Petri Nets and Other Models of Concurrency IX
2014

Understanding the Factors That Influence the Perceived Severity of Cyberbullying
2014

What IS a BoK? Large – Extended Abstract –
2014

OwlOntDB: A scalable reasoning system for OWL 2 RL ontologies with large ABoxes
2013

A Categorical Approach to Structuring and Promoting Z Specifications
2013

A Generic Algebraic Model for the Analysis of CryptographicKey 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 FaultTolerant Systems by Means of Simulation Relations
2013

Circuit Complexity of Shuffle
2013

Finitary Fairness in Action Systems
2013

Generic Algorithms for Factoring Strings
2013

Isomorphic Interpreters from Logically Reversible Abstract Machines
2013

MappingAware Megamodeling: Design Patterns and Laws
2013

Metamodelling for Grammarware Researchers
2013

On Representing Graphs by Touching Cuboids
2013

Optimal Approximations with Rough Sets
2013

Partial Instances via Subclassing
2013

PhonAge: Adapted SmartPhone for Aging Population
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 FaultTolerant Systems from Deontic Specifications
2013

Towards Quantitative Analysis of Opacity
2013

Using Reputation Instead of Tolls in Repeated Selfish Routing with Incomplete Information
2013

T □: A domain specific language for rapid workflow development
2012

A Mobile Robotic Platform for Generating Radiation Maps
2012

A Nonparametric Bayesian Approach for Opportunistic Data Transfer in Cellular Networks
2012

An EventB 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

EnergyEfficient Robust Coverage under Uncertainty in Wireless Sensor Networks
2012

Influence Spread in LargeScale Social Networks – A Belief Propagation Approach
2012

Intermodeling, Queries, and Kleisli Categories
2012

Lazy v. Yield: Incremental, Linear PrettyPrinting
2012

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications
2012

Minimal Reaction Systems
2012

Model Checking Workflow Monitors and Its Application to a Pain Management Process
2012

Modeling Interval Order Structures with Partially Commutative Monoids
2012

Modelling Provenance Using Structured Occurrence Networks
2012

NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery
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 FirstOrder Deontic Action Logic
2012

Verification Rules for Exception Handling in Eiffel
2012

Verification of Aspectual Composition in FeatureModeling
2012

Who Are We, and What Are We Doing Here?
2012

The use of mathematics in software development (extended abstract)
2011

A Tabular Expression Toolbox for Matlab/Simulink
2011

A dStep 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

Correctness of Model Synchronization Based on Triple Graph Grammars
2011

DependentlyTyped Formalisation of RelationAlgebraic Abstractions
2011

EUnit: A Unit Testing Framework for Model Management Tasks
2011

From State to DeltaBased Bidirectional Model Transformations: The Symmetric Case
2011

Generic Expression Hardness Results for Primitive Positive Formula Comparison
2011

Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to ModelDriven 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

Model Synchronization: Mappings, Tiles, and Categories
2011

Remarks on Pairwise Comparison Numerical and Nonnumerical Rankings
2011

Software Certification: Is There a Case against Safety Cases?
2011

Software Engineering: Multiperson Development of Multiversion Programs
2011

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
2011

String Comparison and LyndonLike Factorization Using VOrder in Linear Time
2011

The Application of Moodle in Computer English Teaching
2011

The Mutex Paradigm of Concurrency
2011

The Teaching Tool CalcCheck A ProofChecker 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 EssentiallyPerfect Throughput and QoS Guarantees
2011

Workflow design using fragment composition: Crisis management system design through ADORE
2010

Instrumental Rationality
2010

A Comparison of Model Migration Tools
2010

A New Algorithmic Approach for Contrast Enhancement
2010

A Reflective Approach to ModelDriven Web Engineering
2010

Amalgamating Pushout and Pullback Graph Transformation in Collagories
2010

Applying Step Coverability Trees to Communicating ComponentBased Systems
2010

Certification of SoftwareDriven 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 Noninvasive Model Decorations
2010

Curvelet entropy for facial expression recognition
2010

DELTA: A WebBased Simulation Training Environment Using JavaDEMOS
2010

DomainSpecific Metamodelling Languages for Software Language Engineering
2010

Dynamite 2.0: New Features Based on UnSATCore Extraction to Improve Verification of Software Requirements
2010

Intermodelling: From Theory to Practice
2010

Mechanized Mathematics
2010

Model Migration with Epsilon Flock
2010

On Software Certification: We Need ProductFocused 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 Multiaxis CNC: A 3CRU Decoupled Parallel Robotic Manipulator
2010

Preliminary Findings of Visualization of the Interruptible Moment
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 UserExperience Development at Enterprise Software Companies
2009

A Survey of UserExperience 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 ModelDriven 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 DomainSpecific Languages
2009

Formal Verification of the Implementability of Timing Requirements
2009

General Pseudorandom Generators from Weaker Models of Computation
2009

LPF Computation Revisited
2009

On Rough Sets with Structures and Properties
2009

On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
2009

Practical Algorithms for the Longest Common Extension Problem
2009

Probabilistic Failure Propagation and Transformation Analysis
2009

Reasoning about General Quantum Programs over Mixed States
2009

Reasoning about SystemDegradation and FaultRecovery 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 Tableaux System for Deontic Action Logic
2008

An Adaptive Agent Negotiation Framework
2008

Case Studies in Model Manipulation for Scientific Computing
2008

Code Graph Transformations for Verifiable Generation of SIMDParallel Assembly Code
2008

Constructing Models with the HumanUsable Textual Notation
2008

Designing PrivacyAware Personal Health Record Systems
2008

Determinisation of Relational Substitutions in Ordered Categories with Domain
2008

Emergency Connectivity in AdHoc Networks with Selfish Nodes
2008

Evaluation of OCL for LargeScale Modelling: A Different View of the Mondex Purse
2008

Finding minimal unsatisfiable cores of declarative specifications
2008

HighLevel Theories
2008

Interval Subroutine Library Mission
2008

Masking Faults While Providing BoundedTime 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

Studying compiler optimizations on superscalar processors through interval analysis
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 HighIntegrity Systems
2008

Towards Efficient Verification of Systems with Dynamic Process Creation
2008

Towards a Solution to the “Runs” Conjecture
2008

A Complete and Compact Propositional Deontic Logic
2007

A Rational Reconstruction of a System for Experimental Mathematics
2007

A Web ServicesBased Architecture for WideArea Protection System Design and Simulation
2007

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
2007

An AgentBased Collaborative Enterprise Modeling Environment Supporting Enterprise Process Evolution
2007

Analysis of Maximal Repetitions in Strings
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 Computation of Good Multiple Spaced Seeds
2007

Fast and Practical Algorithms for Computing All the Runs in a String
2007

Finally Tagless, Partially Evaluated
2007

Finally tagless, partially evaluated  Tagless staged interpreters for simpler typed languages
2007

Implicit transactional memory in kiloinstruction multiprocessors
2007

Selfish Routing with Oblivious Users
2007

Static and Dynamic Coalition Formation in GroupChoice 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 KnowledgeBased 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 Neural Network Model for the Estimation of TimetoCollision
2006

A Petri Net Translation of πCalculus Terms
2006

A SimulationBased Process Evaluation Approach to Enterprise Business Process Intelligence
2006

AgentBased Personal Assistance in Collaborative Design Environments
2006

An Agent Negotiation Engine for Collaborative Decision Making
2006

Bimonadic Semantics for Basic Pattern Matching Calculi
2006

ControlFlow Semantics for AssemblyLevel DataFlow Graphs
2006

Edge Pricing of Multicommodity Networks for Selfish Users with Elastic Demands
2006

Extension Morphisms for CommUnity
2006

FBD: A Function Block Designer for Distributed and Collaborative Process Planning
2006

Factor Oracles
2006

Feature Algebra
2006

Finding Patterns with Variable Length Gaps or Don’t Cares
2006

Fork Algebras as a Sufficiently Rich Universal Institution
2006

Gene Assembly Algorithms for Ciliates
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

Necklaces, Convolutions, and X + Y
2006

New Bounds on the Capacity of Multidimensional RLLConstrained Systems
2006

On Specification and Verification of LocationBased Fault Tolerant Mobile Systems
2006

On a Parthood Specification Method for Component Software
2006

Opacity Generalised to Transition Systems
2006

Package Merge in UML 2: Practice vs. Theory?
2006

Primitive Recursive Selection Functions over Abstract Algebras
2006

Research on InternetBased System Architecture for Collaborative Product Development
2006

Security Planning and Refactoring in Extreme Programming
2006

Semigroupoid Interfaces for RelationAlgebraic Programming in Haskell
2006

Synchrony and Asynchrony in Membrane Systems
2006

The Epsilon Object Language (EOL)
2006

The LempelZiv Complexity of Fixed Points of Morphisms
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

Viral Genome Compression
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 PatternMatching Algorithm
2005

A simple fast hybrid patternmatching 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 DomainSpecific Contract Language: A Metamodelling Approach
2005

Developing a UML Profile for Modelling KnowledgeBased Systems
2005

Joint SpatialTemporal Color Demosaicking
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

Multistage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code
2005

Qualitative Reasoning Model for Tradeoff Analysis
2005

Reducing the Size of NFAs by Using Equivalences and Preorders
2005

Semantic Integration in Distributed Multidisciplinary Design Optimization Environments
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

The significance of textures for affective interfaces
2005

Timing Tolerances in SafetyCritical Software
2005

Towards Dynamically Communicating Abstract Machines in the B Method
2005

XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language
2005

A Generalization of Repetition Threshold
2004

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 SpecificationDriven Development
2004

An AgentBased Eengineering Services Framework for Engineering Design and Optimization
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 RelationAlgebraic Proofs in Isabelle/Isar
2004

Formalizing Undefinedness Arising in Calculus
2004

HardwareAssisted 2D/3D IntensityBased 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

Mapping Template Heart Models to Patient Data Using Image Registration
2004

ModelDriven AgentBased Web Services IDE
2004

Petri Net Semantics of the Finite πCalculus
2004

Process Algebra
2004

RequirementsReuse Using GOPCSD: ComponentBased Development of Process Control Systems
2004

SpecificationDriven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
2004

Structured ObjectZ Software Specification Language
2004

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
2004

A High Resolution Dynamic Heart Model Based on Averaged MRI Data
2003

A Logical Basis for the Specification of Reconfigurable ComponentBased 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 194711 February 2003  In memoriam
2003

Automatic Targeting Method and Accuracy Study in Robot Assisted Needle Procedures
2003

Branching Processes of HighLevel Petri Nets
2003

Brokering Services in Cooperative Distributed Systems: PrivacyBased Model
2003

Combining Agile Practices with UML and EJB: A Case Study in Agile Development
2003

Concurrent ObjectOriented Programs: From Specification to Code
2003

CrossNets: Neuromorphic networks for nanoelectronic implementation
2003

Detection of LSB Steganography via Sample Pair Analysis
2003

Determining Epicardial Surface Motion Using Elastic Registration: Towards Virtual Reality Guidance of Minimally Invasive Cardiac Interventions
2003

Equilibria for Networks with Malicious Users
2003

Fast Algorithms for Extended Regular Expression Matching and Searching
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 RelationAlgebraic Approach to Graph Structure Transformation
2002

Algorithms for computing small NFAs
2002

An Algebra of Nonsafe 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

Constructing NFAs by Optimal Use of Positions in Regular Expressions
2002

Convolutional Neural Networks for Radar Detection
2002

Dynamic distributed resource allocation: A distributed constraint satisfaction approach
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

Repetition Complexity of Words
2002

Towards a Mereological System for Direct Products and Relations
2002

Translating Statecharts to B
2002

TwoPattern Strings
2002

Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML
2002

On Trace Assertion Method of Module Interface Specification with Concurrency
2001

On the Skeleton of the Metric Polytope
2001

QALaSIE: A Natural Language Question Answering System
2001

Small Convex Quadrangulations of Point Sets
2001

Towards a Portable, Fast Parallel AP3MSPH 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 objectoriented systems from multiple perspectives
2000

An Infrastructure for Intertheory Reasoning
2000

Compositional Structuring in the BMethod: A Logical Viewpoint of the Static Context
2000

LP Deadlock Checking Using Partial Order Dependencies
2000

MotionBased Robotic Instrument Targeting under CArm 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/TNets with Inhibitor Arcs
2000

Towards a Verification Logic for Rewriting Logic
2000

TwoVariable Word Equations
2000

Universal Arrow Foundations for Visual Modeling
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 prettyprinting: Galley concepts in document formatting combinators
1999

Bunches for ObjectOriented, Concurrent, and RealTime Specification
1999

Developing BON as an IndustrialStrength Formal Method
1999

Developing components in the presence of reentrance
1999

The Box Algebra —; A Model of Nets and Process Expressions
1999

A Logic for RealTime Systems Specification Its Algebraic Semantics and Equational Calculus
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 ObjectOriented Models in the Object Calculus
1998

Graphical design of reactive systems
1998

Internally Typed SecondOrder Term Graphs
1998

MISTutor: 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

Actionbased concurrency and synchronization for objects
1997

Algebraic graph derivations for graphical calculi
1997

Case studies in using a metamethod for formal method integration
1997

Class refinement and interface refinement in objectoriented programs
1997

Computing constrained minimumwidth annuli of point sets
1997

Conservative extensions, interpretations between theories and all that!
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

Software engineering: An unconsummated marriage
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

An action system approach to the steam boiler problem
1996

Heterogeneous view integration via sketches and equations
1996

IMPS: An updated system description
1996

Incremental convex hull algorithms are not output sensitive
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

Languagefree mathematical methods for software design extended abstract
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

Variable sets and functions framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers
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

Stepwise refinement of control software — A case study using RAISE
1994

Theory interpretation in simple type theory
1994

A calculus for predicative programming
1993

Lambda substitution algebras
1993

Modelling replicated processing
1993

On the use of theory based systems to traverse educational gaps in computer system related activities
1993

Order structures and generalisations of Szpilrajn's theorem
1993

Propositional temporal logics and their use in model checking
1993

Reasoning with contexts
1993

The propositional μcalculus and its use in model checking
1993

Trace rewriting systems
1993

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

Optimal simulations, nets and reachability graphs
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 topdown stepwise refinement methodology for protocol specification
1988

A rational design process: How and why to fake it
1985

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 concurrencylike 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

Using assertions about traces to write abstract specifications for software modules
1978

Vectors of coroutines over blikle nets
1977

Vectors of coroutines
1976

Software engineering or methods for the multiperson construction of multiversion programs
1975

Parallel rewriting systems on terms
1974

Preface by EditorinChief.
14150 LNCS:v.
2024

Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities.
14182:514.
2023

Bifurcated Autoencoder for Segmentation of COVID19 Infected Regions in CT Images.
12662 LNCS:597607.
2021

Fractional Types.
12227:169186.
2020

Leveraging the Information Contained in Theory Presentations.
12236 LNAI:5570.
2020

A New Style of Mathematical Proof.
10931:175181.
2018

Biform Theories: Project Description.
11006:7686.
2018

HOL Light QE.
10895:215234.
2018

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study.
10383:924.
2017

Data Driven Discovery of Attribute Dictionaries.
9630:6996.
2016

Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics.
9791:8398.
2016

Know When to Persist: Deriving Value from a Stream Buffer.
9778:101112.
2016

Foundations of Health Information Engineering and Systems.
8315:6.
2014

Realms: A Structure for Consolidating Knowledge about Mathematical Theories.
8543:252266.
2014

Causality in Extensions of Petri Nets.
7480 LNCS:225254.
2013

Feasible Combinatorial Matrix Theory.
8087:777788.
2013

The Formalization of SyntaxBased Mathematical Algorithms Using Quotation and Evaluation.
7961 LNAI:3550.
2013

A Timed Mobility Semantics Based on Rewriting Strategies.
7504:141155.
2012

Behavioural Equivalences over Migrating Processes with Timers.
7273:5266.
2012

Relevance of Entities in Reaction Systems.
7300:4455.
2012

Relevance of entities in reaction systems.
7300 LNAI:4455.
2012

Theory Presentation Combinators.
7362 LNAI:202215.
2012

ModelBased Deformable Registration of Preoperative 3D to Intraoperative LowResolution 3D and 2D Sequences of MR Images.
14:460467.
2011

Symbolic Domain Decomposition.
6167:172188.
2010

The Arrow Calculus as a Quantum Programming Language.
5514:379393.
2009

A Categorical Approach to Mereology and Its Application to Modelling Software Components.
5084:146174.
2008

Towards SubjectSpecific Models of the Dynamic Heart for ImageGuided Mitral Valve Surgery.
10:94101.
2007

Lecture Notes in Computer Sciences (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface.
3929 LNCS.
2006

Feasible Proofs of Matrix Properties with Csanky’s Algorithm.
3634:493508.
2005

Robotic Assisted RadioFrequency Ablation of Liver Tumors – Randomized Patient Study.
8:526533.
2005

Application of Rough Sets to Environmental Engineering Models.
3100:356374.
2004

On Optimality of Context Modeling for BitPlane Entropy Coding in the JPEG2000 Standard.
2849:208216.
2003

Optimal 2Dimensional 3Dispersion Lattices.
2643:216225.
2003

OutputSensitive Algorithms for Computing NearestNeighbour Decision Boundaries.
2748:451461.
2003

Playing with Triangulations.
2866:2237.
2003

Process semantics of temporal logic specification.
655:236253.
1993

Examples of semicomputable sets of real and complex numbers.
613:179198.
1992

FROM REGULAR EXPRESSIONS TO DFAS USING COMPRESSED NFAS.
644:90110.
1992

IMPS: System description.
607:701705.
1992

Little theories.
607:567581.
1992

Modelling systems with dynamic priorities.
609:251266.
1992

THEORY OF COMPUTATION OVER STREAM ALGEBRAS, AND ITS APPLICATIONS.
629:6280.
1992

Describing, structuring and implementing objects.
489:274310.
1991

INVARIANT SEMANTICS OF NETS WITH INHIBITOR ARCS.
527:317331.
1991

INVARIANTS AND PARADIGMS OF CONCURRENCY THEORY.
506:5974.
1991

OPTIMAL SIMULATIONS, NETS AND REACHABILITY GRAPHS.
524:205226.
1991

Redex capturing in term graph rewriting (concise version).
488:1324.
1991

Sharing actions and attributes in modal action logic.
526:569593.
1991

TAPSOFT 91  PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWAREDEVELOPMENT BRIGHTON, UK, APRIL 812, 1991  PREFACE.
493:R3R4.
1991

Using optimal simulations to reduce reachability graphs.
531:166175.
1991

MORE EFFICIENT BOTTOMUP TREE PATTERNMATCHING.
431:7286.
1990

PROVABLE COMPUTABLE FUNCTIONS ON ABSTRACTDATATYPES.
443:660673.
1990

SYMBOLIC FINITE DIFFERENCING .1..
432:3656.
1990

Toward a general theory of computation and specification over abstract data types.
468:129133.
1990

A pluralistic knowledgebased approach to software specification.
387:411423.
1989

Horn programs and semicomputable relations on abstract structures.
372:745760.
1989

PRAM algorithms for identifying polygon similarity.
401:2532.
1989

THE PRESCRIPTION AND DESCRIPTION OF STATE BASED SYSTEMS.
398:243294.
1989

Towards a theory of simulation for verification of concurrent systems.
366:7388.
1989

Adequacypreserving transformations of COSY path programs.
335:368379.
1988

On equivalent execution semantics of concurrent systems.
266:89103.
1987

Contrasting themes in the semantics of imperative concurrency.
224:51121.
1986

2WAY CHANNEL WITH DISCONNECT.
207:184198.
1985

A simple railway system.
207:271292.
1985

A theory of abstract data types for program development: Bridging the gap?.
186:214230.
1985

Large database specifications from small views.
206:246271.
1985

Maximally concurrent evolution of nonsequential systems.
197:268280.
1985

A method for developing concurrent systems.
167:155166.
1984

Compactness in semantics for merge and fair merge.
164:1833.
1984

Logical specification and implementation.
181:1330.
1984

On the MerlinRandell problem of train journeys.
167:179190.
1984

Processes and a fair semantics for the ADA rendezvous.
154:5266.
1983

A construction of concurrent systems by means of sequential solutions and concurrency relations.
107:327334.
1981

Formal behavioural specification of concurrent systems without globality assumptions.
107:115151.
1981
has subject area
Identity
International Standard Serial Number (ISSN)

03029743

16113349

18612059

29459133
Electronic International Standard Serial Number (EISSN)