Research output per year
Research output per year
Fingerprint
Dive into the research topics where Luca Aceto is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A monitoring tool for linear-time μHML
Aceto, L., Achilleos, A., Attard, D. P., Exibard, L., Francalanza, A. & Ingólfsdóttir, A., Jan 2024, In: Science of Computer Programming. 232, 103031.Research output: Contribution to journal › Article › peer-review
-
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Aceto, L., Cassar, I., Francalanza, A. & Ingólfsdóttir, A., 28 Feb 2023, In: Logical Methods in Computer Science. 19, 1, p. 14:1-14:44Research output: Contribution to journal › Article › peer-review
Open Access -
On first-order runtime enforcement of branching-time properties
Aceto, L., Cassar, I., Francalanza, A. & Ingólfsdóttir, A., 3 Aug 2023, In: Acta Informatica. 60, 4, p. 385-451 67 p.Research output: Contribution to journal › Article › peer-review
-
Seismic performance of isolated buildings with friction spring damper
Montazeri, M., Namiranian, P., Pasand, A. A. & Aceto, L., 1 Sept 2023, In: Structures. 55, p. 1481-1496 16 p.Research output: Contribution to journal › Article › peer-review
-
The Way We Were: Structural Operational Semantics Research in Perspective
Aceto, L., Crescenzi, P., Ingólfsdóttir, A. & Mousavi, M. R., 14 Sept 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 387, p. 26-40 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access
Press/Media
-
Research from Reykjavik University Provide New Insights into Computational Logic (Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?)
Valentina Castiglioni & Luca Aceto
8/11/22
1 item of Media coverage
Press/Media