| Publication | Date of Publication | Type |
|---|
Many-sorted hybrid modal languages
Journal of Logical and Algebraic Methods in Programming | 2021-06-25 | Paper |
Towards a \(\mathbb{K}\)ool future
| 2021-05-20 | Paper |
A many-sorted polyadic modal logic
Fundamenta Informaticae | 2020-11-16 | Paper |
Operational semantics and program verification using many-sorted hybrid modal logic
| 2020-05-14 | Paper |
All-path reachability logic
Logical Methods in Computer Science | 2019-05-17 | Paper |
Program logics and their applications
| 2017-11-16 | Paper |
Language definitions as rewrite theories
Journal of Logical and Algebraic Methods in Programming | 2016-12-28 | Paper |
Maximally parallel contextual string rewriting
Rewriting Logic and Its Applications | 2016-10-21 | Paper |
An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Language definitions as rewrite theories
Rewriting Logic and Its Applications | 2015-09-09 | Paper |
All-path reachability logic
Lecture Notes in Computer Science | 2014-07-24 | Paper |
A rewrite framework for language definitions and for generation of efficient interpreters
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
A rewriting logic approach to operational semantics (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-10 | Paper |
A truly concurrent semantics for the \(\mathbb{K}\) framework based on graph transformations
Lecture Notes in Computer Science | 2012-10-02 | Paper |
K-Maude: a rewriting based tool for semantics of programming languages
Rewriting Logic and Its Applications | 2010-10-12 | Paper |
An overview of the K semantic framework
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
P systems with control nuclei: the concept
The Journal of Logic and Algebraic Programming | 2010-08-24 | Paper |
A Rewriting Logic Approach to Type Inference
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Defining and Executing P Systems with Structured Data in K
Membrane Computing | 2009-07-28 | Paper |
A rewriting logic approach to operational semantics
Information and Computation | 2009-04-14 | Paper |
A semantic approach to interpolation
Theoretical Computer Science | 2009-03-25 | Paper |
Computationally Equivalent Elimination of Conditions
Lecture Notes in Computer Science | 2008-09-25 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Injectivity of the Parikh matrix mappings revisited
| 2006-11-21 | Paper |
Extending Parikh matrices
Theoretical Computer Science | 2004-10-27 | Paper |
