Wan Fokkink

	2012
137		Davide Ceolin, Archana Nottamkandath, Wan Fokkink: Automated Evaluation of Annotators for Museum Collections Using Subjective Logic. IFIPTM 2012: 232-239
136		Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. 214: 59-85 (2012)
	2011
135		Abolhassan Shamsaie, Wan Fokkink, Jafar Habibi: Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks. EPEW 2011: 174-188
134		Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink: Stochastic Restricted Broadcast Process Theory. EPEW 2011: 72-86
133		Elzbieta Krepska, Thilo Kielmann, Wan Fokkink, Henri E. Bal: A High-Level Framework for Distributed Processing of Large-Scale Graphs. ICDCN 2011: 155-166
132		Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal: Distributed MAP in the SpinJa Model Checker PDMC 2011: 84-90
131		Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen: A Modeling Framework for Gossip-based Information Spread. QEST 2011: 245-254
130		Davide Ceolin, Willem Robert van Hage, Wan Fokkink, Guus Schreiber: Estimating Uncertainty of Categorical Web Data. URSW 2011: 15-26
129		Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen: A Modeling Framework for Gossip-based Information Spread CoRR abs/1105.5986: (2011)
128		Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang: Fast leader election in anonymous rings with bounded expected delay. Inf. Process. Lett. 111(17): 864-870 (2011)
127		Elzbieta Krepska, Thilo Kielmann, Wan Fokkink, Henri E. Bal: HipG: parallel processing of large-scale graphs. Operating Systems Review 45(2): 3-13 (2011)
126		Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Eval. 68(2): 157-179 (2011)
125		Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412(28): 3262-3282 (2011)
	2010
124		Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs: Partial Order Reduction for Branching Security Protocols. ACSD 2010: 191-200
123		Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink: Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD 2010: 85-92
122		Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink: Embedded Network Protocols for Mobile Devices. FMICS 2010: 164-179
121		Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang: Brief announcement: asynchronous bounded expected delay networks. PODC 2010: 392-393
120		Stefan Vijzelaar, Herbert Bos, Wan Fokkink: Brief announcement: a shared disk on distributed storage. PODC 2010: 79-80
119		Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort: Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST 2010: 241-250
118		Maciej Gazda, Wan Fokkink: Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics SOS 2010: 15-25
117		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting non-finite axiomatizability results to extensions of process algebras. Acta Inf. 47(3): 147-177 (2010)
116		Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang: Asynchronous Bounded Expected Delay Networks CoRR abs/1003.2084: (2010)
115		Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Inform. 105(4): 375-415 (2010)
	2009
114		Wan Fokkink: Process Algebra: An Algebraic Theory of Concurrency. CAI 2009: 47-77
113		Maciej Gazda, Wan Fokkink: Modal Logic and the Approximation Induction Principle EXPRESS 2009: 41-50
112		Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Elzbieta Krepska: What Can Formal Methods Bring to Systems Biology? FM 2009: 16-22
111		Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Equational Reasoning on Ad Hoc Networks. FSEN 2009: 113-128
110		Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN 2009: 308-323
109		Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen: An Analytical Model of Information Dissemination for a Gossip-Based Protocol. ICDCN 2009: 230-242
108		Ana-Maria Oprescu, Thilo Kielmann, Wan Fokkink: FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications. ICDCN 2009: 368-376
107		Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256
106		Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM 2009: 167-180
105		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A finite equational base for CCS with left merge and communication merge. ACM Trans. Comput. Log. 10(1): (2009)
104		Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa: Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. Bioinformatics 25(16): 2049-2056 (2009)
103		Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa: Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. Bioinformatics 25(19): 2624 (2009)
102		Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen: An analytical model of information dissemination for a gossip-based protocol. Computer Networks 53(13): 2288-2303 (2009)
101		Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann: Preface. J. Log. Algebr. Program. 78(4): (2009)
	2008
