Rosemary Monahan

Maynooth University

Ireland

Research Interests

Explore related searches

Professors in Ireland Professors in Artificial Intelligence Artificial Intelligence professors in Ireland

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (9)

Year:

2025

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Collaborators (4)

Marieke Huisman

University of Twente

NETHERLANDS

View details

Jonathan Lambert

Associate Lecturer

National College of Ireland

IRELAND

View details

Marie Farrell

The University of Manchester

UNITED KINGDOM

View details

Matt Luckcuck

Lecturer in Computer Science

University of Derby

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Rosemary Monahan

Research Interests

Explore related searches

Contact this professor

Articles (9)

Comparing differentiable logics for learning with logical constraints

Reasoning about logical systems in the Coq proof assistant

CSP2Turtle: Verified Turtle Robot Plans

Introduction to the Special Collection from iFM 2022

Visualization of AI Systems in Virtual Reality: A Comprehensive Review

Building Specifications in the Event-B Institution

Accidental Choices—How JVM Choice and Associated Build Tools Affect Interpreter Performance

VerifyThis 2019

Power Consumption Profiling of a Lightweight Development Board: Sensing with the INA219 and Teensy 4.0 Microcontroller

Collaborators (4)

Marieke Huisman

Jonathan Lambert

Marie Farrell

Matt Luckcuck

Make your next move.