Antoine Durand-Gasselin

Available identifiers

zbMath Open durand-gasselin.antoineMaRDI QIDQ526754

List of research outcomes

Publication	Date of Publication	Type
Model checking parameterized asynchronous shared-memory systems	2018-03-01	Paper
From Monadic Second-Order Definable String Transformations to Transducers	2017-07-03	Paper
Model checking parameterized asynchronous shared-memory systems	2017-05-15	Paper
Regular Transformations of Data Words Through Origin Information	2016-06-10	Paper
Ehrenfeucht-Fraïssé goes elementarily automatic for structures of bounded degree	2012-08-23	Paper
On the Use of Non-deterministic Automata for Presburger Arithmetic	2010-08-31	Paper

Research outcomes over time

This page was built for person: Antoine Durand-Gasselin