Agnès Arnould

MaRDI QIDQ3192243zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Preserving consistency in geometric modeling with graph transformations Mathematical Structures in Computer Science	2022-12-23	Paper
scientific article; zbMATH DE number 7317237 (Why is no real title available?)	2021-03-03	Paper
scientific article; zbMATH DE number 7317237 (Why is no real title available?) (available as arXiv preprint)	2021-03-03	Paper
Geometric modeling: consistency preservation using two-layered variable substitutions Graph Transformation	2019-11-22	Paper
Jerboa: a graph transformation library for topology-based geometric modeling Graph Transformation	2014-09-26	Paper
Graph Transformation for Topology Modelling Lecture Notes in Computer Science	2008-11-20	Paper
Test Selection Criteria for Quantifier-Free First-Order Specifications Lecture Notes in Computer Science	2008-07-01	Paper
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms Formal Approaches to Software Testing	2007-05-02	Paper
scientific article; zbMATH DE number 2079672 (Why is no real title available?)	2004-07-30	Paper

Research outcomes over time

This page was built for person: Agnès Arnould