
Search the dblp DataBase
Anton Wijs:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Wan Fokkink, Jun Pang, Anton Wijs
Is Timed Branching Bisimilarity an Equivalence Indeed?. [Citation Graph (0, 0)][DBLP] FORMATS, 2005, pp:258272 [Conf]
 Anton Wijs, Wan Fokkink
From chit to µCRL: Combining Performance and Functional Analysis. [Citation Graph (0, 0)][DBLP] ICECCS, 2005, pp:184193 [Conf]
 E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de MortelFronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda
Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:65, n:2, pp:51104 [Journal]
 Muhammad Torabi Dashti, Anton Wijs
Pruning State Spaces with Extended Beam Search. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:543552 [Conf]
 Anton Wijs
Achieving Discrete Relative Timing with Untimed Process Algebra. [Citation Graph (0, 0)][DBLP] ICECCS, 2007, pp:3546 [Conf]
 Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
Distributed Analysis with mu CRL: A Compendium of Case Studies. [Citation Graph (0, 0)][DBLP] TACAS, 2007, pp:683689 [Conf]
 Anton Wijs, Bert Lisser
Distributed Extended Beam Search for Quantitative Model Checking. [Citation Graph (0, 0)][DBLP] MoChArt, 2006, pp:166184 [Conf]
Forgetting the Time in Timed Process Algebra. [Citation Graph (, )][DBLP]
Hierarchical Adaptive State Space Caching Based on Level Sampling. [Citation Graph (, )][DBLP]
Survey on Directed Model Checking. [Citation Graph (, )][DBLP]
Distributed Partial Order Reduction for Security Protocols. [Citation Graph (, )][DBLP]
Search in 0.000secs, Finished in 0.001secs
