People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
... Formulae for Timed Automata"), Joana Isabel Louro Migueus (jointly supervised with Ana Martins and Yasser Omar in Lisbon; thesis on "Quantum Data Compression"), and Joana Martinho ...
Joana Martinho, António Ravara On the Analysis of Compensation Correctness 2010 @ other publications Cátia Vaz, Carla Ferreira Aspect-Oriented Specification: A Case Study in ...
Joana Martinho. The pi-calculus with polyadic synchronization. 2004. Daniel Graça. The general purpose analog computer and recursive functions over the reals. 2002.
Joana Martinho. Comparação dos sistemas de transição early e late do cálculo pi. O cálculo pi introduzido por Milner, Parrow e Walker é usado para modelar ...
author = { Joana Martinho and António Ravara, Antonio Ravara, A. Ravara }, title = { Encoding cryptographic primitives in a calculus with polyadic synchronization },
Linkedin