Loredana Tec

Available identifiers

Publication	Date of Publication	Type
Distributed Adaptive Systems	2023-03-10	Paper
Capturing Membrane Computing by ASMs	2023-03-10	Paper
A complete logic for Database Abstract State Machines1	2022-08-10	Paper
A Behavioural Theory for Reflective Sequential Algorithms	2021-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5133477	2020-11-10	Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines	2018-09-21	Paper
A Constructive Method for Computing Generalized Manley-Rowe Constants of Motion	2017-10-27	Paper
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis	2016-09-12	Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines	2016-05-19	Paper
A symbolic framework for general polynomial domains in theorema	2015-02-20	Paper
Incremental Language Inclusion Checking for Networks of Timed Automata	2013-08-16	Paper
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases	2012-09-14	Paper
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q5188222	2010-03-10	Paper
A Symbolic Framework for Operations on Linear Boundary Problems	2009-11-10	Paper

This page was built for person: Loredana Tec