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
Browsing by Subject Computer algorithms
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 62 to 81 of 85
< previous
next >
Issue Date
Title
Author(s)
2017
Reliability and fault-tolerance by choreographic design
Cassar, Ian
;
Francalanza, Adrian
;
Mezzina, Claudio Antares
;
Tuosto, Emilio
2007
Representation does matter
Abela, John
2003
A risk driven state merging algorithm for learning DFAs
Spina, Sandro
2011
RULIE : rule unification for learning information extraction
Dingli, Alexiei
;
Busuttil, Dale P.
;
Seychell, Dylan
2012
Search engine trend forecasting
Vella, Clive F. (2012)
2000
The semantics of verilog using transition system combinators
Pace, Gordon J.
2006
Service discovery and composition : PreDiCtS approach
Abela, Charlie
;
Montebello, Matthew
2014
Spatial and temporal data modelling
Attard, Janice (2014)
2002
SPeeDI - a verification tool for polygonal hybrid systems
Asarin, Eugene
;
Pace, Gordon J.
;
Schneider, Gerardo
;
Yovine, Sergio
2018
Stable flight control of a tri-rotor drone using artificial neural networks
Sciberras, Mark
2006
Static analysis for state-space reduction of polygonal hybrid systems
Pace, Gordon J.
;
Schneider, Gerardo
2015
A study of the dynamic dispatch algorithm for a dial-a-cab taxi service
Muscat, Zachariah Emmanuel
2006
To extract the independent components of the evoked potentials in the EEG using ICA
Jervis, Barrie
;
Belal, Suliman
;
Herrero, German
;
Lowe, David
;
Bigan, Cristin
;
Camilleri, Kenneth P.
;
Camilleri, Tracey A.
;
Fabri, Simon G.
;
Clercq, Wim de
;
Zervakis, Michalis
;
Michalopoulos, Kostas
2015
Towards a hybrid approach to software verification
Della Monica, Dario
;
Francalanza, Adrian
2017
Towards an alternate characterisation of the actor safety preorder
Caruana, Caroline
2012-11
Towards proof-theoretic interpretations for LTL monitoring
Cini, Clare
;
Francalanza, Adrian
2012
A type system for a higher-order language
Zammit, Melanie
;
Francalanza, Adrian
2008
Universe types for topology and encapsulation
Cunningham, Dave
;
Dietl, Werner
;
Drossopoulou, Sophia
;
Francalanza, Adrian
;
Muller, Peter
;
Summers, Alexander J.
2015
Unlocking blocked communicating processes
Francalanza, Adrian
;
Giunti, Marco
;
Ravara, António
2004
The use of model-checking for the verification of concurrent algorithms
Cordina, Joseph