Agnès Arnould

From MaRDI portal
Person:3192243

Available identifiers

zbMath Open arnould.agnesMaRDI QIDQ3192243

List of research outcomes





PublicationDate of PublicationType
Preserving consistency in geometric modeling with graph transformations2022-12-23Paper
https://portal.mardi4nfdi.de/entity/Q49647022021-03-03Paper
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions2019-11-22Paper
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling2014-09-26Paper
Graph Transformation for Topology Modelling2008-11-20Paper
Test Selection Criteria for Quantifier-Free First-Order Specifications2008-07-01Paper
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q44717192004-07-30Paper

Research outcomes over time

This page was built for person: Agnès Arnould

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3192243&oldid=7338925"
Powered by MediaWiki