Michael Martins

Learn More
Object oriented (OO) programming techniques can be applied to equational specification logics by distinguishing visible data from hidden data (i.e., by distinguishing the output of methods from the objects to which the methods apply), and then focusing on the behavioral equivalence of hidden data in the sense introduced by H. Reichel in 1984. Equational(More)
We present "Second Look", a platform of interactive surfaces and wearable computing for helping people, in particular creative writers, to overcome writer's block. The novelty of our systems stems from the addition of wearable devices (Google Glass) and crowdsourcing to improve creative writing on tablets and phones. A primary challenge in developing and(More)
We present "Second Look", a platform for helping people, in particular creative writers, to overcome writer's block. This ubiquitous platform combines augmented reality (Google Glass and AR markers), ubiquitous computing (mobile phones), and crowdsourcing in order to improve the creativity, focus and performance of creative writers. A primary challenge in(More)
Behavioral Abstract Algebraic Logic Abstract. We introduce and study a generalization of the theory of abstract algebraic logic (AAL), that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of the traditional theory of AAL towards providing a(More)
  • 1