publication venue for
- Automatically Finding Evidence and Predicting Answers in Mental Health Self-Report Questionnaires 2024
- Prediction of Relapse in Adolescent Depression using Fusion of Video and Speech Data 2024
- Synthesising ENI-Systems with Interval Order Semantics 2024
- A High Fidelity Indoor Navigation System Using Angle of Arrival and Angle of Departure 2023
- Lightweight Methods for Early Risk Detection 2023
- Synthesising Elementary Net Systems with Interval Order Semantics 2023
- Analysis of patient pathways with contextual process mining 2022
- Formal Mathematics for the Masses 2022
- Measuring the Severity of the Signs of Eating Disorders Using Similarity-Based Models 2022
- Preface 2022
- Preface of MeSS 2022 2022
- Grading OSPE Questions with Decision Learning Trees: A First Step towards an Intelligent Tutoring System for Anatomical Education 2021
- Preface: AAAI-HUMAN 2021 Fall Symposium on Human Partnership with Medical AI: Design, Operationalization, and Ethics 2021
- Towards modelling of cardiac pacemakers with timed coloured petri nets and related tools 2021
- Types for Players 2021
- Verification of communication structured acyclic nets using SAT 2021
- Autocorrelation function characterization of continuous time markov chains 2020
- Early Mental Health Risk Assessment through Writing Styles, Topics and Neural Models 2020
- Modelling and analyzing electrocardiogram events using timed coloured petri nets 2020
- Preface 2020
- Preface by the PNSE'2020 organisers 2020
- Transfer learning between RTS combat scenarios using component-action deep reinforcement learning 2020
- Domain Name System (DNS) tunnelling detection using Structured Occurrence Nets (SONs) 2019
- Fault-tolerant variable speed limit control for freeway work zone 2019
- Leveraging information contained in theory presentations 2019
- Preface to the proceedings of the first blockchain enabled semantic web workshop (BlockSW 2019) 2019
- Reusable textual styles for domain-specific modeling languages 2019
- DSAP: Data sharing agreement privacy ontology 2018
- Parallel execution of first-order operations 2018
- Preface of the 3rd international workshop on (Meta)Modelling for Healthcare Systems (MMHS 2018) 2018
- Towards a modular and flexible human-usable textual syntax for EMF models 2018
- Visualising data sets in structured occurrence nets 2018
- A graph transformation approach to introducing aspects into software architectures 2017
- Benchmarx reloaded: A practical benchmark framework for bidirectional transformations 2017
- COVER: Change-based goal verifier and reasoner 2017
- Compositionality of update propagation: Laxed PutPut 2017
- A systematic approach for designing mutation operators for MDE languages 2016
- CEUR Workshop Proceedings: Preface 2016
- CEUR Workshop Proceedings: Preface 2016
- Elementary model management patterns 2016
- Heterogeneous megamodel slicing for model evolution 2016
- Incorporating uncertainty into bidirectional model transformations and their delta-lens formalization 2016
- MONDO: Scalable modelling and model management on the Cloud 2016
- Modeling and reasoning with multirelations, and their encoding in alloy 2016
- Optimizing inconsistency-tolerant description logic reasoning 2016
- Patterns in model engineering 2015 - A workshop summary 2016
- An OCL-based bridge from concrete to abstract syntax 2015
- Analysis of source-to-target model transformations in QueST 2015
- Assessing the use of eclipse MDE technologies in open-source software projects 2015
- Evaluating student work in modelling courses 2015
- Flexible modelling for requirements engineering 2015
- MMINT: A graphical tool for interactive model management 2015
- MONDO: Scalable Modelling and model management on the cloud 2015
- MOSEW: A tool suite for service enabled workflow 2015
- OSSMETER: Automated measurement and analysis of open source software 2015
- Preface 2015
- Type inference using concrete syntax properties in flexible model-driven engineering 2015
- Unfolding CSPT-nets 2015
- A flexible metamodelling approach for healthcare systems 2014
- A query structured approach to model transformation 2014
- Assigning semantics to graphical concrete syntaxes 2014
- Bad modelling teaching practices 2014
- CMSEBA 2014 Workshop Report 2014
- Exploiting the Internet of Things to teach domain-specific languages and modeling the arduinoML project 2014
- Preface 2014
- Preface 2014
- Publishing Privacy Logs to Facilitate Transparency and Accountability 2014
- Software analytics for MDE communities 2014
- Spreadsheets are models too [position statement] 2014
- Towards a structured work ow language for model management 2014
- Towards rigorously faking bidirectional model transformations 2014
- A traceability-driven approach to model transformation testing 2013
- Causal structures for general concurrent behaviours 2013
- Context aware service discovery and service enabled workflow 2013
- Example-driven modeling using clafer 2013
- Exploring the use of metaheuristic search to infer models of dynamic system behaviour 2013
- First workshop on the globalization of modeling languages (GEMOC 2013) 2013
- Multimodel-driven software engineering for evolving enterprise systems 2013
- Parallelizing algebraic reasoning for the description logic SHOQ 2013
- Programmatic muddle management 2013
- Towards a multi-domain model-driven traceability approach 2013
- What do metamodels really look like? 2013
- Work in progress preface 2013
- Modelling gradients using Petri nets 2010
- Synthesis of general Petri nets with localities 2010
- Automated safety analysis for domain-specific languages 2008
- Preface. 3440. 2023
- Preface. 3620. 2022
- Preface. 12:I-II. 2020
- Preface. 1511:v. 2015
- Preface. 1500. 2015
- Classifying Boolean Nets for Region-based Synthesis. 725:5-21. 2011