Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A formally based hard real-time kernel., , , and . Microprocess. Microsystems, 18 (9): 513-521 (1994)Integrating AORTA with Model-Based Data Specification Languages., , , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 54-70. Springer, (1998)ExBERT: An External Knowledge Enhanced BERT for Natural Language Inference., , and . ICANN (5), volume 12895 of Lecture Notes in Computer Science, page 460-472. Springer, (2021)Designing and Implementing Correct Real-Time Systems., , , and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 228-246. Springer, (1994)Computing Education Research in the UK & Ireland., , , , , , , and . Past, Present and Future of Computing Education Research, Springer, (2023)Creative Assessment in Programming: Diversity and Divergence.. CEP, page 13:1-13:4. ACM, (2020)An Exploration of Dropout with RNNs for Natural Language Inference., , , , and . ICANN (3), volume 11141 of Lecture Notes in Computer Science, page 157-167. Springer, (2018)PRIMM and Proper: Authentic Investigation in HE Introductory Programming with PeerWise and GitHub., and . CEP, page 33-36. ACM, (2024)Modeling Women's Elective Choices in Computing., , , , , , , , , and 2 other author(s). ITiCSE-WGR, page 196-226. ACM, (2023)A Formal Design and Implementation Method for Real-Time Embedded Systems., , , , and . EUROMICRO, page 77-. IEEE Computer Society, (1996)