Loredana Tec

According to our database, Loredana Tec authored at least 19 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A unifying logic for non-deterministic, parallel and concurrent abstract state machines.

Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang

Ann. Math. Artif. Intell., 2018

Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases.

Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Capturing Membrane Computing by ASMs.

Klaus-Dieter Schewe, Loredana Tec, Qing Wang

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Distributed Adaptive Systems - Theory, Specification, Reasoning.

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

A complete logic for Database Abstract State Machines1.

Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang

Log. J. IGPL, 2017

A Behavioural Theory for Reflective Sequential Algorithms.

Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec

Proceedings of the Perspectives of System Informatics, 2017

Evolving concurrent systems: behavioural theory and logic.

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis.

Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang

Theor. Comput. Sci., 2016

A Complete Logic for Non-Deterministic Database Transformations.

Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec

CoRR, 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 Logic for Non-deterministic Parallel Abstract State Machines.

Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang

Proceedings of the Foundations of Information and Knowledge Systems, 2016

Towards a Behavioural Theory for Random Parallel Computing.

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang

Proceedings of the Computational Models of Rationality, 2016

Towards an ASM Thesis for Reflective Sequential Algorithms.

Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2013

Incremental Language Inclusion Checking for Networks of Timed Automata.

Willibald Krenn, Dejan Nickovic, Loredana Tec

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases

Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger

CoRR, 2012

2011

A symbolic framework for general polynomial domains in theorema: applications to boundary problems.

Loredana Tec

ACM Commun. Comput. Algebra, 2011

2010

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.

Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger

Proceedings of the Mathematical Software, 2010

2009

A Symbolic Framework for Operations on Linear Boundary Problems.

Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

2008

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