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