SCEAS

The SCEAS System

Title:
Author:

Ondrej Sery: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Cyril Brom, Ondrej Sery, Tomás Poch, Pavel Safrata
GAL: Towards Large Simulations with Tens of Agents. [Citation Graph (0, 0)][DBLP]
IVA, 2005, pp:493- [Conf]
Ondrej Sery, Tomás Poch, Pavel Safrata, Cyril Brom
Level-of-Detail in Behaviour of Virtual Humans. [Citation Graph (0, 0)][DBLP]
SOFSEM, 2006, pp:565-574 [Conf]
Ondrej Serý, Frantisek Plasil
Slicing of Component Behavior Specification with Respect to Their Composition. [Citation Graph (0, 0)][DBLP]
CBSE, 2007, pp:189-202 [Conf]
Cyril Brom, Ondrej Sery, Tomás Poch
Simulation Level of Detail for Virtual Humans. [Citation Graph (0, 0)][DBLP]
IVA, 2007, pp:1-14 [Conf]
UnitCheck: Unit Testing and Model Checking Combined. [Citation Graph (, )][DBLP]
CoCoME in Fractal. [Citation Graph (, )][DBLP]
CoCoME in SOFA. [Citation Graph (, )][DBLP]
Applicability of the BLAST Model Checker: An Industrial Case Study. [Citation Graph (, )][DBLP]
Enhanced Property Specification and Verification in BLAST. [Citation Graph (, )][DBLP]
On Teaching Formal Methods: Behavior Models and Code Analysis. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP