


Остановите войну!
for scientists:


default search action
Wan J. Fokkink
Willem Jan Fokkink
Person information

- affiliation: VU University Amsterdam, Department of Computer Science, The Netherlands
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j82]Wan J. Fokkink
, Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak
, Ferdie F. H. Reijnen, Jacobus E. Rooda:
Supervisor Synthesis: Bridging Theory and Practice. Computer 55(10): 48-54 (2022) - [j81]Luca Aceto
, Valentina Castiglioni
, Wan J. Fokkink
, Anna Ingólfsdóttir
, Bas Luttik
:
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? ACM Trans. Comput. Log. 23(4): 22:1-22:56 (2022) - [c112]Saidgani Musaev, Wan J. Fokkink
:
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 467-471 - 2021
- [j80]Ferdie F. H. Reijnen, Eva-Britt Leliveld
, Joanna M. van de Mortel-Fronczak
, John van Dinther, Jacobus E. Rooda, Wan J. Fokkink
:
Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. Comput. Ind. 130: 103473 (2021) - [j79]Martijn A. Goorden
, Martin Fabian
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Wan J. Fokkink
, Jacobus E. Rooda:
Compositional coordinator synthesis of extended finite automata. Discret. Event Dyn. Syst. 31(3): 317-348 (2021) - [j78]Evangelos Chatzikalymnios, Wan J. Fokkink
, Dick Grune, Brinio Hond, Peter Rutgers:
Detecting useless transitions in pushdown automata. Inf. Comput. 279: 104612 (2021) - [c111]J. J. Verbakel, M. E. W. Vos de Wael, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink
, Jacobus E. Rooda:
A configurator for supervisory controllers of roadside systems. CASE 2021: 784-791 - [c110]L. Moormann, R. H. J. Schouten, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink
, Jacobus E. Rooda:
Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays. CASE 2021: 1268-1275 - [c109]Luca Aceto
, Valentina Castiglioni
, Wan J. Fokkink
, Anna Ingólfsdóttir, Bas Luttik
:
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CSL 2021: 8:1-8:17 - [c108]Georgios Karlos, Wan J. Fokkink
, Per Fuchs:
Fault-Tolerant Termination Detection with Safra's Algorithm. NETYS 2021: 71-87 - 2020
- [j77]Maciej Gazda, Wan J. Fokkink
, Vittorio Massaro:
Congruence from the operator's point of view. Acta Informatica 57(3-5): 329-351 (2020) - [j76]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Wan J. Fokkink
, Jacobus E. Rooda:
Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices. IEEE Trans. Autom. Control. 65(4): 1625-1639 (2020) - [c107]L. Moormann, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink
, Jacobus E. Rooda:
Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis. CASE 2020: 659-666 - [c106]Radhesh Krishnan Konoth, Björn Fischer, Wan J. Fokkink
, Elias Athanasopoulos, Kaveh Razavi, Herbert Bos
:
SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions. EuroS&P 2020: 569-586 - [c105]Clemens Grabmayer, Wan J. Fokkink
:
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. LICS 2020: 465-478 - [c104]Martijn A. Goorden
, L. Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink
, Jacobus E. Rooda, L. F. P. Etman:
The Road Ahead for Supervisor Synthesis. SETTA 2020: 1-16 - [i15]Clemens Grabmayer, Wan J. Fokkink:
A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity. CoRR abs/2004.12740 (2020) - [i14]Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Martin Fabian, Wan J. Fokkink, Jacobus E. Rooda:
Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors. CoRR abs/2007.05795 (2020) - [i13]Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Ingólfsdóttir, Bas Luttik:
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? CoRR abs/2010.01943 (2020)
2010 – 2019
- 2019
- [j75]Maurits J. J. Dijkstra
, Atze van der Ploeg
, K. Anton Feenstra
, Wan J. Fokkink
, Sanne Abeln
, Jaap Heringa:
Tailor-made multiple sequence alignments using the PRALINE 2 alignment toolkit. Bioinform. 35(24): 5315-5317 (2019) - [j74]Fatemeh Ghassemi, Wan J. Fokkink
:
Reliable Restricted Process Theory. Fundam. Informaticae 165(1): 1-41 (2019) - [j73]Wan J. Fokkink
, Rob van Glabbeek, Bas Luttik:
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergence. Inf. Comput. 268 (2019) - [c103]Wan J. Fokkink
, Guus Samsom:
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size. The Art of Modelling Computational Systems 2019: 3-13 - [c102]Lennart Swartjes, Michel A. Reniers, Wan J. Fokkink
:
Deducing causes for the absence of states in supervised systems. CoDIT 2019: 144-149 - [c101]Martijn A. Goorden
, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan J. Fokkink
, Jacobus E. Rooda:
Supervisory Control of Multilevel Discrete-Event Systems with a Bus Structure. ECC 2019: 3204-3211 - [c100]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink
, Jacobus E. Rooda:
Modeling Guidelines for Component-Based Supervisory Control Synthesis. FACS 2019: 3-24 - [c99]Martijn A. Goorden
, Joanna M. van de Mortel-Fronczak
, Michel A. Reniers
, Wan J. Fokkink
, Jacobus E. Rooda:
The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. FMICS 2019: 76-92 - [e3]Wan J. Fokkink, Rob van Glabbeek:
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. LIPIcs 140, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-121-4 [contents] - [i12]Wan J. Fokkink, Rob van Glabbeek, Bas Luttik:
Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence. CoRR abs/1908.06550 (2019) - 2018
- [j72]Maurits J. J. Dijkstra
, Punto Bawono, Sanne Abeln
, K. Anton Feenstra
, Wan J. Fokkink
, Jaap Heringa:
Motif-Aware PRALINE: Improving the alignment of motif regions. PLoS Comput. Biol. 14(11) (2018) - 2017
- [j71]A. C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximally permissive controlled system synthesis for non-determinism and modal logic. Discret. Event Dyn. Syst. 27(1): 109-142 (2017) - [j70]Wan J. Fokkink
, Rob J. van Glabbeek:
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Inf. Comput. 257: 79-113 (2017) - [j69]Lennart Swartjes, D. A. van Beek, Wan J. Fokkink
, J. A. W. M. van Eekelen:
Model-based design of supervisory controllers for baggage handling systems. Simul. Model. Pract. Theory 78: 28-50 (2017) - [j68]Stefan Vijzelaar, Wan J. Fokkink
:
Multi-valued Simulation and Abstraction Using Lattice Operations. ACM Trans. Embed. Comput. Syst. 16(2): 42:1-42:26 (2017) - [c98]Wan J. Fokkink
, Rob J. van Glabbeek, Bas Luttik:
Divide and Congruence III: Stability & Divergence. CONCUR 2017: 15:1-15:16 - [c97]Wan J. Fokkink
, Rob J. van Glabbeek:
Precongruence Formats with Lookahead through Modal Decomposition. CSL 2017: 25:1-25:20 - [c96]Stefan J. J. Vijzelaar, Wan J. Fokkink
:
Creating Büchi Automata for Multi-valued Model Checking. FORTE 2017: 210-224 - [c95]Dick Grune, Wan J. Fokkink
, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers:
Detecting Useless Transitions in Pushdown Automata. LATA 2017: 421-434 - [i11]Fatemeh Ghassemi, Wan J. Fokkink:
Reliable Restricted Process Theory. CoRR abs/1705.02600 (2017) - 2016
- [j67]Fatemeh Ghassemi, Wan J. Fokkink
:
Model checking mobile ad hoc networks. Formal Methods Syst. Des. 49(3): 159-189 (2016) - [j66]Davide Ceolin
, Paul Groth, Valentina Maccatrozzo
, Wan J. Fokkink
, Willem Robert van Hage, Archana Nottamkandath:
Combining User Reputation and Provenance Analysis for Trust Assessment. ACM J. Data Inf. Qual. 7(1-2): 6:1-6:28 (2016) - [j65]Lars Lockefeer, David M. Williams
, Wan J. Fokkink
:
Formal specification and verification of TCP extended with the Window Scale Option. Sci. Comput. Program. 118: 3-23 (2016) - [c94]Wan J. Fokkink
, Rob J. van Glabbeek:
Divide and Congruence II: Delay and Weak Bisimilarity. LICS 2016: 778-787 - [c93]Lennart Swartjes, Michel A. Reniers
, D. A. van Beek, Wan J. Fokkink
:
Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors. WODES 2016: 14-21 - [i10]Wan J. Fokkink, Rob J. van Glabbeek:
Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity. CoRR abs/1604.07530 (2016) - 2015
- [j64]Taolue Chen, Wan J. Fokkink
, Rob J. van Glabbeek:
On the Axiomatizability of Impossible Futures. Log. Methods Comput. Sci. 11(3) (2015) - [j63]Allan C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximal Synthesis for Hennessy-Milner Logic. ACM Trans. Embed. Comput. Syst. 14(1): 10:1-10:21 (2015) - [c92]Stefan Vijzelaar, Wan J. Fokkink
:
Multi-valued Abstraction Using Lattice Operations. ACSD 2015: 70-79 - [c91]Archana Nottamkandath, Jasper Oosterman, Davide Ceolin
, Gerben Klaas Dirk de Vries, Wan J. Fokkink
:
Predicting Quality of Crowdsourced Annotations Using Graph Kernels. IFIPTM 2015: 134-148 - [c90]Allan van Hulst, Michel A. Reniers, Wan J. Fokkink:
Maximally Permissive Controlled System Synthesis for Modal Logic. SOFSEM 2015: 230-241 - 2014
- [c89]Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink
, Henri E. Bal:
Bonsai: Cutting Models Down to Size. Ershov Memorial Conference 2014: 361-375 - [c88]Lars Lockefeer, David M. Williams
, Wan J. Fokkink
:
Formal Specification and Verification of TCP Extended with the Window Scale Option. FMICS 2014: 63-77 - [c87]Nicola Bonzanni, K. Anton Feenstra
, Wan J. Fokkink
, Jaap Heringa:
Petri Nets Are a Biologist's Best Friend. FMMB 2014: 102-116 - [c86]Davide Ceolin
, Luc Moreau
, Kieron O'Hara, Wan J. Fokkink
, Willem Robert van Hage, Valentina Maccatrozzo
, Alistair Sackley, Guus Schreiber, Nigel Shadbolt:
Two Procedures for Analyzing the Reliability of Open Government Data. IPMU (1) 2014: 15-24 - [c85]Archana Nottamkandath, Jasper Oosterman, Davide Ceolin, Wan J. Fokkink:
Automated Evaluation of Crowdsourced Annotations in the Cultural Heritage Domain. URSW 2014: 25-36 - [c84]Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink, Valentina Maccatrozzo:
Towards the Definition of an Ontology for Trust in (Web) Data. URSW 2014: 73-78 - [c83]Davide Ceolin
, Paul Groth, Archana Nottamkandath, Wan J. Fokkink
, Willem Robert van Hage:
Analyzing User Demographics and User Behavior for Trust Assessment. URSW (LNCS Vol.) 2014: 219-241 - [c82]Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink:
Bridging Gaps Between Subjective Logic and Semantic Web. URSW (LNCS Vol.) 2014: 242-264 - [c81]Davide Ceolin
, Willem Robert van Hage, Wan J. Fokkink
, Guus Schreiber:
Uncertainty Estimation and Analysis of Categorical Web Data. URSW (LNCS Vol.) 2014: 265-288 - [c80]D. A. van Beek, Wan J. Fokkink
, Dennis Hendriks, Albert T. Hofkamp, Jasen Markovski, Joanna M. van de Mortel-Fronczak, Michel A. Reniers
:
CIF 3: Model-Based Engineering of Supervisory Controllers. TACAS 2014: 575-580 - [c79]Allan van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. WODES 2014: 278-285 - [i9]Allan van Hulst, Michel A. Reniers, Wan J. Fokkink:
Maximally Permissive Controlled System Synthesis for Modal Logic. CoRR abs/1408.3317 (2014) - 2013
- [j62]Maciej Gazda, Wan J. Fokkink
:
Turning GSOS Rules into Equations for Linear Time-Branching Time Semantics. Comput. J. 56(1): 34-44 (2013) - [c78]A. C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximal Synthesis for Hennessy-Milner Logic. ACSD 2013: 1-10 - [c77]Fatemeh Ghassemi, Saeide Ahmadi, Wan J. Fokkink
, Ali Movaghar
:
Model Checking MANETs with Arbitrary Mobility. FSEN 2013: 217-232 - [c76]Davide Ceolin
, Archana Nottamkandath, Wan J. Fokkink
:
Semi-automated assessment of annotation trustworthiness. PST 2013: 325-332 - [c75]Davide Ceolin, Luc Moreau
, Kieron O'Hara, Guus Schreiber, Alistair Sackley, Wan J. Fokkink, Willem Robert van Hage, Nigel Shadbolt:
Reliability Analyses of Open Government Data. URSW 2013: 34-39 - [c74]Chris Dijkshoorn, Mieke H. R. Leyssen, Archana Nottamkandath, Jasper Oosterman, Myriam C. Traub, Lora Aroyo, Alessandro Bozzon, Wan J. Fokkink, Geert-Jan Houben, Henrike Hovelmann, Lizzy Jongma, Jacco van Ossenbruggen, Guus Schreiber, Jan Wielemaker:
Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities. UMAP Workshops 2013 - [p4]Davide Ceolin
, Willem Robert van Hage, Guus Schreiber, Wan J. Fokkink
:
Assessing Trust for Determining the Reliability of Information. Situation Awareness with Systems of Systems 2013: 209-228 - [i8]Wan J. Fokkink, Dick Grune, Brinio Hond, Peter Rutgers:
Detecting Useless Transitions in Pushdown Automata. CoRR abs/1306.1947 (2013) - 2012
- [j61]Wan J. 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) - [j60]Maciej Gazda, Wan J. Fokkink
:
Modal logic and the approximation induction principle. Math. Struct. Comput. Sci. 22(2): 175-201 (2012) - [c73]Daniela Remenska, Tim A. C. Willemse
, Kees Verstoep, Wan J. Fokkink
, Jeff Templon
, Henri E. Bal:
Using Model Checking to Analyze the System Behavior of the LHC Production Grid. CCGRID 2012: 335-343 - [c72]Daniel Gebler, Wan J. Fokkink
:
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics. CONCUR 2012: 395-409 - [c71]David M. Williams
, Joeri de Ruiter
, Wan J. Fokkink
:
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. ICTAC 2012: 168-182 - [c70]Davide Ceolin
, Archana Nottamkandath, Wan J. Fokkink
:
Automated Evaluation of Annotators for Museum Collections Using Subjective Logic. IFIPTM 2012: 232-239 - [c69]Davide Ceolin, Paul Groth, Willem Robert van Hage, Archana Nottamkandath, Wan J. Fokkink:
Trust Evaluation through User Reputation and Provenance Analysis. URSW 2012: 15-26 - [c68]Davide Ceolin, Archana Nottamkandath, Wan J. Fokkink:
Subjective Logic Extensions for the Semantic Web. URSW 2012: 27-38 - 2011
- [j59]Rena Bakhshi
, Jörg Endrullis
, Wan J. Fokkink
, Jun Pang:
Fast leader election in anonymous rings with bounded expected delay. Inf. Process. Lett. 111(17): 864-870 (2011) - [j58]Rena Bakhshi
, Lucia Cloth, Wan J. Fokkink
, Boudewijn R. Haverkort
:
Mean-field framework for performance evaluation of push-pull gossip protocols. Perform. Evaluation 68(2): 157-179 (2011) - [j57]Elzbieta Krepska, Thilo Kielmann
, Wan J. Fokkink
, Henri E. Bal:
HipG: parallel processing of large-scale graphs. ACM SIGOPS Oper. Syst. Rev. 45(2): 3-13 (2011) - [j56]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Verification of mobile ad hoc networks: An algebraic approach. Theor. Comput. Sci. 412(28): 3262-3282 (2011) - [c67]Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar
, Wan J. Fokkink
:
Stochastic Restricted Broadcast Process Theory. EPEW 2011: 72-86 - [c66]Abolhassan Shamsaie
, Wan J. Fokkink
, Jafar Habibi:
Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks. EPEW 2011: 174-188 - [c65]Elzbieta Krepska, Thilo Kielmann
, Wan J. Fokkink
, Henri E. Bal:
A High-Level Framework for Distributed Processing of Large-Scale Graphs. ICDCN 2011: 155-166 - [c64]Rena Bakhshi
, Daniela Gavidia, Wan J. Fokkink
, Maarten van Steen
:
A Modeling Framework for Gossip-based Information Spread. QEST 2011: 245-254 - [c63]Davide Ceolin, Willem Robert van Hage, Wan J. Fokkink, Guus Schreiber:
Estimating Uncertainty of Categorical Web Data. URSW 2011: 15-26 - [c62]Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink
, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker. PDMC 2011: 84-90 - [i7]Rena Bakhshi
, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen:
A Modeling Framework for Gossip-based Information Spread. CoRR abs/1105.5986 (2011) - 2010
- [j55]Luca Aceto, Wan J. Fokkink
, Anna Ingólfsdóttir, Mohammad Reza Mousavi
:
Lifting non-finite axiomatizability results to extensions of process algebras. Acta Informatica 47(3): 147-177 (2010) - [j54]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Mobile Ad Hoc Networks. Fundam. Informaticae 105(4): 375-415 (2010) - [c61]Fatemeh Ghassemi, Ali Movaghar
, Wan J. Fokkink
:
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. ACSD 2010: 85-92 - [c60]Wan J. Fokkink
, Mohammad Torabi Dashti, Anton Wijs
:
Partial Order Reduction for Branching Security Protocols. ACSD 2010: 191-200 - [c59]Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink
:
Embedded Network Protocols for Mobile Devices. FMICS 2010: 164-179 - [c58]Stefan Vijzelaar, Herbert Bos
, Wan J. Fokkink
:
Brief announcement: a shared disk on distributed storage. PODC 2010: 79-80 - [c57]Rena Bakhshi, Jörg Endrullis
, Wan J. Fokkink
, Jun Pang:
Brief announcement: asynchronous bounded expected delay networks. PODC 2010: 392-393 - [c56]Rena Bakhshi, Jörg Endrullis
, Stefan Endrullis, Wan J. Fokkink
, Boudewijn R. Haverkort
:
Automating the Mean-Field Method for Large Dynamic Gossip Networks. QEST 2010: 241-250 - [c55]Maciej Gazda, Wan J. Fokkink
:
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics. SOS 2010: 15-25 - [i6]Rena Bakhshi
, Jörg Endrullis, Wan J. Fokkink, Jun Pang:
Asynchronous Bounded Expected Delay Networks. CoRR abs/1003.2084 (2010)
2000 – 2009
- 2009
- [j53]Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra
, Wan J. Fokkink
, Thilo Kielmann
, Henri E. Bal, Jaap Heringa:
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. Bioinform. 25(16): 2049-2056 (2009) - [j52]Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra
, Wan J. Fokkink
, Thilo Kielmann
, Henri E. Bal, Jaap Heringa:
Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development. Bioinform. 25(19): 2624 (2009) - [j51]Rena Bakhshi
, Daniela Gavidia, Wan J. Fokkink
, Maarten van Steen
:
An analytical model of information dissemination for a gossip-based protocol. Comput. Networks 53(13): 2288-2303 (2009) - [j50]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface. J. Log. Algebraic Methods Program. 78(4) (2009) - [j49]Luca Aceto, Wan J. 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): 6:1-6:26 (2009) - [c54]Wan J. Fokkink
:
Process Algebra: An Algebraic Theory of Concurrency. CAI 2009: 47-77 - [c53]Nicola Bonzanni, K. Anton Feenstra
, Wan J. Fokkink
, Elzbieta Krepska:
What Can Formal Methods Bring to Systems Biology? FM 2009: 16-22 - [c52]Fatemeh Ghassemi, Wan J. Fokkink
, Ali Movaghar
:
Equational Reasoning on Ad Hoc Networks. FSEN 2009: 113-128 - [c51]Wan J. Fokkink
, Paul Klint, Bert Lisser, Yaroslav S. Usenko:
Automated Translation and Analysis of a ToolBus Script for Auctions. FSEN 2009: 308-323 - [c50]Rena Bakhshi
, Daniela Gavidia, Wan J. Fokkink
, Maarten van Steen
:
An Analytical Model of Information Dissemination for a Gossip-Based Protocol. ICDCN 2009: 230-242 - [c49]Ana-Maria Oprescu
, Thilo Kielmann
, Wan J. Fokkink
:
FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications. ICDCN 2009: 368-376 - [c48]Rena Bakhshi
, Lucia Cloth, Wan J. Fokkink
, Boudewijn R. Haverkort
:
Mean-Field Analysis for the Evaluation of Gossip Protocols. QEST 2009: 247-256 - [c47]Taolue Chen, Wan J. Fokkink
, Rob J. van Glabbeek:
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM 2009: 167-180 - [c46]Maciej Gazda, Wan J. Fokkink
:
Modal Logic and the Approximation Induction Principle. EXPRESS 2009: 41-50 - 2008
- [j48]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS 94: 113-129 (2008) - [j47]