Loredana Tec

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 16

Top Topics

Polynomially Bounded

Parallel Computing

Top Venues

Ann. Math. Artif. Intell.

Computational Models of Rationality

Publications

Klaus-Dieter Schewe, Loredana Tec, Qing Wang
Capturing Membrane Computing by ASMs. ABZ (2018)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ (2018)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A Logic for Non-Deterministic Parallel Abstract State Machines. CoRR (2017)
Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
Towards an ASM thesis for reflective sequential algorithms. CoRR (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A complete logic for Database Abstract State Machines1. Log. J. IGPL 25 (5) (2017)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An
Evolving concurrent systems: behavioural theory and logic. ACSW (2017)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
Towards an ASM Thesis for Reflective Sequential Algorithms. ABZ (2016)
Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
A Complete Logic for Non-Deterministic Database Transformations. CoRR (2016)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. CoRR (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649 (2016)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis. CoRR (2015)
Willibald Krenn, Dejan Nickovic, Loredana Tec
Incremental Language Inclusion Checking for Networks of Timed Automata. FORMATS (2013)
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases CoRR (2012)
Loredana Tec
A symbolic framework for general polynomial domains in theorema: applications to boundary problems. ACM Commun. Comput. Algebra 45 (3/4) (2011)
Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS (2010)
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
A Symbolic Framework for Operations on Linear Boundary Problems. CASC (2009)
Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra 42 (3) (2008)