| Publication | Date of Publication | Type |
|---|
A rule-based procedure for graph query solving
| 2024-01-12 | Paper |
scientific article; zbMATH DE number 7456050 (Why is no real title available?)
| 2022-01-12 | Paper |
Logical rules as fractions and logics as sketches
Logica Universalis | 2020-09-10 | Paper |
Algebraic graph rewriting with controlled embedding
Theoretical Computer Science | 2019-11-22 | Paper |
The PBPO graph transformation approach
Journal of Logical and Algebraic Methods in Programming | 2019-03-27 | Paper |
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
| 2018-04-04 | Paper |
Death of Marc Rybowicz, aged 52
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Parallelism in AGREE transformations
Graph Transformation | 2016-09-05 | Paper |
Relative Hilbert-Post completeness for exceptions
Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
AGREE -- algebraic graph rewriting with controlled embedding
Graph Transformation | 2015-09-22 | Paper |
Modeling pointer redirection as cyclic term-graph rewriting
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Deduction as reduction, from a categorical point of view
Logica Universalis | 2013-11-19 | Paper |
Scalability using effects
| 2013-07-01 | Paper |
Graph transformation with focus on incident edges
Lecture Notes in Computer Science | 2012-10-02 | Paper |
A duality between exceptions and states
MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
A parameterization process: from a functorial point of view
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
Adjunctions for exceptions
| 2012-07-05 | Paper |
Decorated proofs for computational effects: Exceptions
| 2012-03-13 | Paper |
A duality between exceptions and states
| 2011-12-11 | Paper |
Decorated proofs for computational effects: States
| 2011-12-11 | Paper |
Cartesian effect categories are Freyd-categories
Journal of Symbolic Computation | 2011-03-14 | Paper |
Deduction as Reduction
| 2010-11-05 | Paper |
Diagrammatic logic applied to a parameterisation process
Mathematical Structures in Computer Science | 2010-08-26 | Paper |
A Heterogeneous Pushout Approach to Term-Graph Transformation
Rewriting Techniques and Applications | 2009-06-30 | Paper |
Adjunction for Garbage Collection with Application to Graph Rewriting
Lecture Notes in Computer Science | 2008-01-02 | Paper |
Diagrammatic specifications
Mathematical Structures in Computer Science | 2004-09-06 | Paper |
Dynamic evaluation and real closure.
Mathematics and Computers in Simulation | 2003-05-27 | Paper |
Sketches and computations over fields.
Mathematics and Computers in Simulation | 2003-05-27 | Paper |
Dynamic evaluation and algebraic closure in Axiom
Journal of Pure and Applied Algebra | 1996-11-25 | Paper |
Algebraic numbers: An example of dynamic evaluation
Journal of Symbolic Computation | 1995-06-08 | Paper |
Sketches and computation – II: dynamic evaluation and applications
Mathematical Structures in Computer Science | 1994-08-14 | Paper |
Sketches and computation – I: basic definitions and static evaluation
Mathematical Structures in Computer Science | 1994-08-14 | Paper |
Sketches and parametrization
Theoretical Computer Science | 1994-02-22 | Paper |
scientific article; zbMATH DE number 125106 (Why is no real title available?)
| 1993-02-21 | Paper |
Absolute Factorization of Polynomials: A Geometric Approach
SIAM Journal on Computing | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4146129 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4137314 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4049740 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4118469 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3970913 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3880854 (Why is no real title available?)
| 1984-01-01 | Paper |
Sur la structure galoisienne du groupe des unites d'un corps abelien réel de type (p,p)
Journal of Number Theory | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3904812 (Why is no real title available?)
| 1980-01-01 | Paper |