100		Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. Usenko: Towards Formal Verification of ToolBusScripts. AMAST 2008: 160-166
99		Bahareh Badban, Wan Fokkink, Jaco van de Pol: Mechanical Verification of a Two-Way Sliding Window Protocol. CPA 2008: 179-202
98		Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa: Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. FMSB 2008: 48-62
97		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. IFIP TCS 2008: 301-316
96		Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol: Leader Election in Anonymous Rings: Franklin Goes Probabilistic. IFIP TCS 2008: 57-72
95		Taolue Chen, Wan Fokkink: On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. LICS 2008: 156-165
94		Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar: Restricted Broadcast Process Theory. SEFM 2008: 345-354
93		Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann: Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS 94: 113-129 (2008)
92		Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen: An Analytical Model of Information Dissemination for a Gossip-based Protocol CoRR abs/0810.1571: (2008)
91		Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: On Finite Bases for Weak Semantics: Failures versus Impossible Futures CoRR abs/0810.4904: (2008)
90		Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity a Congruence Indeed? Fundam. Inform. 87(3-4): 287-311 (2008)
89		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Cancellation Theorem for BCCSP. Fundam. Inform. 88(1-2): 1-21 (2008)
88		Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain: On finite alphabets and infinite bases. Inf. Comput. 206(5): 492-519 (2008)
87		Taolue Chen, Wan Fokkink, Rob J. van Glabbeek: Ready to preorder: The case of weak process semantics. Inf. Process. Lett. 109(2): 104-111 (2008)
86		Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 75(1): 1-2 (2008)
85		Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the axiomatisability of priority. Mathematical Structures in Computer Science 18(1): 5-28 (2008)
84		Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort: MeanField analysis for the evaluation of gossip protocols. SIGMETRICS Performance Evaluation Review 36(3): 31-39 (2008)
	2007
83		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO 2007: 65-79
82		Wan Fokkink, Allard Kakebeen, Jun Pang: Adapting the UPPAAL Model of a Distributed Lift System. FSEN 2007: 81-97
81		Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 70(2): 119-120 (2007)
80		Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema: Model checking a cache coherence protocol of a Java DSM implementation. J. Log. Algebr. Program. 71(1): 1-43 (2007)
79		Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 72(1): 1-2 (2007)
78		Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort: Formal analysis techniques for gossiping protocols. Operating Systems Review 41(5): 28-36 (2007)
	2006
77		Taolue Chen, Wan Fokkink: On Finite Alphabets and Infinite Bases III: Simulation. CONCUR 2006: 421-434
76		Taolue Chen, Wan Fokkink, Sumit Nain: On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. FoSSaCS 2006: 1-15
75		Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the Axiomatizability of Priority. ICALP (2) 2006: 480-491
74		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A Finite Equational Base for CCS with Left Merge and Communication Merge. ICALP (2) 2006: 492-503
73		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A Finite Equational Base for CCS with Left Merge and Communication Merge CoRR abs/cs/0608001: (2006)
72		Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence Applied to eta-Bisimulation. Electr. Notes Theor. Comput. Sci. 156(1): 97-113 (2006)
71		Luca Aceto, Wan Fokkink: The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. Electr. Notes Theor. Comput. Sci. 162: 43-48 (2006)
70		Wan Fokkink, Jun Pang, Jaco van de Pol: Cones and foci: A mechanical framework for protocol verification. Formal Methods in System Design 29(1): 1-31 (2006)
69		Wan Fokkink, Jun Pang: Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM. J. UCS 12(8): 981-1006 (2006)
68		Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner logic by structural operational semantics. Theor. Comput. Sci. 354(3): 421-440 (2006)
67		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain: Bisimilarity is not finitely based over BPA with interrupt. Theor. Comput. Sci. 366(1-2): 60-81 (2006)
	2005
66		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain: Bisimilarity Is Not Finitely Based over BPA with Interrupt. CALCO 2005: 52-66
65		Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO 2005: 195-218
64		Wan Fokkink, Jun Pang, Anton Wijs: Is Timed Branching Bisimilarity an Equivalence Indeed?. FORMATS 2005: 258-272
63		Wan Fokkink, Sumit Nain: A Finite Basis for Failure Semantics. ICALP 2005: 755-765
62		Anton Wijs, Wan Fokkink: From chi-t to µCRL: Combining Performance and Functional Analysis. ICECCS 2005: 184-193
61		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles 2005: 338-367
60		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge CoRR abs/cs/0501040: (2005)
59		Luca Aceto, Wan Fokkink, Irek Ulidowski: Preface. Electr. Notes Theor. Comput. Sci. 128(1): 1- (2005)
58		Wan Fokkink, Jun Pang: Simplifying Itai-Rodeh Leader Election for Anonymous Rings. Electr. Notes Theor. Comput. Sci. 128(6): 53-68 (2005)
57		Wan Fokkink, Jun Pang: Formal Verification of Timed Systems Using Cones and Foci. Electr. Notes Theor. Comput. Sci. 139(1): 105-122 (2005)
56		Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol: Verification of a sliding window protocol in µCRL and PVS. Formal Asp. Comput. 17(3): 342-388 (2005)
55		Elena 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)
54		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. Logical Methods in Computer Science 1(1): (2005)
53		Wan Fokkink, Jaap-Henk Hoepman, Jun Pang: A Note on K-State Self-stabilization in a Ring with K=N. Nord. J. Comput. 12(1): 18-26 (2005)
52		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: CCS with Hennessy's merge has no finite-equational axiomatization. Theor. Comput. Sci. 330(3): 377-405 (2005)
51		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik: Guest editors' foreword: Process Algebra. Theor. Comput. Sci. 335(2-3): 127-129 (2005)
	2004
