Fingerprint
Sökktu þér í rannsóknarefni þar sem Luca Aceto er virkt. Þessar efnismerkingar eiga upptök sín í vinnu þessa aðila. Saman myndar þetta einstakt fingrafar.
- 1 Álíkar rannsakendur
Samstarf og helstu rannsóknarsvið síðastliðin fimm ár
Nýlegt utanaðkomandi samstarf á sviði lands/yfirráðasvæðis. Sökktu þér í upplýsingarnar með því að smella á punktana eða
-
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge
Aceto, L., Castiglioni, V., Ingólfsdóttir, A. & Luttik, B., 3 sep. 2025, Í: Theoretical Computer Science. 1047, 115325.Rannsóknarafurð: Framlag til fræðitímarits › Grein › ritrýni
Opinn aðgangur -
Non finite axiomatisability of weak bisimulation-based congruences
Aceto, L., Castiglioni, V., Ingólfsdóttir, A. & Luttik, B., 3 nóv. 2025, Í: Theoretical Computer Science. 1054, 115453.Rannsóknarafurð: Framlag til fræðitímarits › Grein › ritrýni
Opinn aðgangur -
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. (útg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; bind. 326).Rannsóknarafurð: Kafli í bók/skýrslu/ráðstefnuriti › Ráðstefnuframlag › ritrýni
Opinn aðgangur -
A monitoring tool for linear-time μHML
Aceto, L., Attard, D. P., Exibard, L., Francalanza, A. & Ingólfsdóttir, A., jan. 2024, Í: Science of Computer Programming. 232, 103031.Rannsóknarafurð: Framlag til fræðitímarits › Grein › ritrýni
-
A Sound Type System for Secure Currency Flow
Aceto, L., Gorla, D. & Lybech, S., 12 sep. 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (útg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27 s. (Leibniz International Proceedings in Informatics, LIPIcs; bind. 313).Rannsóknarafurð: Kafli í bók/skýrslu/ráðstefnuriti › Ráðstefnuframlag › ritrýni
Opinn aðgangur
Fjölmiðlar
-
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 atriði af Fjölmiðlaumfjöllun
Fjölmiðlar