Concepedia

Anna Queralt

AQ

Statistics

Publications

11

Citations

547

H-Index

10

Active since

2003

Affiliations

Universitat Politècnica de Catalunya(Current)

Barcelona Supercomputing Center

XLAB (Slovenia)

Technische Universität Braunschweig

Worldsensing (Spain)

Anna Queralt is an author at Universitat Politècnica de Catalunya specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware DesignAutomated ReasoningSemanticsSemantic WebData ManagementManagementCloud ComputingData Integration

Publications per year

2003–2022

11

Publications

11

PyCOMPSs: Parallel computational workflows in Python

Enric Tejedor, Yolanda Becerra, Guillem Alomar et al. · The International Journal of High Performance Computing Applications · 2015 · 164 citations · Full text

Cluster Computing, Engineering, Computer Architecture +18

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Anna Queralt, Alessandro Artale, Diego Calvanese et al. · Data & Knowledge Engineering · 2011 · 96 citations · Full text

Engineering, Automated Reasoning, Uml/ocl Conceptual Schemas +7

Verification and Validation of UML Conceptual Schemas with OCL Constraints

Anna Queralt, Ernest Teniente · ACM Transactions on Software Engineering and Methodology · 2012 · 74 citations · Full text

Engineering, Ontology Engineering, Constraints +19

Enabling dynamic and intelligent workflows for HPC, data analytics, and AI convergence

Jorge Ejarque, Rosa M. Badía, Loïc Albertin et al. · Future Generation Computer Systems · 2022 · 54 citations · Full text

Workflow Execution, Ai Convergence, Engineering +14

Dataclay: A distributed data store for effective inter-player data sharing

Jonathan Martí, Anna Queralt, Daniel Gasull et al. · Journal of Systems and Software · 2017 · 35 citations · Full text

Engineering, Distributed Database, Distributed Data Store +8

1–5 of 11