alessandra russo
alessandra russo
Professor in Applied Computational Logic
Dirección de correo verificada de imperial.ac.uk - Página principal
TítuloCitado porAño
Cognitive computing
DS Modha, R Ananthanarayanan, SK Esser, A Ndirango, AJ Sherbondy, ...
Communications of the ACM 54 (8), 62-71, 2011
368*2011
Leveraging inconsistency in software development
B Nuseibeh, S Easterbrook, A Russo
Computer 33 (4), 24-29, 2000
2322000
Using event calculus to formalise policy specification and analysis
AK Bandara, EC Lupu, A Russo
Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003
2312003
A goal-based approach to policy refinement
AK Bandara, EC Lupu, J Moffett, A Russo
Proceedings. Fifth IEEE International Workshop on Policies for Distributed …, 2004
2132004
Making inconsistency respectable in software development
B Nuseibeh, S Easterbrook, A Russo
Journal of Systems and Software 58 (2), 171-180, 2001
1892001
An abductive approach for analysing event-based requirements specifications
A Russo, R Miller, B Nuseibeh, J Kramer
International Conference on Logic Programming, 22-37, 2002
962002
Learning operational requirements from goal models
D Alrajeh, J Kramer, A Russo, S Uchitel
Proceedings of the 31st international conference on software engineering …, 2009
892009
Expressive policy analysis with enhanced system dynamicity
R Craven, J Lobo, J Ma, A Russo, E Lupu, A Bandara
Proceedings of the 4th International Symposium on Information, Computer, and …, 2009
862009
Policy conflict analysis for quality of service management
M Charalambides, P Flegkas, G Pavlou, AK Bandara, EC Lupu, A Russo, ...
Sixth IEEE International Workshop on Policies for Distributed Systems and …, 2005
832005
Speech emotion classification using machine learning algorithms
S Casale, A Russo, G Scebba, S Serrano
2008 IEEE international conference on semantic computing, 158-165, 2008
792008
Mapping UML models incorporating OCL constraints into Object-Z
D Roe, K Broda, A Russo
Imperial College of Science, Technology and Medicine, Department of Computing, 2003
782003
Inductive logic programming as abductive search
D Corapi, A Russo, E Lupu
Technical Communications of the 26th International Conference on Logic …, 2010
632010
Using argumentation logic for firewall policy specification and analysis
AK Bandara, A Kakas, EC Lupu, A Russo
International Workshop on Distributed Systems: Operations and Management …, 2006
592006
Dynamic policy analysis and conflict resolution for diffserv quality of service management
M Charalambides, P Flegkas, G Pavlou, J Rubio-Loyola, AK Bandara, ...
2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006, 294-304, 2006
552006
Policy refinement for diffserv quality of service management
A Bandara, E Lupu, A Russo, N Dulay, M Sloman, P Flegkas, ...
2005 9th IFIP/IEEE International Symposium on Integrated Network Management …, 2005
552005
Multistyle classification of speech under stress using feature subset selection based on genetic algorithms
S Casale, A Russo, S Serrano
Speech Communication 49 (10-11), 801-810, 2007
542007
Towards making network function virtualization a cloud computing service
W Rankothge, J Ma, F Le, A Russo, J Lobo
2015 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2015
522015
Learning revised models for planning in adaptive systems
D Sykes, D Corapi, J Magee, J Kramer, A Russo, K Inoue
2013 35th International Conference on Software Engineering (ICSE), 63-71, 2013
522013
Hybrid abductive inductive learning: A generalisation of progol
O Ray, K Broda, A Russo
International Conference on Inductive Logic Programming, 311-328, 2003
472003
Generalising propositional modal logic using labelled deductive systems
A Russo
Frontiers of Combining Systems, 57-73, 1996
471996
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20