Pedro Soares

According to our database, Pedro Soares authored at least 10 papers between 1997 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

An Efficient and User-Friendly Implementation of the Founder Analysis Methodology.

Daniel Vieira, Mafalda Almeida, Martin B. Richards, Pedro Soares

Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2019

2017

Synchrony Branching Lemma for Regular Networks.

Pedro Soares

SIAM J. Appl. Dyn. Syst., 2017

Revisiting concurrent separation logic.

Pedro Soares, António Ravara, Simão Melo de Sousa

J. Log. Algebraic Methods Program., 2017

2015

Revisiting Concurrent Separation Logic and Operational Semantics.

Pedro Soares, António Ravara, Simão Melo de Sousa

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Generation glosses: expanding the frontiers interactional in translation process for brazilian sign language.

Cristiane Ellwanger, Cristina Paludo Santos, Pedro Soares, Tiago Luis Weisheimer

Proceedings of the 14th Brazilian Symposium on Human Factors in Computing Systems, 2015

2013

A Demonstration Case on Steps and Rules for the Transition from Process-Level to Software Logical Architectures in Enterprise Models.

Nuno Ferreira, Nuno Santos, Pedro Soares, Ricardo Jorge Machado, Dragan Gasevic

Proceedings of the Practice of Enterprise Modeling, 2013

2012

From Networks to Trees.

Marco G. Alves, Joãd Alves, Rui Camacho, Pedro Soares, Luísa Pereira

Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

Transition from Process- to Product-Level Perspective for Business Software.

Nuno Ferreira, Nuno Santos, Pedro Soares, Ricardo Jorge Machado, Dragan Gasevic

Proceedings of the Enterprise Information Systems of the Future, 2012

2009

Modelo de estimaçao dos custos da nao formaçao em saúde no ambito do diagnóstico e tratamento de feridas crónicas: uso de simulação da decisão clínica com ferramentas baseadas na Internet.

Pedro João Soares Gaspar

PhD thesis, 2009

1997

Timetabling Using Demand Profiles.

Pedro Soares, Nuno J. Mamede

Proceedings of the Progress in Artificial Intelligence, 1997