Person:730474

Available identifiers

zbMath Open serbanuta.traian-florinMaRDI QIDQ730474

List of research outcomes

Publication	Date of Publication	Type
Many-sorted hybrid modal languages	2021-06-25	Paper
Towards a \(\mathbb{K}\)ool future	2021-05-20	Paper
A Many-sorted Polyadic Modal Logic	2020-11-16	Paper
Operational semantics and program verification using many-sorted hybrid modal logic	2020-05-14	Paper
All-Path Reachability Logic	2019-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4594004	2017-11-16	Paper
Language definitions as rewrite theories	2016-12-28	Paper
Maximally Parallel Contextual String Rewriting	2016-10-21	Paper
An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework	2016-02-25	Paper
Language Definitions as Rewrite Theories	2015-09-09	Paper
All-Path Reachability Logic	2014-07-24	Paper
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters	2014-01-24	Paper
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)	2014-01-10	Paper
A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations	2012-10-02	Paper
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages	2010-10-12	Paper
P systems with control nuclei: the concept	2010-08-24	Paper
An overview of the K semantic framework	2010-08-24	Paper
A Rewriting Logic Approach to Type Inference	2009-10-22	Paper
Defining and Executing P Systems with Structured Data in K	2009-07-28	Paper
A rewriting logic approach to operational semantics	2009-04-14	Paper
A semantic approach to interpolation	2009-03-25	Paper
Computationally Equivalent Elimination of Conditions	2008-09-25	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q3409998	2006-11-21	Paper
Extending Parikh matrices	2004-10-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Traian-Florin Şerbănuţă