Loredana Tec

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