Lecture Notes in Computer Science

publication venue for

Preface by Editor-in-Chief 2022
Preface 2021
Preface by editor-in-chief 2021
Preface 2020
Preface 2020
Preface 2020
Preface 2020
Preface by editor-in-chief 2019
Preface 2018
Preface by editor-in-chief 2018
Preface by editor-in-chief 2017
Preface 2016
Preface by editor-in-chief 2016
Intelligent Computer Mathematics 2015
Preface 2015
FM-RAIL-BOK organizers' message 2014
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2014
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2014
Preface by editor-in-chief 2014
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2013
Preface by editor-in-chief 2013
Intelligent Computer Mathematics 2013
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2012
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2012
Intelligent Computer Mathematics 2012
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface by guest editors 2009
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2009
Intelligent Computer Mathematics 2009
Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings 2009
Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings 2009
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2008
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2008
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Foreword 2007
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics: Preface 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 context-free languages 1997
Preface 1991
Preface 1991
AdaCLIP: Adapting CLIP with Hybrid Learnable Prompts for Zero-Shot Anomaly Detection 2025
Cocktail Universal Adversarial Attack on Deep Neural Networks 2025
Fast Point Cloud Geometry Compression with Context-Based Residual Coding and INR-Based Refinement 2025
Interpretable Deep Graph-Level Clustering: A Prototype-Based Approach 2025
On Concurrent Program Algebra and Demonic Automata 2025
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 2025
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
Can I Teach Graph Rewriting to My Chatbot? 2024
Compositional Reversible Computation 2024
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems 2024
Confusion-Tolerant 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 Service-Based 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 Tool-Assisted 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 Weak-Equivalent Rewrite Rules 2022
Resource Time-Sharing for IoT Applications with Deadlines 2022
The Fault-Tolerant Cluster-Sending 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 Single-Server Queues 2021
Towards Certified Analysis of Software Product Line Safety Cases 2021
Augmented Out-of-Sample 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 Volume-Projection 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 Delta-Oriented Approach to Support the Safe Reuse of Black-Box Code Rewriters 2018
Developer-Centric Knowledge Mining from Large Open-Source 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
SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction 2018
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems 2018
The Invisible Maze Task (IMT): Interactive Exploration of Sparse Virtual Environments to Investigate Action-Driven Formation of Spatial Representations 2018
CASD: A Framework for Context Aware Service Discovery and Selection 2017
The Chaotic Measurement Matrix for Compressed Sensing 2015
Sensor Data Visualisation: A Composition-Based 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 Plug-in Based Approach for UML Model Simulation 2012
Approaches to Modelling Security Scenarios with Domain-Specific Languages 2012
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems 2012
Modeling of Spiking Analog Neural Circuits with Hebbian Learning, Using Amorphous Semiconductor Thin Film Transistors with Silicon Oxide Nitride Semiconductor Split Gates 2012
Revealing Complexity through Domain-Specific Modelling and Analysis 2012
Sensitivity Analysis in Model-Driven Engineering 2012
Solving Acquisition Problems Using Model-Driven Engineering 2012
T □: A Domain Specific Language for Rapid Workflow Development 2012
Using Feature Model to Build Model Transformation Chains 2012
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents 2012
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages 2011
Aspect-Oriented 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 SIMD-Parallel 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
Lattice-Based 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 Tool-Supported Graphical Notation for Timed CSP 2002
Metamodelling and Conformance Checking with PVS 2001
Robotic Kidney and Spine Percutaneous Procedures Using a New Laser-Based CT Registration Method 2001
Software Documentation and the Verification Process 2001
A Schema-Based 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 meta-method for formal method integration 1997
Software Engineering: An unconsummated marriage (extended abstract) 1997
Language-free mathematical methods for software design extended abstract 1995
Modula-3 1995
On object-oriented 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 Cross-Attention Transformer for Medical Image Registration 2024
V-Words, Lyndon Words and Substring circ-UMFFs 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 X-Ray Images 2023
Measuring the Interaction of Conflict-Minimizing and Goal-Seeking 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 Anatomy-Aware Model for Tracking Longitudinal Relationships Between Chest X-Rays 2022
DISEL: A Language for Specifying DIS-Based Ontologies 2022
Few-Shot Class-Incremental Learning via Entropy-Regularized Data-Free Replay 2022
Mining Minority-Class Examples with Uncertainty Estimates 2022
Patient- and Ventilator-Specific Modeling to Drive the Use and Development of 3D Printed Devices for Rapid Ventilator Splitting During the COVID-19 Pandemic 2022
An Architecture for the Development of Distributed Analytics Based on Polystore Events 2021
Designing a Dementia-Informed, Accessible, Co-located Gaming Platform for Diverse Older Adults with Dementia, Family and Carers 2021
Graph Neural Networks for Soft Semi-Supervised Learning on Hypergraphs 2021
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based 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: Mass-Leakage-Resistant Storage from Proof-of-Work 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 GPAC-Generable Functions 2020
Use of Virtual Reality Technology for CANDU 6 Reactor Fuel Channel Operation Training 2020
Using AI-Enhanced Social Robots to Improve Children’s Healthcare Experiences 2020
Using Academic Work Places to Involve Older People in the Design of Digital Applications. Presentation of a Methodological Framework to Advance Co-design in Later Life 2020
A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications 2019
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs 2019
Applications of V-Order: Suffix Arrays, the Burrows-Wheeler Transform & the FM-index 2019
Automatic Quality-of-Service Evaluation in Service-Oriented Computing 2019
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 Arts-Based Rehabilitative Play and Complex Learning 2019
Finite Limits and Anti-unification in Substitution Categories 2019
Local Search for Attribute Reduction 2019
On Interval Semantics of Inhibitor and Activator Nets 2019
Online Voting in a First Nation in Canada: Implications for Participation and Governance 2019
Reversing Steps in Petri Nets 2019
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 Co-evolution 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 Relation-Algebraic Proofs in the Teaching Tool CalcCheck 2018
Dynamic Control of Running Servers 2018
First-Order Definable Counting-Only Queries 2018
From Symmetric Pattern-Matching to Quantum Control 2018
MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Cases 2018
Maximizing Throughput in Zero-Buffer Tandem Lines with Constrained Flexible Servers 2018
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains 2018
Multi-robot 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 Over-the-Air Updates 2018
Search-Based Temporal Testing in an Embedded Multicore Platform 2018
Supporting Verification-Driven 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 brain-computer interface based on abstract visual and auditory imagery: Evidence for an effect of artistic training 2017
A Framework for Multi-view Reconciliation and for Medical Devices Personalization 2017
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras 2017
Blockchain Enabled Privacy Audit Logs 2017
Defense in Depth Formulation and Usage in Dynamic Access Control 2017
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 Model-Based Approach 2017
Search-and-Fetch with One Robot on a Disk 2017
Theory Morphisms in Church’s Type Theory with Quotation and Evaluation 2017
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 Automata-Based Model Checking 2016
Formal Availability Analysis Using Theorem Proving 2016
Formal Translation of IEC 61131-3 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 Willingness-to-Adopt 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
Stress-Testing Centralised Model Stores 2016
Stupid Tool Tricks for Smart Model Based Design 2016
Synthesis of Petri Nets with Whole-Place Operations and Localities 2016
The Interchange Format of Tabular Expressions Using XML 2016
Towards Platform Independent Database Modelling in Enterprise Systems 2016
Towards Quantitative Verification of Reaction Systems 2016
User-Centered Requirements Analysis and Design Solutions for Chronic Disease Self-management 2016
Using STPA in an ISO 26262 Compliant Process 2016
A Control-Theoretic Approach to Self-adaptive Systems and an Application to Cloud-Based 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 In-Game 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 Inter-object Occlusion for Multi-object 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 Relation-Algebraic Order Theory in Ordered Categories without Meets 2015
Modeling Product Lines with Kripke Structures and Modal Logic 2015
Non-atomic Transition Firing in Contextual Nets 2015
Non-repetitive Strings over Alphabet Lists 2015
On Interval Process Semantics of Petri Nets with Inhibitor Arcs 2015
Order Structures for Subclasses of Generalised Traces 2015
Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015 Proceedings 2015
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements 2015
The Semantics of Cardinality-Based Feature Models via Formal Languages 2015
Towards a Unified Framework for Data Cleaning and Data Privacy 2015
Transactions on Petri Nets and Other Models of Concurrency X 2015
Type Inference in Flexible Model-Driven Engineering 2015
What Is a Derived Signature Morphism? 2015
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications 2015
A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence 2014
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting 2014
A Mechanised Abstract Formalisation of Concept Lattices 2014
A separation principle for embedded system interfacing 2014
An Evaluation Template for Expert Review of Maturity Models 2014
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic 2014
Categories of Coalgebras with Monadic Homomorphisms 2014
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems 2014
Endowing Concurrent Kleene Algebra with Communication Actions 2014
Envisioning a Requirements Specification Template for Medical Device Software 2014
Formalizing the Glucose Homeostasis Mechanism 2014
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 V-Order 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 Cyber-bullying 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 Cryptographic-Key Assignment Schemes 2013
A Privacy Framework for the Personal Web 2013
A Taxonomy of Persistent and Nonviolent Steps 2013
Adding Spreadsheets to the MDE Toolkit 2013
Assignment Calculus: A Pure Imperative Language 2013
Characterizing Fault-Tolerant Systems by Means of Simulation Relations 2013
Circuit Complexity of Shuffle 2013
Finitary Fairness in Action Systems 2013
Generic Algorithms for Factoring Strings 2013
Isomorphic Interpreters from Logically Reversible Abstract Machines 2013
Mapping-Aware 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 Fault-Tolerant Systems from Deontic Specifications 2013
Towards Quantitative Analysis of Opacity 2013
Using Reputation Instead of Tolls in Repeated Selfish Routing with Incomplete Information 2013
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 Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump 2012
Constructing Physically Realistic VCV Stimuli for the Perception of Stop Voicing in European Portuguese 2012
Energy-Efficient Robust Coverage under Uncertainty in Wireless Sensor Networks 2012
Influence Spread in Large-Scale Social Networks – A Belief Propagation Approach 2012
Intermodeling, Queries, and Kleisli Categories 2012
Lazy v. Yield: Incremental, Linear Pretty-Printing 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 First-Order Deontic Action Logic 2012
Verification Rules for Exception Handling in Eiffel 2012
Verification of Aspectual Composition in Feature-Modeling 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 d-Step Approach for Distinct Squares in Strings 2011
Approximations of Arbitrary Binary Relations by Partial Orders: Classical and Rough Set Models 2011
Causality in Structured Occurrence Nets 2011
Correctness of Model Synchronization Based on Triple Graph Grammars 2011
Dependently-Typed Formalisation of Relation-Algebraic Abstractions 2011
EUnit: A Unit Testing Framework for Model Management Tasks 2011
From State- to Delta-Based 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 Model-Driven Engineering Metamodels 2011
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods 2011
Integrated Model Management with Epsilon 2011
MathScheme: Project Description 2011
Model Synchronization: Mappings, Tiles, and Categories 2011
Remarks on Pairwise Comparison Numerical and Non-numerical Rankings 2011
Software Certification: Is There a Case against Safety Cases? 2011
Software Engineering: Multi-person Development of Multi-version Programs 2011
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking 2011
String Comparison and Lyndon-Like Factorization Using V-Order in Linear Time 2011
The Application of Moodle in Computer English Teaching 2011
The Mutex Paradigm of Concurrency 2011
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” 2011
Timed Migration and Interaction with Access Permissions 2011
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 Model-Driven Web Engineering 2010
Amalgamating Pushout and Pullback Graph Transformation in Collagories 2010
Applying Step Coverability Trees to Communicating Component-Based Systems 2010
Certification of Software-Driven Medical Devices 2010
Characterizing Locality (Encapsulation) with Bisimulation 2010
Complete Calculi for Structured Specifications in Fork Algebra 2010
Concordance: A Framework for Managing Model Integrity 2010
Constructing and Navigating Non-invasive Model Decorations 2010
Curvelet entropy for facial expression recognition 2010
DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS 2010
Domain-Specific Metamodelling Languages for Software Language Engineering 2010
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements 2010
Inter-modelling: From Theory to Practice 2010
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results 2010
Mechanized Mathematics 2010
Model Migration with Epsilon Flock 2010
On Software Certification: We Need Product-Focused Approaches 2010
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users 2010
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models 2010
Petri Nets with Localities and Testing 2010
Portable Multi-axis CNC: A 3-CRU Decoupled Parallel Robotic Manipulator 2010
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 User-Experience Development at Enterprise Software Companies 2009
A Survey of User-Experience Development at Enterprise Software Companies 2009
Abstracting Complex Languages through Transformation and Composition 2009
An FPTAS for the Minimum Total Weighted Tardiness Problem with a Fixed Number of Distinct Due Dates 2009
Analysis of Human Gait Bilateral Symmetry for Functional Assessment after an Orthopaedic Surgery 2009
Closure Operators for Order Structures 2009
Closure Operators for Order Structures 2009
Collagories for Relational Adhesive Rewriting 2009
Content Personalization for Inclusive Education through Model-Driven Engineering 2009
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy 2009
Engineering a DSL for Software Traceability 2009
FPTC: Automated Safety Analysis for Domain-Specific Languages 2009
Formal Verification of the Implementability of Timing Requirements 2009
General Pseudo-random Generators from Weaker Models of Computation 2009
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 System-Degradation and Fault-Recovery with Deontic Logic 2009
Specifying and Verifying Business Processes Using PPML 2009
The Grand Challenge of Scalability for Model Driven Engineering 2009
New perspectives on the prefix array 2008
A 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 SIMD-Parallel Assembly Code 2008
Constructing Models with the Human-Usable Textual Notation 2008
Designing Privacy-Aware Personal Health Record Systems 2008
Determinisation of Relational Substitutions in Ordered Categories with Domain 2008
Emergency Connectivity in Ad-Hoc Networks with Selfish Nodes 2008
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse 2008
Finding minimal unsatisfiable cores of declarative specifications 2008
High-Level Theories 2008
Interval Subroutine Library Mission 2008
Masking Faults While Providing Bounded-Time Phased Recovery 2008
Modelling Concurrency with Quotient Monoids 2008
Modelling and Verification of Timed Interaction and Migration 2008
New Perspectives on the Prefix Array 2008
Nonlinear Bayesian Filters for Training Recurrent Neural Networks 2008
Proofs and refutations for probabilistic refinement 2008
Ranking with Partial Orders and Pairwise Comparisons 2008
Recent Results on the Algebraic Approach to the CSP 2008
Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders 2008
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 High-Integrity 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 Services-Based Architecture for Wide-Area Protection System Design and Simulation 2007
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications 2007
An Agent-Based 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 kilo-instruction multiprocessors 2007
Selfish Routing with Oblivious Users 2007
Static and Dynamic Coalition Formation in Group-Choice Decision Making 2007
Synthesis of Elementary Net Systems with Context Arcs and Localities 2007
The View Glue 2007
Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems 2007
Verifying Temporal Properties of CommUnity Designs 2007
Visual and Auditory Information Specifying an Impending Collision of an Approaching Object 2007
A Canonical Scheme for Model Composition 2006
A Neural Network Model for the Estimation of Time-to-Collision 2006
A Petri Net Translation of π-Calculus Terms 2006
A Simulation-Based Process Evaluation Approach to Enterprise Business Process Intelligence 2006
Agent-Based Personal Assistance in Collaborative Design Environments 2006
An Agent Negotiation Engine for Collaborative Decision Making 2006
Bimonadic Semantics for Basic Pattern Matching Calculi 2006
Control-Flow Semantics for Assembly-Level Data-Flow Graphs 2006
Edge Pricing of Multicommodity Networks for Selfish Users with Elastic Demands 2006
Extension Morphisms for CommUnity 2006
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 Multi-dimensional RLL-Constrained Systems 2006
On Specification and Verification of Location-Based 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 Internet-Based System Architecture for Collaborative Product Development 2006
Security Planning and Refactoring in Extreme Programming 2006
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell 2006
Synchrony and Asynchrony in Membrane Systems 2006
The Epsilon Object Language (EOL) 2006
The Lempel-Ziv 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 Pattern-Matching Algorithm 2005
A simple fast hybrid pattern-matching algorithm 2005
Agile Security Using an Incremental Security Architecture 2005
An Agile and Extensible Code Generation Framework 2005
Basic Mereology with Equivalence Relations 2005
Better approximation ratio for the vertex cover problem 2005
Clustering Based on Principal Curve 2005
Designing a Domain-Specific Contract Language: A Metamodelling Approach 2005
Developing a UML Profile for Modelling Knowledge-Based Systems 2005
Joint Spatial-Temporal Color Demosaicking 2005
Local Analysis of Spatial Relationships: A Comparison of GWR and the Expansion Method 2005
Merged Processes — A New Condensed Representation of Petri Net Behaviour 2005
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code 2005
Qualitative Reasoning Model for Tradeoff Analysis 2005
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 Safety-Critical Software 2005
Towards Dynamically Communicating Abstract Machines in the B Method 2005
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language 2005
A 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 Specification-Driven Development 2004
An Agent-Based E-engineering 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 Relation-Algebraic Proofs in Isabelle/Isar 2004
Formalizing Undefinedness Arising in Calculus 2004
Hardware-Assisted 2D/3D Intensity-Based Registration for Assessing Patellar Tracking 2004
Implementing Dynamic Aggregations of Abstract Machines in the B Method 2004
LA, Permutations, and the Hajós Calculus 2004
Mapping Template Heart Models to Patient Data Using Image Registration 2004
Model-Driven Agent-Based Web Services IDE 2004
Petri Net Semantics of the Finite π-Calculus 2004
Process Algebra 2004
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems 2004
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods 2004
Structured Object-Z Software Specification Language 2004
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design 2004
A High Resolution Dynamic Heart Model Based on Averaged MRI Data 2003
A Logical Basis for the Specification of Reconfigurable Component-Based Systems 2003
Accuracy of a Fluoroscopy Technique for Assessing Patellar Tracking 2003
Acoustic Target Tracking Using Tiny Wireless Sensor Devices 2003
Armando Martin Haeberer - 4 January 1947-11 February 2003 - In memoriam 2003
Automatic Targeting Method and Accuracy Study in Robot Assisted Needle Procedures 2003
Branching Processes of High-Level Petri Nets 2003
Brokering Services in Cooperative Distributed Systems: Privacy-Based Model 2003
Combining Agile Practices with UML and EJB: A Case Study in Agile Development 2003
Concurrent Object-Oriented 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 Relation-Algebraic Approach to Graph Structure Transformation 2002
Algorithms for computing small NFAs 2002
An Algebra of Non-safe Petri Boxes 2002
Associative Arithmetic with Boltzmann Machines: The Role of Number Representations 2002
Canonical Prefixes of Petri Net Unfoldings 2002
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs 2002
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
Two-Pattern 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
QA-LaSIE: A Natural Language Question Answering System 2001
Small Convex Quadrangulations of Point Sets 2001
Towards a Portable, Fast Parallel AP3M-SPH Code: HYDRA_MPI 2001
Towards an Efficient Algorithm for Unfolding Petri Nets 2001
Verifying Implementation Relations 2001
iState: A Statechart Translator 2001
A Compositional Model of Time Petri Nets 2000
A model for describing object-oriented systems from multiple perspectives 2000
An Infrastructure for Intertheory Reasoning 2000
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context 2000
LP Deadlock Checking Using Partial Order Dependencies 2000
Motion-Based Robotic Instrument Targeting under C-Arm Fluoroscopy 2000
On Guarded Commands with Fair Choice 2000
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software 2000
Process Semantics of P/T-Nets with Inhibitor Arcs 2000
Towards a Verification Logic for Rewriting Logic 2000
Two-Variable 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 pretty-printing: Galley concepts in document formatting combinators 1999
Bunches for Object-Oriented, Concurrent, and Real-Time Specification 1999
Developing BON as an Industrial-Strength Formal Method 1999
Developing components in the presence of re-entrance 1999
The Box Algebra —; A Model of Nets and Process Expressions 1999
A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus 1998
A study of the fragile base class problem 1998
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus 1998
Comparing extended Z with a heterogeneous notation for reasoning about time and space 1998
Formal Methods for Component Software: The Refinement Calculus Perspective 1998
Formalising Object-Oriented Models in the Object Calculus 1998
Graphical design of reactive systems 1998
Internally Typed Second-Order Term Graphs 1998
MIS-Tutor: An ITS in Support of IS Mastery Learning 1998
Systematising Reactive System Design 1998
The Fragile Base Class Problem and Its Impact on Component Systems 1998
A matrix representation of phylogenetic trees 1997
Action-based concurrency and synchronization for objects 1997
Algebraic graph derivations for graphical calculi 1997
Case studies in using a meta-method for formal method integration 1997
Class refinement and interface refinement in object-oriented programs 1997
Computing constrained minimum-width 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
Language-free 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 top-down step-wise 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 concurrency-like relations 1979
A formal semantics for concurrent systems 1979
On the abstract specification and formal analysis of synchronization properties of concurrent systems 1979
Synthesis of concurrent schemes 1978
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 multi-person construction of multi-version programs 1975
Parallel rewriting systems on terms 1974
Preface by Editor-in-Chief. 14150 LNCS:v. 2024
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities. 14182:5-14. 2023
Bifurcated Autoencoder for Segmentation of COVID-19 Infected Regions in CT Images. 12662 LNCS:597-607. 2021
Fractional Types. 12227:169-186. 2020
Leveraging the Information Contained in Theory Presentations. 12236 LNAI:55-70. 2020
A New Style of Mathematical Proof. 10931:175-181. 2018
Biform Theories: Project Description. 11006:76-86. 2018
HOL Light QE. 10895:215-234. 2018
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. 10383:9-24. 2017
Data Driven Discovery of Attribute Dictionaries. 9630:69-96. 2016
Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics. 9791:83-98. 2016
Know When to Persist: Deriving Value from a Stream Buffer. 9778:101-112. 2016
Foundations of Health Information Engineering and Systems. 8315:6. 2014
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. 8543:252-266. 2014
Causality in Extensions of Petri Nets. 7480 LNCS:225-254. 2013
Feasible Combinatorial Matrix Theory. 8087:777-788. 2013
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation. 7961 LNAI:35-50. 2013
A Timed Mobility Semantics Based on Rewriting Strategies. 7504:141-155. 2012
Behavioural Equivalences over Migrating Processes with Timers. 7273:52-66. 2012
Relevance of Entities in Reaction Systems. 7300:44-55. 2012
Relevance of entities in reaction systems. 7300 LNAI:44-55. 2012
Theory Presentation Combinators. 7362 LNAI:202-215. 2012
Model-Based Deformable Registration of Preoperative 3D to Intraoperative Low-Resolution 3D and 2D Sequences of MR Images. 14:460-467. 2011
Symbolic Domain Decomposition. 6167:172-188. 2010
The Arrow Calculus as a Quantum Programming Language. 5514:379-393. 2009
A Categorical Approach to Mereology and Its Application to Modelling Software Components. 5084:146-174. 2008
Towards Subject-Specific Models of the Dynamic Heart for Image-Guided Mitral Valve Surgery. 10:94-101. 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:493-508. 2005
Robotic Assisted Radio-Frequency Ablation of Liver Tumors – Randomized Patient Study. 8:526-533. 2005
Application of Rough Sets to Environmental Engineering Models. 3100:356-374. 2004
On Optimality of Context Modeling for Bit-Plane Entropy Coding in the JPEG2000 Standard. 2849:208-216. 2003
Optimal 2-Dimensional 3-Dispersion Lattices. 2643:216-225. 2003
Output-Sensitive Algorithms for Computing Nearest-Neighbour Decision Boundaries. 2748:451-461. 2003
Playing with Triangulations. 2866:22-37. 2003
Process semantics of temporal logic specification. 655:236-253. 1993
Examples of semicomputable sets of real and complex numbers. 613:179-198. 1992
FROM REGULAR EXPRESSIONS TO DFAS USING COMPRESSED NFAS. 644:90-110. 1992
IMPS: System description. 607:701-705. 1992
Little theories. 607:567-581. 1992
Modelling systems with dynamic priorities. 609:251-266. 1992
THEORY OF COMPUTATION OVER STREAM ALGEBRAS, AND ITS APPLICATIONS. 629:62-80. 1992
Describing, structuring and implementing objects. 489:274-310. 1991
INVARIANT SEMANTICS OF NETS WITH INHIBITOR ARCS. 527:317-331. 1991
INVARIANTS AND PARADIGMS OF CONCURRENCY THEORY. 506:59-74. 1991
OPTIMAL SIMULATIONS, NETS AND REACHABILITY GRAPHS. 524:205-226. 1991
Redex capturing in term graph rewriting (concise version). 488:13-24. 1991
Sharing actions and attributes in modal action logic. 526:569-593. 1991
TAPSOFT 91 - PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE-DEVELOPMENT BRIGHTON, UK, APRIL 8-12, 1991 - PREFACE. 493:R3-R4. 1991
Using optimal simulations to reduce reachability graphs. 531:166-175. 1991
MORE EFFICIENT BOTTOM-UP TREE PATTERN-MATCHING. 431:72-86. 1990
PROVABLE COMPUTABLE FUNCTIONS ON ABSTRACT-DATA-TYPES. 443:660-673. 1990
SYMBOLIC FINITE DIFFERENCING .1.. 432:36-56. 1990
Toward a general theory of computation and specification over abstract data types. 468:129-133. 1990
A pluralistic knowledge-based approach to software specification. 387:411-423. 1989
Horn programs and semicomputable relations on abstract structures. 372:745-760. 1989
PRAM algorithms for identifying polygon similarity. 401:25-32. 1989
THE PRESCRIPTION AND DESCRIPTION OF STATE BASED SYSTEMS. 398:243-294. 1989
Towards a theory of simulation for verification of concurrent systems. 366:73-88. 1989
Adequacy-preserving transformations of COSY path programs. 335:368-379. 1988
THE DESIGN OF DYNAMO - A GENERAL-PURPOSE INFORMATION-PROCESSING MODEL WITH A TIME DIMENSION. 334:286-291. 1988
On equivalent execution semantics of concurrent systems. 266:89-103. 1987
Contrasting themes in the semantics of imperative concurrency. 224:51-121. 1986
2-WAY CHANNEL WITH DISCONNECT. 207:184-198. 1985
A simple railway system. 207:271-292. 1985
A theory of abstract data types for program development: Bridging the gap?. 186:214-230. 1985
Large database specifications from small views. 206:246-271. 1985
Maximally concurrent evolution of non-sequential systems. 197:268-280. 1985
A method for developing concurrent systems. 167:155-166. 1984
Compactness in semantics for merge and fair merge. 164:18-33. 1984
Logical specification and implementation. 181:13-30. 1984
On the Merlin-Randell problem of train journeys. 167:179-190. 1984
Processes and a fair semantics for the ADA rendez-vous. 154:52-66. 1983
A construction of concurrent systems by means of sequential solutions and concurrency relations. 107:327-334. 1981
Formal behavioural specification of concurrent systems without globality assumptions. 107:115-151. 1981

Lecture Notes in Computer Science Journal

Overview

publication venue for

has subject area

Identity

International Standard Serial Number (ISSN)

Electronic International Standard Serial Number (EISSN)