Loredana Tec

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Distributed Adaptive Systems Lecture Notes in Computer Science	2023-03-10	Paper
Capturing Membrane Computing by ASMs Lecture Notes in Computer Science	2023-03-10	Paper
A complete logic for database abstract state machines Logic Journal of the IGPL	2022-08-10	Paper
A behavioural theory for reflective sequential algorithms Lecture Notes in Computer Science	2021-05-26	Paper
Polynomially bounded valuations in higher-order logics over relational databases	2020-11-10	Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines Annals of Mathematics and Artificial Intelligence	2018-09-21	Paper
A constructive method for computing generalized Manley-Rowe constants of motion Communications in Computational Physics	2017-10-27	Paper
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis Theoretical Computer Science	2016-09-12	Paper
A logic for non-deterministic parallel abstract state machines Lecture Notes in Computer Science	2016-05-19	Paper
A symbolic framework for general polynomial domains in Theorema, applications to boundary problems ACM Communications in Computer Algebra	2015-02-20	Paper
Incremental Language Inclusion Checking for Networks of Timed Automata Lecture Notes in Computer Science	2013-08-16	Paper
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases Texts & Monographs in Symbolic Computation	2012-09-14	Paper
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra Mathematical Software – ICMS 2010	2010-09-14	Paper
A new symbolic method for linear boundary value problems using Groebner bases	2010-03-10	Paper
A Symbolic Framework for Operations on Linear Boundary Problems Computer Algebra in Scientific Computing	2009-11-10	Paper

Research outcomes over time

This page was built for person: Loredana Tec