Loredana Tec
Identifiers
- name variant Loredana Tec 0.60 · backfill
Papers (7)
- Towards an ASM thesis for reflective sequential algorithms cs.LO · 2017 · author #2
- A Logic for Non-Deterministic Parallel Abstract State Machines cs.LO · 2017 · author #3
- On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic cs.LO · 2016 · author #2
- A Complete Logic for Database Abstract State Machines cs.LO · 2016 · author #3
- A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis cs.LO · 2015 · author #3
- A constructive method for computing generalized Manley--Rowe constants of motion physics.flu-dyn · 2012 · author #2
- 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