Agnès Arnould

Available identifiers

zbMath Open arnould.agnesMaRDI QIDQ3192243

List of research outcomes

Publication	Date of Publication	Type
Preserving consistency in geometric modeling with graph transformations	2022-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4964702	2021-03-03	Paper
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions	2019-11-22	Paper
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling	2014-09-26	Paper
Graph Transformation for Topology Modelling	2008-11-20	Paper
Test Selection Criteria for Quantifier-Free First-Order Specifications	2008-07-01	Paper
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4471719	2004-07-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Agnès Arnould