Richard O. Sinnott
Orcid: 0000-0001-5998-222XAffiliations:
- University of Melbourne, School of Computing and Information Systems, Australia
According to our database1,
Richard O. Sinnott
authored at least 244 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Mob. Comput., December, 2024
Artif. Intell. Rev., November, 2024
A review of deep learning models and online healthcare databases for electronic health records and their use for health prediction.
Artif. Intell. Rev., September, 2024
Autonomous Vehicle Patrolling Through Deep Reinforcement Learning: Learning to Communicate and Cooperate.
CoRR, 2024
Exploring Automated Data Augmentation Approaches for Deep Learning: A Case Study of Individual Feral Cat Classification.
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
A Performance Comparison of Convolutional Neural Networks and Transformer-Based Models for Classification of the Spread of Bushfires.
Proceedings of the 20th IEEE International Conference on e-Science, 2024
Proceedings of the 20th IEEE International Conference on e-Science, 2024
Mitigating Challenges of the Space Environment for Onboard Artificial Intelligence: Design Overview of the Imaging Payload on SpIRIT.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024
e-Consent in Biomedical Research Registries: A GDPR-Compliant Approach Explored in the Context of the Australasian Diabetes Data Network.
Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024
Identification of Patient Ventilator Asynchrony in Physiological Data Through Integrating Machine-Learning.
Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies, 2024
Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024
Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024
Lessons Learnt in Developing and Supporting Infrastructures for Australian Urban and Built Environment Research.
Proceedings of the 2024 Australasian Computer Science Week, 2024
Proceedings of the 2024 Australasian Computer Science Week, 2024
2023
A survey of automated data augmentation algorithms for deep learning-based image classification tasks.
Knowl. Inf. Syst., July, 2023
Efficient and Secure Federated Learning With Verifiable Weighted Average Aggregation.
IEEE Trans. Netw. Sci. Eng., 2023
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023
Proceedings of the IEEE International Conference on Edge Computing and Communications, 2023
Proceedings of the 19th IEEE International Conference on e-Science, 2023
Proceedings of the 19th IEEE International Conference on e-Science, 2023
Proceedings of the IEEE/ACM 10th International Conference on Big Data Computing, 2023
2022
CoRR, 2022
A Survey of Automated Data Augmentation Algorithms for Deep Learning-based Image Classication Tasks.
CoRR, 2022
Formal and Informal Technology Appropriation in New Learning Environments: The Case of Saudi Students in Australia.
Proceedings of the 26th Pacific Asia Conference on Information Systems, 2022
Proceedings of the Computational Science - ICCS 2022, 2022
Proceedings of the Seventh International Conference on Fog and Mobile Edge Computing, 2022
Proceedings of the Big Data Intelligence and Computing, 2022
The Australian Digital Observatory: Social Media Collection, Discovery and Analytics at Scale.
Proceedings of the Big Data Intelligence and Computing, 2022
The Impact of General Data Protection Regulation on the Australasian Type-1 Diabetes Platform.
Proceedings of the 35th IEEE International Symposium on Computer-Based Medical Systems, 2022
Experiences in Development and Support of a Multi-technology Skin Conditions Clinical Trial Platform.
Proceedings of the 35th IEEE International Symposium on Computer-Based Medical Systems, 2022
2021
SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments.
IEEE Trans. Cloud Comput., 2021
Future Gener. Comput. Syst., 2021
Elastic deployment of container clusters across geographically distributed cloud data centers for web applications.
Concurr. Comput. Pract. Exp., 2021
Comput. Networks, 2021
Real-time Route Planning using Mobile Air Pollution Detectors and Citizen Scientists.
Proceedings of the 17th International Conference on Wireless and Mobile Computing, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 29th IEEE International Conference on Network Protocols, 2021
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021
Eliciting group judgements about replicability: a technical implementation of the IDEA Protocol.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021
Historic Twitter Mining: A Case Study Aiming to Identify and Capture the Social Media Network Activities of People who Died by Suicide.
Proceedings of the 17th IEEE International Conference on eScience, 2021
An Exploration of Machine and Deep Learning Models for Fake News Detection in Social Media.
Proceedings of the 8th International Conference on Behavioral and Social Computing, 2021
Proceedings of the BDCAT '21: 2021 IEEE/ACM 8th International Conference on Big Data Computing, Applications and Technologies, Leicester, United Kingdom, December 6, 2021
Proceedings of the BDCAT '21: 2021 IEEE/ACM 8th International Conference on Big Data Computing, Applications and Technologies, Leicester, United Kingdom, December 6, 2021
Proceedings of the BDCAT '21: 2021 IEEE/ACM 8th International Conference on Big Data Computing, Applications and Technologies, Leicester, United Kingdom, December 6, 2021
Proceedings of the BDCAT '21: 2021 IEEE/ACM 8th International Conference on Big Data Computing, Applications and Technologies, Leicester, United Kingdom, December 6, 2021
2020
Comparison of Optimization-Modelling Methods for Metabolites Production in Escherichia coli.
J. Integr. Bioinform., 2020
Proceedings of the Seventh International Conference on Social Networks Analysis, 2020
Proceedings of the Seventh International Conference on Social Networks Analysis, 2020
Proceedings of the 2020 Workshop on Network Meets AI & ML, 2020
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020
Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020
Proceedings of the Big Data - BigData 2020, 2020
Proceedings of the Big Data - BigData 2020, 2020
Proceedings of the Big Data - BigData 2020, 2020
Proceedings of the 7th IEEE/ACM International Conference on Big Data Computing, 2020
A Mobile Application Using Deep Learning to Automatically Classify Adult-Only Images.
Proceedings of the Artificial Intelligence and Mobile Services - AIMS 2020, 2020
Proceedings of the Australasian Computer Science Week, 2020
2019
Latency-aware failover strategies for containerized web applications in distributed clouds.
Future Gener. Comput. Syst., 2019
Advancing the ethical use of digital data in human research: challenges and strategies to promote ethical practice.
Ethics Inf. Technol., 2019
Concurr. Comput. Pract. Exp., 2019
A non-dominated sorting Differential Search Algorithm Flux Balance Analysis (ndsDSAFBA) for <i>in silico</i> multiobjective optimization in identifying reactions knockout.
Comput. Biol. Medicine, 2019
Decentralized Big Data Auditing for Smart City Environments Leveraging Blockchain Technology.
IEEE Access, 2019
A Hybrid of Particle Swarm Optimization and Minimization of Metabolic Adjustment for Ethanol Production of Escherichia Coli.
Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2019
Proceedings of the International Symposium on Quality of Service, 2019
Profit Maximization and Time Minimization Admission Control and Resource Scheduling for Cloud-Based Big Data Analytics-as-a-Service Platforms.
Proceedings of the Web Services - ICWS 2019, 2019
Proceedings of the 2019 IEEE International Conference on Web Services, 2019
Proceedings of the 2019 IEEE International Conference on Big Knowledge, 2019
The Design and Development of a Cloud-based Platform Supporting Team-oriented Evidence-based Reasoning: SWARM Systems Paper.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019
Profit Optimization for Splitting and Sampling Based Resource Management in Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments.
Proceedings of the 15th International Conference on eScience, 2019
Migrating a National Cloud Platform for Urban Analytics: A Performance Assessment Framework.
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019
Proceedings of the 2019 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2019
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019
Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, 2019
Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, 2019
Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, 2019
Identification and Classification of Trucks and Trailers on the Road Network through Deep Learning.
Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, 2019
Proceedings of the 2nd Workshop on Deep Learning Approaches for Low-Resource NLP, 2019
Students' Use of Internet Technologies for Interactions in Learning Practices: A Study from Saudi Arabia's Higher Education.
Proceedings of the Australasian Conference on Information Systems, 2019
SLA-Aware and Deadline Constrained Profit Optimization for Cloud Resource Management in Big Data Analytics-as-a-Service Platforms.
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019
2018
Telematics Informatics, 2018
Future Gener. Comput. Syst., 2018
Resource provisioning for data-intensive applications with deadline constraints on hybrid clouds using Aneka.
Future Gener. Comput. Syst., 2018
Comput. Networks, 2018
Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018
Proceedings of the 2018 IEEE/ACM International Conference on Utility and Cloud Computing Companion, 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
Proceedings of the 17th IEEE International Conference On Trust, 2018
UniMelb at SemEval-2018 Task 12: Generative Implication using LSTMs, Siamese Networks and Semantic Representations with Synonym Fuzzing.
Proceedings of The 12th International Workshop on Semantic Evaluation, 2018
Proceedings of Workshop on Research Objects (RO2018), 2018
Proceedings of the Web Services - ICWS 2018, 2018
A Platform for Exploring Social Media Analytics of Fast Food Restaurants in Australia.
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018
Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018
RT-DBSCAN: Real-Time Parallel Clustering of Spatio-Temporal Data Using Spark-Streaming.
Proceedings of the Computational Science - ICCS 2018, 2018
Modelling Implicit Content Networks to Track Information Propagation Across Media Sources to Analyze News Events.
Proceedings of the 14th IEEE International Conference on e-Science, 2018
Proceedings of the 5th IEEE/ACM International Conference on Big Data Computing Applications and Technologies, 2018
Proceedings of the 5th IEEE/ACM International Conference on Big Data Computing Applications and Technologies, 2018
Proceedings of the Advanced Computer Architecture - 12th Conference, 2018
Performance Analysis of Large-Scale Distributed Stream Processing Systems on the Cloud.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018
2017
IEEE Trans. Cloud Comput., 2017
Soc. Netw. Anal. Min., 2017
Future Gener. Comput. Syst., 2017
Comput. Secur., 2017
Investigating reproducibility and tracking provenance - A genomic workflow case study.
BMC Bioinform., 2017
Proceedings of the 10th International Conference on Utility and Cloud Computing, 2017
Proceedings of the 10th International Conference on Utility and Cloud Computing, 2017
Proceedings of the Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, 2017
Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017
Proceedings of the 2017 IEEE Conference on Computer Communications Workshops, 2017
A Mobile Application and Cloud Platform Supporting Research into Alcohol Consumption.
Proceedings of the 1st International Conference on Medical and Health Informatics, 2017
Proceedings of the 1st International Conference on Medical and Health Informatics, 2017
Proceedings of the Integrating and Connecting Care, 2017
Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017
A Semantic-aware Framework for Service Definition and Discovery in the Internet of Things Using CoAP.
Proceedings of the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, 2017
Proceedings of the 13th IEEE International Conference on e-Science, 2017
Predicting the Stability of Large-scale Distributed Stream Processing Systems on the Cloud.
Proceedings of the CLOSER 2017, 2017
Proceedings of the CLOSER 2017, 2017
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017
The design and benchmarking of a Cloud-based platform for processing and visualization of traffic data.
Proceedings of the 2017 IEEE International Conference on Big Data and Smart Computing, 2017
Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017
Exploring Micro and Macro Level Appropriation of an E-learning Platform: A Study in a Middle Eastern and a Western Educational Contexts.
Proceedings of the Australasian Conference on Information Systems, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Soc. Netw. Anal. Min., 2016
Beyond a Disease Registry: An Integrated Virtual Environment for Adrenal Cancer Research.
J. Grid Comput., 2016
Proceedings of the 9th International Conference on Utility and Cloud Computing, 2016
Semantic-Based Privacy Protection of Electronic Health Records for Collaborative Research.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016
Architectural Patterns for Security-Oriented Workflows in Collaborative Environments.
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2016
Proceedings of the 9th International Conference on Security of Information and Networks, 2016
Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016
Exploring the High Performance Computing-Enablement of a Suite of Gene-Knockout Based Genetic Engineering Applications.
Proceedings of the 10th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2016
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016
Proceedings of the 18th IEEE International Conference on High Performance Computing and Communications; 14th IEEE International Conference on Smart City; 2nd IEEE International Conference on Data Science and Systems, 2016
Proceedings of the 12th IEEE International Conference on e-Science, 2016
SLA-based profit optimization for resource management of big data analytics-as-a-service platforms in cloud computing environments.
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016
2015
Modeling coordinated multiple views of heterogeneous data cubes for urban visual analytics.
Int. J. Digit. Earth, 2015
Proceedings of the 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), 2015
The Urban Data Re-use and Integration Platform for Australia: Design, Realisation, and Case Studies.
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the IEEE International Conference on Data Science and Data Intensive Systems, 2015
Proceedings of the IEEE International Conference on Data Science and Data Intensive Systems, 2015
SMASH: A Cloud-Based Architecture for Big Data Processing and Visualization of Traffic Data.
Proceedings of the IEEE International Conference on Data Science and Data Intensive Systems, 2015
Identification of (near) Real-time Traffic Congestion in the Cities of Australia through Twitter.
Proceedings of the ACM First International Workshop on Understanding the City with Urban Informatics, 2015
Application of Mobile Games to Support Clinical Data Collection for Patients with Niemann-Pick Disease.
Proceedings of the 28th IEEE International Symposium on Computer-Based Medical Systems, 2015
Challenges of Large-Scale Biomedical Workflows on the Cloud - A Case Study on the Need for Reproducibility of Results.
Proceedings of the 28th IEEE International Symposium on Computer-Based Medical Systems, 2015
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015
2014
A Cloud-based Exploration of Open Data: Promoting Transparency and Accountability of the Federal Government of Australia.
Proceedings of the 1st Symposium on Information Management and Big Data, 2014
Elastic Scaling of e-Infrastructures to Support Data-Intensive Research Collaborations.
Proceedings of the 10th IEEE International Conference on e-Science, 2014
2013
Future Gener. Comput. Syst., 2013
Future Gener. Comput. Syst., 2013
The Urban Research Gateway for Australia: Development of a Federated, Multi-disciplinary Research e-Infrastructure.
Proceedings of the 5th International Workshop on Science Gateways, 2013
Development of an Endocrine Genomics Virtual Research Environment for Australia: Building on Success.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013
Proceedings of the International Conference on Advances in Computing, 2013
Proceedings of the Second ACM SIGSPATIAL International Workshop on Use of GIS in Public Health, 2013
e-Enabling International Cancer Research: Lessons Being Learnt in the ENS@T-CANCER Project.
Proceedings of the 9th IEEE International Conference on eScience, 2013
2012
Proceedings of the 11th IEEE International Conference on Trust, 2012
Proceedings of the Health Informatics: Building a Healthcare Future Through Trusted Information, 2012
Proceedings of the SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), 2012
Proceedings of the 8th IEEE International Conference on E-Science, 2012
Proceedings of the Cyberspace Safety and Security - 4th International Symposium, 2012
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012
Decentralized Orchestration of Data-centric Workflows Using the Object Modeling System.
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
Proceedings of CBMS 2012, 2012
2011
Proceedings of the International Conference on Computational Science, 2011
A review of grid authentication and authorization technologies and support for federated access control.
ACM Comput. Surv., 2011
The Design, Development and Application of a Proxy Credential Auditing Infrastructure for Collaborative Research.
Proceedings of the E-Technologies: Transformation in a Connected World, 2011
Proceedings of the IEEE 7th International Conference on E-Science, 2011
Proceedings of the 6th Annual International Conference of the Alliance of Digital Humanities Organizations, 2011
Proceedings of the 11th IEEE/ACM International Symposium on Cluster, 2011
Proceedings of the Sixth International Conference on Availability, 2011
2010
Proceedings of the Fourth International Conference on Network and System Security, 2010
Proceedings of the Healthgrid Applications and Core Technologies, 2010
A Distributed Clinical Data Platform for Physiological Studies in the Brain Trauma Domain.
Proceedings of the Sixth International Conference on e-Science, 2010
Proceedings of the Sixth International Conference on e-Science, 2010
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010
2009
Proceedings of the Third International Conference on Network and System Security, 2009
Proceedings of the Large-Scale Scientific Computing, 7th International Conference, 2009
Proceedings of the International Workshop on Portals for Life Sciences, 2009
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2009
Semantic Security: Specification and Enforcement of Semantic Policies for Security-driven Collaborations.
Proceedings of the Healthgrid Research, Innovation and Business Case - Proceedings of HealthGrid 2009, Berlin, Germany, 29 June, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Proceedings of the 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, 2009
Proceedings of the 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, 2009
2008
Proceedings of the Second International Conference on Emerging Security Information, 2008
Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities, Baton Rouge, Louisiana, USA, January 29, 2008
Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities, Baton Rouge, Louisiana, USA, January 29, 2008
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008
Proceedings of the Computational Science, 2008
Proceedings of the Global Healthgrid: e-Science Meets Biomedical Informatics, 2008
Proceedings of the Global Healthgrid: e-Science Meets Biomedical Informatics, 2008
Proceedings of the Fourth International Conference on e-Science, 2008
Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008
2007
User-oriented Security Supporting Inter-disciplinary Life Science Research across the Grid.
New Gener. Comput., 2007
Int. J. Digit. Curation, 2007
Future Gener. Comput. Syst., 2007
Proceedings of the From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences, 2007
Proceedings of the From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences, 2007
Proceedings of the Third International Conference on e-Science and Grid Computing, 2007
Security Oriented e-Infrastructures Supporting Neurological Research and Clinical Trials.
Proceedings of the The Second International Conference on Availability, 2007
Formalising Dynamic Trust Negotiations in Decentralised Collaborative e-Health Systems.
Proceedings of the The Second International Conference on Availability, 2007
Proceedings of the 6th Annual IEEE/ACIS International Conference on Computer and Information Science (ICIS 2007), 2007
2006
Proceedings of the Network-Centric Collaboration and Supporting Frameworks, 2006
Proceedings of the Challenges and Opportunities of HealthGrids, 2006
Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006
Supporting Decentralized, Security Focused Dynamic Virtual Organizations across the Grid.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006
Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006
Grid Infrastructures for Secure Access to and Use of Bioinformatics Data: Experiences from the BRIDGES Project.
Proceedings of the The First International Conference on Availability, 2006
2005
Proceedings of the 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 2005
Proceedings of the Advances in Grid Computing, 2005
Proceedings of the Computational Life Sciences, First International Symposium, 2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Grid Computing in Life Science, 2004
2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
2000
Supporting Service Quality Assurance via Trouble Management.
Proceedings of the Managing QoS in Multimedia Networks and Services, IEEE/IFIP TC6, 2000
Integrated Trouble Management to Support Service Quality Assurance in a Multi-provider Context.
Proceedings of the Telecommunications and IT Convergence Towards Service E-volution, 2000
1999
Experiences modelling and using formal object-oriented telecommunication service frameworks.
Comput. Networks, 1999
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
Proceedings of the Intelligence in Services and Networks, 1999
Engineering Telecommunication Services With SDL.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Modelling Dynamic Distributed Systems in LOTOS.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
1998
Comput. Stand. Interfaces, 1998
1997
PhD thesis, 1997
Comput. Networks ISDN Syst., 1997
1996
Proceedings of the Trends in Distributed Systems: CORBA and Beyond, 1996
1993
DILL: Specifying Digital Logic in LOTOS.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993