50		Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
49		Wan Fokkink, Sumit Nain: On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds. FoSSaCS 2004: 182-194
48		Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence formats for decorated trace semantics. ACM Trans. Comput. Log. 5(1): 26-78 (2004)
47		Wan Fokkink, Jan Friso Groote, Michel A. Reniers: Process Algebra Needs Proof Methodology (Columns: Concurrency). Bulletin of the EATCS 82: 109-125 (2004)
46		Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir: Nested semantics over finite trees are equationally hard. Inf. Comput. 191(2): 203-232 (2004)
45		Luca Aceto, Wan Fokkink: Guesteditors'introduction: Special issue on Structural Operational Semantics. J. Log. Algebr. Program. 60-61: 1-2 (2004)
	2003
44		Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind: Compositionality of Hennessy-Milner Logic through Structural Operational Semantics. FCT 2003: 412-422
43		Wan Fokkink, Jun Pang: Cones and Foci for Protocol Verification Revisited. FoSSaCS 2003: 267-281
42		Stefan Blom, Wan Fokkink, Sumit Nain: On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. ICALP 2003: 109-118
41		Jun Pang, Bart Karstens, Wan Fokkink: Analyzing the Redesign of a Distributed Lift System in UPPAAL. ICFEM 2003: 504-522
40		Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald Veldema: Model Checking a Cache Coherence Protocol for a Java DSM Implementation. IPDPS 2003: 238
39		Wan Fokkink, Thuy Duong Vu: Structural operational semantics and bounded nondeterminism. Acta Inf. 39(6-7): 501-516 (2003)
38		Thomas Arts, Wan Fokkink: Preface. Electr. Notes Theor. Comput. Sci. 80: 310-311 (2003)
37		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A note on an expressiveness hierarchy for multi-exit iteration. Inf. Process. Lett. 87(1): 17-23 (2003)
	2002
36		Wan Fokkink, Natalia Ioustinova, Ernst Kesseler, Jaco van de Pol, Yaroslav S. Usenko, Yuri A. Yushtein: Refinement and Verification Applied to an In-Flight Data Acquisition Unit. CONCUR 2002: 1-23
35		Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Semantics CoRR cs.LO/0204039: (2002)
	2001
34		Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: µCRL: A Toolset for Analysing Algebraic Specifications. CAV 2001: 250-254
33		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. STACS 2001: 39-50
32		Luca Aceto, Wan Fokkink, Chris Verhoef: Conservative Extension in Structural Operational Semantics. Current Trends in Theoretical Computer Science 2001: 504-524
31		Luca Aceto, Wan Fokkink: Preface: Process Algebra. Inf. Process. Lett. 80(1): 1 (2001)
	2000
30		Wan Fokkink: Introduction to process algebra. Springer 2000: I-VIII, 1-163
29		Wan Fokkink, S. P. Luttik: An omega-Complete Equational Specification of Interleaving. ICALP 2000: 729-743
28		Bard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Preorders. LICS 2000: 107-118
27		Wan Fokkink, Jasper Kamperman, Pum Walters: Lazy rewriting on eager machinery. ACM Trans. Program. Lang. Syst. 22(1): 45-86 (2000)
26		Wan Fokkink: Rooted Branching Bisimulation as a Congruence. J. Comput. Syst. Sci. 60(1): 13-37 (2000)
25		Wan Fokkink: Language preorder as a precongruence. Theor. Comput. Sci. 243(1-2): 391-408 (2000)
	1999
