Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Browsing by Subject Stochastic Automata Networks
Skip to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
3
5
10
15
20
25
30
35
40
45
50
Showing rec. 1 to 8 of 8
Issue Date
Title
Author(s)
2013
A CTL Model Checker for Stochastic Automata Networks
Lucas G. Oleksinski
;
Claiton M. Correa
;
Fernando Luis Dotti
, et al
2013
A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns
Afonso Henrique Corrêa de Sales
;
Joaquim Assunção
;
Luciana da Silveira Espindola
, et al
2011
Performance Prediction of Parallel Applications with Parallel Patterns Using Stochastic Methods
Mateus Raeder
;
Dalvan Jair Griebler
;
Lucas Baldo
, et al
2012
SAN Lite-Solver: a user-friendly software tool to solve SAN models
Afonso Henrique Corrêa de Sales
2012
Setting up a stochastic model for teams working in a follow-the-sun environment
Alan R. Santos
;
Afonso Henrique Corrêa de Sales
;
Paulo Henrique Lemelle Fernandes
2012
Setting up a stochastic model for teams working in a follow-the-sun environment
Alan R. Santos
;
Afonso Henrique Corrêa de Sales
;
Paulo Henrique Lemelle Fernandes
2011
Structured Markovian models for discrete spatial mobile node distribution
Fernando Luís Dotti
;
Fernandes, Paulo
;
Nunes, Cristina M.
2014
Unsupervised Model Generation for Geological Events
Joaquim Assunção
;
Paulo Henrique Lemelle Fernandes
;
Tiago Vier Fischer
, et al