Lecture Notes in Computer Science
Journal

 Overview

 Identity

 View All

Overview
publication venue for

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

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

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

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

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

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

Authorship analysis in cybercrime investigation.
2665:5973.
2003

Consistent and efficient density estimation.
2667:388397.
2003

On Optimality of Context Modeling for BitPlane Entropy Coding in the JPEG2000 Standard.
2849:208216.
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

MODELING 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

An O(nlogn) cost parallel algorithm for the single function coarsest partition problem.
269:7076.
1987

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

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

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

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

Engineering Bidirectional Transformations
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

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

A Comparison of Rule Inheritance in ModeltoModel 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 ToolSupported Graphical Notation for Timed CSP
2002

Metamodelling and Conformance Checking with PVS
2001

A metamethod for formal method integration
1997

Tracking Computability of GPACGenerable Functions
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

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

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 RelationAlgebraic Proofs in the Teaching Tool CalcCheck
2018

Dynamic Control of Running Servers
2018

Maximizing Throughput in ZeroBuffer 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 OvertheAir Updates
2018

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

Defense in Depth Formulation and Usage in Dynamic Access Control
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

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

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 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 RelationAlgebraic Order Theory in Ordered Categories without Meets
2015

Modeling Product Lines with Kripke Structures and Modal Logic
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

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

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

Finitary fairness in action systems
2013

Generic algorithms for factoring strings
2013

A Categorical Approach to Structuring and Promoting Z Specifications
2013

A Generic Algebraic Model for the Analysis of CryptographicKey Assignment Schemes
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

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

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

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 FirstOrder Deontic Action Logic
2012

Verification Rules for Exception Handling in Eiffel
2012

Verification of Aspectual Composition in FeatureModeling
2012

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

DependentlyTyped Formalisation of RelationAlgebraic 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 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

Remarks on Pairwise Comparison Numerical and Nonnumerical Rankings
2011

Software Certification: Is There a Case against Safety Cases?
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

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

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

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

Closure operators for order structures
2009

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

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

On Rough Sets with Structures and Properties
2009

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

Persistence Diagrams of Cortical Surface Data
2009

Probabilistic Failure Propagation and Transformation Analysis
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

Topological Characterization of Signal in Brain Images Using MinMax Diagrams
2009

New perspectives on the prefix array
2008

A method to find sequentially separated motifs in biological sequences (SSMBS)
2008

The epsilon generation language
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 SIMDParallel Assembly Code
2008

Constructing Models with the HumanUsable Textual Notation
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

Synthesis of Nets with Step Firing Policies
2008

The Epsilon Generation Language
2008

The Epsilon Transformation Language
2008

Towards Agile Engineering of HighIntegrity Systems
2008

Towards Efficient Verification of Systems with Dynamic Process Creation
2008

Visual and auditory information specifying an impending collision of an approaching object
2007

A Rational Reconstruction of a System for Experimental Mathematics
2007

A complete and compact propositional deontic logic
2007

Alloy Analyzer plus 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 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

A Canonical Scheme for Model Composition
2006

A Petri net translation of picalculus terms
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

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 locationbased 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 RelationAlgebraic 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

Clustering based on principal curve
2005

Joint spatialtemporal color demosaicking
2005

A Better Approximation Ratio for the Vertex Cover Problem
2005

A Network Model of Analogue Computation over Metric Algebras
2005

A New Periodicity Lemma
2005

A Simple Fast Hybrid PatternMatching Algorithm
2005

A generalisation of a relational structures model of concurrency
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

Designing a DomainSpecific Contract Language: A Metamodelling Approach
2005

Developing a UML Profile for Modelling KnowledgeBased Systems
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

Multistage 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 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 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 equational calculus for alloy
2004

Basic pattern matching calculi: a fresh view on matching failure
2004

COTS Evaluation Supported by Knowledge Bases
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

Multidocument automatic text summarization using entropy estimates
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 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

Calculational relationalgebraic proofs in Isabelle/Isar
2003

Combining agile practices with UML and EJB: A case study in agile development
2003

Concurrent objectoriented 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

Panoramic spherical video the space ball
2003

Robotically Assisted Interventions: Clinical Trial for Spinal Blocks
2003

Some enhancements in genetic learning: A case study on initial population
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

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

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

On the face lattice of the metric polytope
2002

Parallelisation of the Petri Net Unfolding Algorithm
2002

Towards a Mereological System for Direct Products and Relations
2002

Translating Statecharts to B
2002

Twopattern strings
2002

Unknown attribute values processing by metalearner
2002

Verifying implementation relations
2001

On Trace Assertion Method of Module Interface Specification with Concurrency
2001

On the Skeleton of the Metric Polytope
2001

Pre and Postprocessing in Machine Learning and Data Mining
2001

Towards a portable, fast parallel AP^{3}MSPH code: HYDRA_MPI
2001

Towards an efficient algorithm for unfolding Petri nets
2001

iState: A Statechart Translator
2001

LP deadlock checking using partial order dependencies
2000

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

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

A Model of Behaviour Abstraction for Communicating Processes
1999

A comparison of the Business Object Notation and the Unified Modeling Language
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

Implementation of MPI over HTTP
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 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

Discretization and grouping: Preprocessing steps for data mining
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

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? One academic(‘s) view of software engineering education
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 ABSTRACTDATATYPES
1990

The prescription and description of state based systems
1989

A topdown stepwise refinement methodology for protocol specification
1988

Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltalk80 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 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

Vectors of coroutines over blikle nets
1977

Vectors of coroutines
1976

Parallel rewriting systems on terms
1974
has subject area
Identity
International Standard Serial Number (ISSN)
Electronic International Standard Serial Number (EISSN)