Jean-Marie Gaillourdet

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Domain Specific

Tree Representation

Top Venues

Programming Logics

Publications

Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
A Generic Functional Representation of Sorted Trees Supporting Attribution - (Haskell Can Do It). Programming Logics (2013)
Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel
The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. MathWikis@ITP (2011)
Jean-Marie Gaillourdet, Thomas Grundmann, Martin Memmel, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch
WoM: An Open Interactive Platform for Describing, Exploring, and Sharing Mathematical Models. KES (4) (2011)
Jan Schäfer, Markus Reitz, Jean-Marie Gaillourdet, Arnd Poetzsch-Heffter
Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes. CoCoME (2007)
Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
The New WALDMEISTER Loop at Work. CADE (2003)