Rex D. Fernando

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Topics

Logical Reasoning

Condition Action Rules

Modular Architecture

Event Recognition

Top Venues

LNCS Trans. Modul. Compos.

Publications

Eric Bach, Rex D. Fernando
Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test. ISSAC (2016)
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
Modular Reasoning in the Presence of Event Subtyping. LNCS Trans. Modul. Compos. 1 (2016)
Eric Bach, Rex D. Fernando
Infinitely Many Carmichael Numbers for a Modified Miller-Rabin Prime Test. CoRR (2015)
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
Modular reasoning in the presence of event subtyping. MODULARITY (2015)
Rex D. Fernando, Robert Dyer, Hridesh Rajan
Event type polymorphism. FOAL (2012)
Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter
Modularizing crosscutting concerns with ptolemy. OOPSLA Companion (2011)