24		Wan Fokkink, Chris Verhoef: Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. FASE 1999: 98-113
23		Luca Aceto, Wan Fokkink, Chris Verhoef: Conservative Extension in Structural Operational Semantics. Bulletin of the EATCS 69: 110-132 (1999)
	1998
22		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Cook's Tour of Equational Axiomatizations for Prefix Iteration. FoSSaCS 1998: 20-34
21		Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen: EURIS, a Specification Method for Distributed Interlockings. SAFECOMP 1998: 296-305
20		Wan Fokkink, Jasper Kamperman, Pum Walters: Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems. ACM Trans. Program. Lang. Syst. 20(3): 679-706 (1998)
19		Wan Fokkink, Chris Verhoef: A Conservative Look at Operational Semantics with Variable Binding. Inf. Comput. 146(1): 24-54 (1998)
18		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. Mathematical Structures in Computer Science 8(3): 193-230 (1998)
17		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. Theor. Comput. Sci. 209(1-2): 163-178 (1998)
	1997
16		Wan Fokkink: Axiomatizations for the Perpetual Loop in Process Algebra. ICALP 1997: 571-581
15		Wan Fokkink, Jaco van de Pol: Simulation as a Correct Transformation of Rewrite Systems. MFCS 1997: 249-258
14		Wan Fokkink: An Axiomatization for Regular Processes in Times Branching Bisimulation. Fundam. Inform. 32(3-4): 329-340 (1997)
13		Luca Aceto, Wan Fokkink: An Equational Axiomatization for Multi-Exit Iteration. Inf. Comput. 137(2): 121-158 (1997)
12		Wan Fokkink: Unification for Infinite Sets of Equations Between Finite Terms. Inf. Process. Lett. 62(4): 183-188 (1997)
11		Wan Fokkink, Hans Zantema: Termination Modulo Equations by Abstract Commutation with an Application to Iteration. Theor. Comput. Sci. 177(2): 407-423 (1997)
	1996
10		Wan Fokkink: On the Completeness of the Euations for the Kleene Star in Bisimulation. AMAST 1996: 180-194
9		Wan Fokkink: A Complete Axiomatization for Prefix Iteration in Branching Bisimulation. Fundam. Inform. 26(2): 103-113 (1996)
8		Wan Fokkink, Rob J. van Glabbeek: Ntyft/Ntyxt Rules Reduce to Ntree Rules. Inf. Comput. 126(1): 1-10 (1996)
7		Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. 127(1): 26-40 (1996)
	1995
6		Wan Fokkink, Steven Klusener: An Effective Axiomatization for Real Time ACP. Inf. Comput. 122(2): 286-299 (1995)
	1994
5		Wan Fokkink: The Tyft/Tyxt Format Reduces to Tree Rules. TACS 1994: 440-453
4		Wan Fokkink, Hans Zantema: Basic Process Algebra with Iteration: Completeness of its Equational Axioms. Comput. J. 37(4): 259-268 (1994)
3		Wan Fokkink: A Complete Equational Axiomatization for Prefix Iteration. Inf. Process. Lett. 52(6): 333-337 (1994)
	1993
2		Wan Fokkink: An Elimination Theorem for Regular Behaviours with Integration. CONCUR 1993: 432-446
	1991
1		Wan Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen: LARIS 1.0 - LAnguage for Railway Interlooking Specifications. CWI 1991: I-VI, 1-129

Coauthor Index

