“Papers of School of Computer Science”
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
271. M. M. Jaghoori, A. Movaghar and M. Sirjani,
Modere: the model-checking engine of Rebeca,
in: SAC, , 2006, pp. 1810 - 181 [abstract]
272. M. Sirjani,
A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems,
in: ICTTA, , 2006, pp. 3028-3033 [abstract]
273. M. Sirjani, M. M. Jaghoori, C. Baier and F. Arbab,
compositional semantics of an actor-based language using constraint automata,
in: , 4038, 2006, pp. 281-297 [abstract]
274. F. Alavizadeh and M. Sirjani,
Using UML to Develop Verifiable Reactive Systems,
in: SERP, , 2006, pp. 554-561 [abstract]
275. N. Razavi and M. Sirjani,
Using Reo for formal specification and verification of system designs,
in: MEMOCODE, , 2006, pp. 113-122 [abstract]
276. M. Nouri Bygi, F. Chitfroush, M. Yazdandoost and M. Ghodsi,
Kinetic Polar Diagram,
(to appear) [abstract]
277. A. Hedayati, S. Parsa and M. Ghodsi,
Touring a Sequence of Polygons in Weighted Regions,
in: CSICC, , 2006, pp. [abstract]
278. A. Zarei and M. Ghodsi,
Exact Visibility Maintenance in Planar Polygonal Scenes in Practical Applications,
in: CSICC, , 2006, pp. [abstract]
279. M. NouriBaygi and M. Ghodsi,
3D Visibility Graphs,
in: CSICC, , 2006, pp. [abstract]
280. F. Rostamabadi and M. Ghodsi,
Label updating to avoid point-shaped obstacles in fixed model,
Theoretical Computer Science 396(2006), 197-210 [abstract]
back to top
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
