Pedro Soares

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