António Manuel Pacheco Pires
AuthID: R-000-2AX
61
TÃTULO: SOJOURN AND PASSAGE TIMES IN MARKOV CHAINS
AUTORES: CLÁUDIA NUNES; ANTÓNIO PACHECO;
PUBLICAÇÃO: 2002, FONTE: Matrix-Analytic Methods
AUTORES: CLÁUDIA NUNES; ANTÓNIO PACHECO;
PUBLICAÇÃO: 2002, FONTE: Matrix-Analytic Methods
62
TÃTULO: Model checking CSL until formulae with random time bounds
AUTORES: Marta Kwiatkowska; Gethin Norman; António Pacheco;
PUBLICAÇÃO: 2002, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2399
AUTORES: Marta Kwiatkowska; Gethin Norman; António Pacheco;
PUBLICAÇÃO: 2002, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2399
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID63
TÃTULO: A MARKOVIAN STORAGE MODEL
AUTORES: Antonio Pacheco; Prabhu, NU;
PUBLICAÇÃO: 1996, FONTE: ANNALS OF APPLIED PROBABILITY, VOLUME: 6, NÚMERO: 1
AUTORES: Antonio Pacheco; Prabhu, NU;
PUBLICAÇÃO: 1996, FONTE: ANNALS OF APPLIED PROBABILITY, VOLUME: 6, NÚMERO: 1
INDEXADO EM: 
WOS
WOS NO MEU: ORCID
ORCID64
TÃTULO: A storage model for data communication systems
AUTORES: Prabhu, NU; Pacheco, A;
PUBLICAÇÃO: 1995, FONTE: THEORY OF PROBABILITY AND ITS APPLICATIONS, VOLUME: 39, NÚMERO: 4
AUTORES: Prabhu, NU; Pacheco, A;
PUBLICAÇÃO: 1995, FONTE: THEORY OF PROBABILITY AND ITS APPLICATIONS, VOLUME: 39, NÚMERO: 4
65
TÃTULO: A Storage Model for Data Communication Systems
AUTORES: Prabhu, NU; Pacheco, A;
PUBLICAÇÃO: 1995, FONTE: Theory of Probability & Its Applications, VOLUME: 39, NÚMERO: 4
AUTORES: Prabhu, NU; Pacheco, A;
PUBLICAÇÃO: 1995, FONTE: Theory of Probability & Its Applications, VOLUME: 39, NÚMERO: 4
