Diogo Miguel Ferreira Poças
AuthID: R-001-0ZM
11
TÃTULO: A New Lower Bound for Deterministic Truthful Scheduling Full Text
AUTORES: Giannakopoulos, Y; Hammerl, A; Pocas, D;
PUBLICAÇÃO: 2021, FONTE: ALGORITHMICA
AUTORES: Giannakopoulos, Y; Hammerl, A; Pocas, D;
PUBLICAÇÃO: 2021, FONTE: ALGORITHMICA
INDEXADO EM: 
WOS
WOS12
TÃTULO: The Competitive Pickup and Delivery Orienteering Problem for Balancing Car-Sharing Systems Full Text
AUTORES: Martin, L; Minner, S; Pocas, D; Schulz, AS;
PUBLICAÇÃO: 2021, FONTE: TRANSPORTATION SCIENCE, VOLUME: 55, NÚMERO: 6
AUTORES: Martin, L; Minner, S; Pocas, D; Schulz, AS;
PUBLICAÇÃO: 2021, FONTE: TRANSPORTATION SCIENCE, VOLUME: 55, NÚMERO: 6
INDEXADO EM: 
Scopus WOS
Scopus WOS13
TÃTULO: Solving Smullyan Puzzles with Formal Systems Full Text
AUTORES: Jose Felix Costa ; Diogo Pocas;
PUBLICAÇÃO: 2018, FONTE: AXIOMATHES, VOLUME: 28, NÚMERO: 2
AUTORES: Jose Felix Costa ; Diogo Pocas;
PUBLICAÇÃO: 2018, FONTE: AXIOMATHES, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS
Scopus WOS14
TÃTULO: Computations with oracles that measure vanishing quantities
AUTORES: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLICAÇÃO: 2017, FONTE: Workshop on Continuity, Computability, Constructivity - From Logic to Algorithms in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 27, NÚMERO: 8
AUTORES: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLICAÇÃO: 2017, FONTE: Workshop on Continuity, Computability, Constructivity - From Logic to Algorithms in MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 27, NÚMERO: 8
INDEXADO EM: WOS
WOS16
TÃTULO: SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION
AUTORES: Luca Manzoni; Diogo Pocas; Antonio E Porreca;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 4
AUTORES: Luca Manzoni; Diogo Pocas; Antonio E Porreca;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 25, NÚMERO: 4
INDEXADO EM: WOS
WOS17
TÃTULO: SIMPLE REACTION SYSTEMS AND THEIR CLASSIFICATION Full Text
AUTORES: LUCA MANZONI; DIOGO POÇAS; ANTONIO E PORRECA;
PUBLICAÇÃO: 2014, FONTE: Int. J. Found. Comput. Sci. - International Journal of Foundations of Computer Science, VOLUME: 25, NÚMERO: 04
AUTORES: LUCA MANZONI; DIOGO POÇAS; ANTONIO E PORRECA;
PUBLICAÇÃO: 2014, FONTE: Int. J. Found. Comput. Sci. - International Journal of Foundations of Computer Science, VOLUME: 25, NÚMERO: 04
INDEXADO EM: 
CrossRef
CrossRef18
TÃTULO: Oracles that measure thresholds: the Turing machine and the broken balance
AUTORES: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, NÚMERO: 6
AUTORES: Edwin Beggs; Jose Felix Costa ; Diogo Pocas; John V Tucker;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, NÚMERO: 6
19
TÃTULO: On the Power of Threshold Measurements as Oracles
AUTORES: Beggs, E; Costa, JF ; Pocas, D; Tucker, JV;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Unconventional Computation and Natural Computation (UCNC) in UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, VOLUME: 7956
AUTORES: Beggs, E; Costa, JF ; Pocas, D; Tucker, JV;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Unconventional Computation and Natural Computation (UCNC) in UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, VOLUME: 7956
INDEXADO EM: Scopus WOS
Scopus WOS