Vashti Galpin

James Cheney

CoRR, 2022

Language-Integrated Query for Temporal Data.

[BibT_eX]

[DOI]

Simon Fowler

James Cheney

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

Curating Covid-19 Data in Links.

[BibT_eX]

[DOI]

James Cheney

Proceedings of the Provenance and Annotation of Data and Processes, 2021

2019

Guest editors' foreword.

[BibT_eX]

[DOI]

Paolo Milazzo

Anna Monreale

J. Log. Algebraic Methods Program., 2019

2018

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Statistical Analysis of CARMA Models: an Advanced Tutorial.

[BibT_eX]

[DOI]

Proceedings of the 2018 Winter Simulation Conference, 2018

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2018

Formal Modelling of Software Defined Networking.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2016

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.

[BibT_eX]

[DOI]

Cheng Feng

ACM Trans. Model. Comput. Simul., 2016

Modelling movement for collective adaptive systems with CARMA.

[BibT_eX]

[DOI]

Natalia Zon

Stephen Gilmore

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Spatial Representations and Analysis Techniques.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Modelling Ambulance Deployment with CarmaCARMA.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Quantitative Modelling of Residential Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

2014

Hybrid semantics for Bio-PEPA.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.

[BibT_eX]

[DOI]

CoRR, 2014

Modelling Residential Smart Energy Schemes.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

2013

HYPE: Hybrid modelling by composition of flows.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Rosen's (M, R) system in process algebra.

[BibT_eX]

[DOI]

Derek Gatherer

BMC Syst. Biol., 2013

2012

Hybrid performance modelling of opportunistic networks

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2012

2011

A semantic equivalence for Bio-PEPA based on discretisation of continuous values.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Equivalences for a biological process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

A semi-quantitative equivalence for abstracting from fast reactions

[BibT_eX]

[DOI]

Federica Ciocchetta

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

2010

Continuous approximation of PEPA models and Petri nets.

[BibT_eX]

[DOI]

Int. J. Comput. Aided Eng. Technol., 2010

Hybrid Semantics for PEPA.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

2009

Bounds on series-parallel slowdown

[BibT_eX]

[DOI]

András Z. Salamon

CoRR, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Equivalence and Discretisation in Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Modelling Network Performance with a Spatial Stochastic Process Algebra.

[BibT_eX]

[DOI]

Gloria Childress Townsend

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Women in Computing.

[BibT_eX]

[DOI]

Joanne McGrath Cohoon

Paula Gabbert

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

HYPE Applied to the Modelling of Hybrid Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Perceptions of Computer Science at a South African university.

[BibT_eX]

[DOI]

Ian Douglas Sanders

Comput. Educ., 2007

Students' mental models of recursion at wits.

[BibT_eX]

[DOI]

Ian Douglas Sanders

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Learning styles and personality types of computer science students at a South African university.

[BibT_eX]

[DOI]

Ian Douglas Sanders

Pei-yu Chen

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

2006

Mental models of recursion revisited.

[BibT_eX]

[DOI]

Tina Götschi

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2003

A format for semantic equivalence comparison.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Computer self-efficacy, gender, and educational background in South Africa.

[BibT_eX]

[DOI]

IEEE Technol. Soc. Mag., 2003

Mental models of recursion.

[BibT_eX]

[DOI]

Tina Götschi

Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

2002

Women in computing around the world.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2002

2000

Algebraic results for structured operational semantics.

[BibT_eX]

[DOI]

South Afr. Comput. J., 2000

A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.

[BibT_eX]

[DOI]

South Afr. Comput. J., 2000

1999

Comparison of Process Algebra Equivalences Using Formats.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1999

Development of a Decentralized Virtual Service Redirector for Internet Applications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1998

Equivalence semantics for concurrency : comparison and application.

[BibT_eX]

[DOI]

PhD thesis, 1998

1995

A Lift Simulation Prototype.

[BibT_eX]

[DOI]

S. T. Rock

Softw. Pract. Exp., 1995

1994

A Survey of Attitudes to Computing at the University of the Witwatersrand.

[BibT_eX]

Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries, 1994

1993

Gender imbalances in computer science at the University of the Witwatersrand.

[BibT_eX]

[DOI]