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
-
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge
Aceto, L., Castiglioni, V., Ingólfsdóttir, A. & Luttik, B., 3 Sept 2025, In: Theoretical Computer Science. 1047, 115325.Research output: Contribution to journal › Article › peer-review
Open Access -
Non finite axiomatisability of weak bisimulation-based congruences
Aceto, L., Castiglioni, V., Ingólfsdóttir, A. & Luttik, B., 3 Nov 2025, In: Theoretical Computer Science. 1054, 115453.Research output: Contribution to journal › Article › peer-review
Open Access -
The Complexity of Deciding Characteristic Formulae in Van Glabbeek's Branching-Time Spectrum
Aceto, L., Chalki, A. & Ingólfsdóttir, A., 3 Feb 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 326).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A monitoring tool for linear-time μHML
Aceto, L., 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
-
A Sound Type System for Secure Currency Flow
Aceto, L., Gorla, D. & Lybech, S., 12 Sept 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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?)
Castiglioni, V. & Aceto, L.
8/11/22
1 item of Media coverage
Press/Media