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