General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. - Bruno Buchberger; Georg Regensburger; Markus Rosenkranz; Loredana Tec (ACM Commun. Comput. Algebra, 2008)

A Symbolic Framework for Operations on Linear Boundary Problems. - Markus Rosenkranz; Georg Regensburger; Loredana Tec; Bruno Buchberger (CASC, 2009)

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. - Loredana Tec; Georg Regensburger; Markus Rosenkranz; Bruno Buchberger (ICMS, 2010)

A symbolic framework for general polynomial domains in theorema: applications to boundary problems. - Loredana Tec (ACM Commun. Comput. Algebra, 2011)

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases - Markus Rosenkranz; Georg Regensburger; Loredana Tec; Bruno Buchberger (CoRR, 2012)

Incremental Language Inclusion Checking for Networks of Timed Automata. - Willibald Krenn; Dejan Nickovic; Loredana Tec (FORMATS, 2013)

Towards an ASM Thesis for Reflective Sequential Algorithms. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (ABZ, 2016)

Towards a Behavioural Theory for Random Parallel Computing. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002 (Computational Models of Rationality, 2016)

A Logic for Non-deterministic Parallel Abstract State Machines. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (FoIKS, 2016)

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (CoRR, 2016)

A Complete Logic for Non-Deterministic Database Transformations. - Qing Wang 002; Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec (CoRR, 2016)

A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (Theor. Comput. Sci., 2016)

Evolving concurrent systems: behavioural theory and logic. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002; Wenya An (ACSW, 2017)

A Behavioural Theory for Reflective Sequential Algorithms. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec (Ershov Informatics Conference, 2017)

A complete logic for Database Abstract State Machines1. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (Log. J. IGPL, 2017)

Distributed Adaptive Systems - Theory, Specification, Reasoning. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002 (ABZ, 2018)

Capturing Membrane Computing by ASMs. - Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (ABZ, 2018)

Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

A unifying logic for non-deterministic, parallel and concurrent abstract state machines. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (Ann. Math. Artif. Intell., 2018)