The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anton Wijs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wan Fokkink, Jun Pang, Anton Wijs
    Is Timed Branching Bisimilarity an Equivalence Indeed?. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:258-272 [Conf]
  2. Anton Wijs, Wan Fokkink
    From chi-t to µCRL: Combining Performance and Functional Analysis. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:184-193 [Conf]
  3. E. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, 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:51-104 [Journal]
  4. Muhammad Torabi Dashti, Anton Wijs
    Pruning State Spaces with Extended Beam Search. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:543-552 [Conf]
  5. Anton Wijs
    Achieving Discrete Relative Timing with Untimed Process Algebra. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:35-46 [Conf]
  6. 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:683-689 [Conf]
  7. Anton Wijs, Bert Lisser
    Distributed Extended Beam Search for Quantitative Model Checking. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:166-184 [Conf]

  8. Forgetting the Time in Timed Process Algebra. [Citation Graph (, )][DBLP]


  9. Hierarchical Adaptive State Space Caching Based on Level Sampling. [Citation Graph (, )][DBLP]


  10. Survey on Directed Model Checking. [Citation Graph (, )][DBLP]


  11. Distributed Partial Order Reduction for Security Protocols. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.001secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002