Pedro Soares

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 5

Top Topics

American Sign Language

Operational Semantics

Logic Synthesis

Top Venues

J. Log. Algebraic Methods Program.

Publications

Manuela A. D. Aguiar, Ana Dias, Pedro Soares
Towards a Classification of Steady-State Bifurcations for Networks with Asymmetric Inputs. J. Nonlinear Sci. 34 (4) (2024)
Daniel Vieira, Mafalda Almeida, Martin B. Richards, Pedro Soares
An Efficient and User-Friendly Implementation of the Founder Analysis Methodology. PACBB (2019)
Pedro Soares
Synchrony Branching Lemma for Regular Networks. SIAM J. Appl. Dyn. Syst. 16 (4) (2017)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting concurrent separation logic. CoRR (2017)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting concurrent separation logic. J. Log. Algebraic Methods Program. 89 (2017)
Pedro Soares, António Ravara, Simão Melo de Sousa
Revisiting Concurrent Separation Logic and Operational Semantics. PDP (2015)
Cristiane Ellwanger, Cristina Paludo Santos, Pedro Soares, Tiago Luis Weisheimer
Generation glosses: expanding the frontiers interactional in translation process for brazilian sign language. IHC (2015)
Nuno Ferreira, Nuno Santos, Pedro Soares, Ricardo Jorge Machado, Dragan Gasevic
A Demonstration Case on Steps and Rules for the Transition from Process-Level to Software Logical Architectures in Enterprise Models. PoEM (2013)
Marco G. Alves, Joãd Alves, Rui Camacho, Pedro Soares, Luísa Pereira
From Networks to Trees. PACBB (2012)
Nuno Ferreira, Nuno Santos, Pedro Soares, Ricardo Jorge Machado, Dragan Gasevic
Transition from Process- to Product-Level Perspective for Business Software. CONFENIS (2012)
Pedro Soares, Nuno J. Mamede
Timetabling Using Demand Profiles. EPIA (1997)