1	Luca Aceto	[7] [13] [17] [18] [22] [23] [31] [32] [33] [37] [45] [46] [51] [52] [54] [59] [60] [61] [66] [67] [71] [73] [74] [75] [79] [81] [83] [85] [86] [89] [93] [97] [101] [105] [117]
2	Thomas Arts	[38]
3	Bahareh Badban	[50] [56] [99]
4	Jos C. M. Baeten	[55] [93] [101]
5	Rena Bakhshi	[78] [84] [92] [96] [102] [107] [109] [116] [119] [121] [126] [128] [129] [131]
6	Henri E. Bal	[98] [103] [104] [127] [132] [133]
7	Stefan Blom	[34] [42]
8	Bard Bloom	[28] [35] [48]
9	François Bonnet	[78]
10	Nicola Bonzanni	[98] [103] [104] [112]
11	Elena M. Bortnik	[55]
12	Herbert Bos	[120]
13	Mario Bravetti	[79] [81] [86]
14	Davide Ceolin	[130] [137]
15	Taolue Chen	[75] [76] [77] [85] [87] [88] [91] [95] [106]
16	Lucia Cloth	[84] [107] [126]
17	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[124]
18	Fokko van Dijk	[21]
19	Jörg Endrullis	[116] [119] [121] [128]
20	Stefan Endrullis	[119]
21	Zoltán Ésik	[51]
22	K. Anton Feenstra	[98] [103] [104] [112]
23	Despo Galataki	[122]
24	Daniela Gavidia	[92] [102] [109] [129] [131]
25	Maciej Gazda	[113] [118]
26	Fatemeh Ghassemi	[94] [111] [115] [123] [125] [134]
27	Rob J. van Glabbeek	[7] [8] [28] [35] [44] [46] [48] [65] [68] [72] [87] [91] [106] [136]
28	Andrew D. Gordon (Andy Gordon)	[79] [81] [86]
29	Jan Friso Groote	[1] [34] [47] [50] [56]
30	Jafar Habibi	[135]
31	Willem Robert van Hage	[130]
32	Boudewijn R. Haverkort	[78] [84] [107] [119] [126]
33	Jaap Heringa	[98] [103] [104]
34	Jaap-Henk Hoepman	[53]
35	Rutger F. H. Hofman	[40] [80]
36	Marco Hollenberg	[1]
37	Anna Ingólfsdóttir	[7] [17] [18] [22] [33] [37] [46] [51] [52] [54] [60] [61] [66] [67] [73] [74] [75] [83] [85] [89] [93] [97] [101] [105] [117]
38	Natalia Ioustinova	[36]
39	Allard Kakebeen	[82]
40	Jasper Kamperman	[20] [27]
41	Bart Karstens	[41]
42	Ernst Kesseler	[36]
43	Thilo Kielmann	[98] [103] [104] [108] [127] [133]
44	Paul Klint	[100] [110]
45	A. Steven Klusener (Steven Klusener)	[6]
46	Gea Kolk	[21]
47	Elzbieta Krepska	[98] [103] [104] [112] [127] [133]
48	Izak van Langevelde	[34]
49	Bert Lisser	[34] [100] [110]
50	Bas Luttik (S. P. Luttik)	[29] [52] [54] [55] [60] [61] [73] [74] [88] [105]
51	J. M. van de Mortel-Fronczak	[55]
52	Mohammad Reza Mousavi	[97] [117]
53	Ali Movaghar-Rahimabadi (Ali Movaghar)	[94] [111] [115] [123] [125] [134]
54	Sumit Nain	[42] [49] [63] [66] [67] [76] [88]
55	Uwe Nestmann	[93] [101]
56	Archana Nottamkandath	[137]
57	Ana-Maria Oprescu	[108]
58	Jun Pang	[40] [41] [43] [50] [53] [56] [57] [58] [64] [69] [70] [80] [82] [90] [96] [116] [121] [128]
59	Jaco van de Pol	[15] [34] [36] [50] [56] [70] [96] [99]
60	Andrei Radulescu	[122]
61	Michel A. Reniers	[47]
62	J. E. Rooda (Jacobus E. Rooda)	[55]
63	Guus Schreiber (A. Th. Schreiber)	[130]
64	Abolhassan Shamsaie	[135]
65	Maarten van Steen	[92] [102] [109] [129] [131]
66	Mahmoud Talebi	[134]
67	Nikola Trcka	[55]
68	Irek Ulidowski	[59]
69	Yaroslav S. Usenko	[36] [100] [110]
70	Ronald Veldema	[40] [80]
71	Paul van de Ven	[21]
72	Chris Verhoef	[19] [23] [24] [32]
73	Kees Verstoep	[122] [132]
74	Stefan Vijzelaar	[120] [132]
75	Bas van Vlijmen	[1] [21]
76	Thuy Duong Vu	[39]
77	Pum Walters	[20] [27]
78	Anton Wijs	[55] [62] [64] [90] [124]
79	Paulien de Wind	[44] [65] [68] [72] [136]
80	Yuri A. Yushtein	[36]
81	Hans Zantema	[4] [11]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page