Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
OAR@UM
Search
Search:
All of OAR@UM
Maltese Journals
Xjenza
Xjenza, 2013, Volume 1, Issue 1
Xjenza, 2013, Volume 1, Issue 2
Xjenza, 2014, Volume 2, Issue 1
Xjenza, 2014, Volume 2, Issue 2
Xjenza, 2015, Volume 3, Issue 1
Xjenza, 2015, Volume 3, Issue 2
Xjenza, 2016, Volume 4, Issue 1
Xjenza, 2016, Volume 4, Issue 2
Xjenza, 2017, Volume 5, Issue 1
Xjenza, 2017, Volume 5, Issue 2
Xjenza, 2017, Volume 5, Special Issue: COST 2017
Xjenza, 2018, Volume 6, Issue 1
Xjenza, 2019, Volume 7, Issue 1
Xjenza, 2019, Volume 7, Issue 2
Xjenza, 2020, Volume 8, Issue 1
Xjenza, 2020, Volume 8, Issue 2
Xjenza, 2021, Volume 9, Issue 1
Xjenza, 2021, Volume 9, Issue 2
Xjenza, 2021, Volume 9, Special Issue
Xjenza, 2022, Volume 10, Issue 1
Xjenza, 2022, Volume 10, Issue 2
Xjenza, 2022, Volume 10, Special Issue: MNS Proceedings (2022)
Xjenza, 2023, Volume 11, Issue 1
Xjenza, 2023, Volume 11, Special Issue: Top Scientists
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-5 of 5 (Search time: 0.007 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2015-08
Towards sound refactoring in erlang
Tanti, Erica
;
Francalanza, Adrian
2014
Monitoring distributed systems with distributed polyLarva
Cassar, Ian
;
Francalanza, Adrian
;
Colombo, Christian
2014
Uniqueness typing for a higher-order language
Francalanza, Adrian
;
Zammit, Melanie
2014
Formal proofs for broadcast algorithms
Zammit, Mandy
;
Francalanza, Adrian
2015-08
Typing actors using behavioural types
Masini, Joseph
;
Francalanza, Adrian
Discover
Author
1
Cassar, Ian
1
Colombo, Christian
1
Masini, Joseph
1
Tanti, Erica
1
Zammit, Mandy
1
Zammit, Melanie
Subject
1
Actor (Computer program language)
1
Computer software -- Verification
1
Distributed algorithms
1
ERLANG (Computer program language)
1
Language acquisition
1
Software refactoring