• 1
  • 2
  • 5
  • 6
  • 3
  • 4
IPM
30
YEARS OLD

“Papers of School of Computer Science”

Back to Papers Home
 

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

Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
Clients Logo
scroll left or right