Loredana Tec

Identifiers

• name variant Loredana Tec 0.60 · backfill

Papers (7)

1. Towards an ASM thesis for reflective sequential algorithms cs.LO · 2017 · author #2
2. A Logic for Non-Deterministic Parallel Abstract State Machines cs.LO · 2017 · author #3
3. On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic cs.LO · 2016 · author #2
4. A Complete Logic for Database Abstract State Machines cs.LO · 2016 · author #3
5. A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis cs.LO · 2015 · author #3
6. A constructive method for computing generalized Manley--Rowe constants of motion physics.flu-dyn · 2012 · author #2
7. Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gr\"obner Bases cs.SC · 2012 · author #3

Mentions

• 1504.06203 #3 · backfill · confidence 0.70 Loredana Tec
• 1212.4295 #2 · backfill · confidence 0.70 Loredana Tec
• 1210.2950 #3 · backfill · confidence 0.70 Loredana Tec

Frequent Coauthors

• Flavio Ferrarotti 5 shared papers
• Klaus-Dieter Schewe 3 shared papers
• Qing Wang 3 shared papers
• Bruno Buchberger 1 shared papers
• Elena Kartashova 1 shared papers
• Georg Regensburger 1 shared papers
• Jos\'e Mar\'ia Turull-Torres 1 shared papers
• Jose Maria Turull Torres 1 shared papers
• Markus Rosenkranz 1 shared papers