dblp.uni-trier.dewww.uni-trier.de

Anton Wijs Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
11EERadu Mateescu, Anton Wijs: Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229
2008
10EEStefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
9EEMuhammad Torabi Dashti, Anton Wijs, Bert Lisser: Distributed Partial Order Reduction for Security Protocols. Electr. Notes Theor. Comput. Sci. 198(1): 93-99 (2008)
8EEWan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Inform. 87(3-4): 287-311 (2008)
2007
7EEMuhammad Torabi Dashti, Anton Wijs: Pruning State Spaces with Extended Beam Search. ATVA 2007: 543-552
6EEAnton Wijs: Achieving Discrete Relative Timing with Untimed Process Algebra. ICECCS 2007: 35-46
5EEStefan 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. TACAS 2007: 683-689
2006
4EEAnton Wijs, Bert Lisser: Distributed Extended Beam Search for Quantitative Model Checking. MoChArt 2006: 166-184
2005
3EEWan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272
2EEAnton Wijs, Wan Fokkink: From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS 2005: 184-193
1EEE. 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. J. Log. Algebr. Program. 65(2): 51-104 (2005)

Coauthor Index

1Husain Aljazzar [10]
2Jos C. M. Baeten [1]
3Stefan Blom [5]
4E. M. Bortnik [1]
5Dragan Bosnacki [10]
6Jens R. Calame [5]
7Muhammad Torabi Dashti [5] [7] [9]
8Stefan Edelkamp [10]
9Ansgar Fehnker [10]
10Wan Fokkink [1] [2] [3] [8]
11Bert Lisser [4] [5] [9]
12Bas Luttik (S. P. Luttik) [1]
13Radu Mateescu [11]
14J. M. van de Mortel-Fronczak [1]
15Simona Orzan [5]
16Jun Pang [3] [5] [8]
17Jaco van de Pol [5]
18J. E. Rooda [1]
19Viktor Schuppan [10]
20Nikola Trcka [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)