Wan Fokkink - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Wan Fokkink' as author, editor, or advisor:

Supervisory Control of Multilevel Discrete-Event Systems with a Bus StructureMartijn Goorden, Calvin Dingemans, Michel A. Reniers, Joanna M. van de Mortel-Fronczak, Wan Fokkink, Jacobus E. Rooda. eucc 2019: 3204-3211 [doi]
Towards the Definition of an Ontology for Trust in (Web) DataDavide Ceolin, Archana Nottamkandath, Wan Fokkink, Valentina Maccatrozzo. semweb 2014: 73-78 [doi]
Semi-automated assessment of annotation trustworthinessDavide Ceolin, Archana Nottamkandath, Wan Fokkink. PST 2013: 325-332 [doi]
Bridging Gaps Between Subjective Logic and Semantic WebDavide Ceolin, Archana Nottamkandath, Wan Fokkink. semweb 2014: 242-264 [doi]
Automated Evaluation of Annotators for Museum Collections Using Subjective LogicDavide Ceolin, Archana Nottamkandath, Wan Fokkink. ifiptm 2012: 232-239 [doi]
Using Model Checking to Analyze the System Behavior of the LHC Production GridDaniela Remenska, Tim A. C. Willemse, Kees Verstoep, Wan Fokkink, Jeff Templon, Henri E. Bal. ccgrid 2012: 335-343 [doi]
Model Checking under Fairness in ProB and Its Application to Fair Exchange ProtocolsDavid M. Williams, Joeri de Ruiter, Wan Fokkink. ictac 2012: 168-182 [doi]
Detecting Useless Transitions in Pushdown AutomataDick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers. LATA 2017: 421-434 [doi]
Multi-valued Simulation and Abstraction Using Lattice OperationsStefan Vijzelaar, Wan Fokkink. tecs, 16(2), 2017. [doi]
Process Algebra with Recursive OperationsJan A. Bergstra, Wan Fokkink, Alban Ponse. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 333-389, North-Holland / Elsevier, 2001. [doi]
Turning GSOS Rules into Equations for Linear Time-Branching Time SemanticsMaciej Gazda, Wan Fokkink. cj, 56(1):34-44, 2013. [doi]
Brief announcement: asynchronous bounded expected delay networksRena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang. podc 2010: 392-393 [doi]
Uncertainty Estimation and Analysis of Categorical Web DataDavide Ceolin, Willem Robert van Hage, Wan Fokkink, Guus Schreiber. semweb 2014: 265-288 [doi]
Multi-valued Abstraction Using Lattice OperationsStefan Vijzelaar, Wan Fokkink. acsd 2015: 70-79 [doi]
Verification of mobile ad hoc networks: An algebraic approachFatemeh Ghassemi, Wan Fokkink, Ali Movaghar. TCS, 412(28):3262-3282, 2011. [doi]
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarityWan Fokkink, Rob J. van Glabbeek. iandc, 257:79-113, 2017. [doi]
Bonsai: Cutting Models Down to SizeStefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal. ershov 2015: 361-375 [doi]
Estimating Uncertainty of Categorical Web DataDavide Ceolin, Willem Robert van Hage, Wan Fokkink, Guus Schreiber. semweb 2011: 15-26 [doi]
Reliable Restricted Process TheoryFatemeh Ghassemi, Wan Fokkink. FUIN, 165(1):1-41, 2019. [doi]
A High-Level Framework for Distributed Processing of Large-Scale GraphsElzbieta Krepska, Thilo Kielmann, Wan Fokkink, Henri E. Bal. icdcn 2011: 155-166 [doi]
MeanField analysis for the evaluation of gossip protocolsRena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort. sigmetrics, 36(3):31-39, 2008. [doi]
Model Checking MANETs with Arbitrary MobilityFatemeh Ghassemi, Saeide Ahmadi, Wan Fokkink, Ali Movaghar. fsen 2013: 217-232 [doi]
Introduction to process algebraWan Fokkink. Texts in theoretical computer science, Springer, 2000.
Formal specification and verification of TCP extended with the Window Scale OptionLars Lockefeer, David M. Williams, Wan Fokkink. SCP, 118:3-23, 2016. [doi]
Modelling Distributed SystemsWan Fokkink. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2007. [doi]
Lifting non-finite axiomatizability results to extensions of process algebrasLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi. ACTA, 47(3):147-177, 2010. [doi]
Reliability Analyses of Open Government DataDavide Ceolin, Luc Moreau, Kieron O'Hara, Guus Schreiber, Alistair Sackley, Wan Fokkink, Willem Robert van Hage, Nigel Shadbolt. semweb 2013: 34-39 [doi]
Automating the Mean-Field Method for Large Dynamic Gossip NetworksRena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort. qest 2010: 241-250 [doi]
CIF 3: Model-Based Engineering of Supervisory ControllersD. A. van Beek, Wan Fokkink, D. Hendriks, A. Hofkamp, Jasen Markovski, J. M. van de Mortel-Fronczak, Michel A. Reniers. TACAS 2014: 575-580 [doi]
Two Procedures for Analyzing the Reliability of Open Government DataDavide Ceolin, Luc Moreau, Kieron O'Hara, Wan Fokkink, Willem Robert van Hage, Valentina Maccatrozzo, Alistair Sackley, Guus Schreiber, Nigel Shadbolt. ipmu 2014: 15-24 [doi]
Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 197-292, North-Holland / Elsevier, 2001. [doi]
Assessing Trust for Determining the Reliability of InformationDavide Ceolin, Willem Robert van Hage, Guus Schreiber, Wan Fokkink. In Piërre van de Laar, Jan Tretmans, Michael Borth, editors, Situation Awareness with Systems of Systems. pages 209-228, Springer, 2013. [doi]
Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational SemanticsDaniel Gebler, Wan Fokkink. concur 2012: 395-409 [doi]
HipG: parallel processing of large-scale graphsElzbieta Krepska, Thilo Kielmann, Wan Fokkink, Henri E. Bal. sigops, 45(2):3-13, 2011. [doi]
Model checking mobile ad hoc networksFatemeh Ghassemi, Wan Fokkink. fmsd, 49(3):159-189, 2016. [doi]
Automated Evaluation of Crowdsourced Annotations in the Cultural Heritage DomainArchana Nottamkandath, Jasper Oosterman, Davide Ceolin, Wan Fokkink. semweb 2014: 25-36 [doi]
Divide and congruence III: From decomposition of modal formulas to preservation of stability and divergenceWan Fokkink, Rob van Glabbeek, Bas Luttik. iandc, 268, 2019. [doi]
Equational Reasoning on Mobile Ad Hoc NetworksFatemeh Ghassemi, Wan Fokkink, Ali Movaghar. FUIN, 105(4):375-415, 2010. [doi]
Towards Performance Evaluation of Mobile Ad Hoc Network ProtocolsFatemeh Ghassemi, Ali Movaghar, Wan Fokkink. acsd 2010: 85-92 [doi]
Maximal Synthesis for Hennessy-Milner LogicA. C. van Hulst, Michel A. Reniers, Wan Fokkink. acsd 2013: 1-10 [doi]
Embedded Network Protocols for Mobile DevicesDespo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink. fmics 2010: 164-179 [doi]
Stochastic Restricted Broadcast Process TheoryFatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink. epew 2011: 72-86 [doi]
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarityWan Fokkink, Rob J. van Glabbeek, Paulien de Wind. iandc, 214:59-85, 2012. [doi]
Analysis of Gossip-Based Information Propagation in Wireless Mesh NetworksAbolhassan Shamsaie, Wan Fokkink, Jafar Habibi. epew 2011: 174-188 [doi]
Petri Nets Are a Biologist's Best FriendNicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Jaap Heringa. fmmb 2014: 102-116 [doi]
Maximal Synthesis for Hennessy-Milner Logic with the Box ModalityAllan van Hulst, Michel A. Reniers, Wan Fokkink. wodes 2014: 278-285 [doi]
Analyzing User Demographics and User Behavior for Trust AssessmentDavide Ceolin, Paul T. Groth, Archana Nottamkandath, Wan Fokkink, Willem Robert van Hage. semweb 2014: 219-241 [doi]
Fast leader election in anonymous rings with bounded expected delayRena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang. ipl, 111(17):864-870, 2011. [doi]
Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche CommunitiesChris Dijkshoorn, Mieke Leyssen, Archana Nottamkandath, Jasper Oosterman, Myriam Traub, Lora Aroyo, Alessandro Bozzon, Wan Fokkink, Geert-Jan Houben, Henrike Hovelmann, Lizzy Jongma, Jacco van Ossenbruggen, Guus Schreiber, Jan Wielemaker. um 2013: [doi]
Combining User Reputation and Provenance Analysis for Trust AssessmentDavide Ceolin, Paul T. Groth, Valentina Maccatrozzo, Wan Fokkink, Willem Robert van Hage, Archana Nottamkandath. jdiq, 7(1-2), 2016. [doi]
Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring SizeWan Fokkink, Guus Samsom. BIRTHDAY 2019: 3-13 [doi]
LARIS 1.0 - LAnguage for Railway Interlooking SpecificationsWan Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen. CWI, 1991.
Predicting Quality of Crowdsourced Annotations Using Graph KernelsArchana Nottamkandath, Jasper Oosterman, Davide Ceolin, Gerben Klaas Dirk de Vries, Wan Fokkink. ifiptm 2015: 134-148 [doi]
30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the NetherlandsWan Fokkink, Rob van Glabbeek, editors, Volume 140 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Modal logic and the approximation induction principleMaciej Gazda, Wan Fokkink. mscs, 22(2):175-201, 2012. [doi]
A Modeling Framework for Gossip-based Information SpreadRena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen. qest 2011: 245-254 [doi]
Trust Evaluation through User Reputation and Provenance AnalysisDavide Ceolin, Paul T. Groth, Willem Robert van Hage, Archana Nottamkandath, Wan Fokkink. semweb 2012: 15-26 [doi]
Partial Order Reduction for Branching Security ProtocolsWan Fokkink, Mohammad Torabi Dashti, Anton Wijs. acsd 2010: 191-200 [doi]
Applying Concurrency Research in Industry Report on a Strategic WorkshopLuca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann. eatcs, 94:113-129, 2008.
Brief announcement: a shared disk on distributed storageStefan Vijzelaar, Herbert Bos, Wan Fokkink. podc 2010: 79-80 [doi]
Subjective Logic Extensions for the Semantic WebDavide Ceolin, Archana Nottamkandath, Wan Fokkink. semweb 2012: 27-38 [doi]
The Impact of Requirement Splitting on the Efficiency of Supervisory Control SynthesisMartijn Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan Fokkink, Jacobus E. Rooda. fmics 2019: 76-92 [doi]
Modeling Guidelines for Component-Based Supervisory Control SynthesisMartijn Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan Fokkink, Jacobus E. Rooda. facs2 2020: 3-24 [doi]
Mean-field framework for performance evaluation of push-pull gossip protocolsRena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort. pe, 68(2):157-179, 2011. [doi]
Divide and Congruence II: Delay and Weak BisimilarityWan Fokkink, Rob J. van Glabbeek. lics 2016: 778-787 [doi]

runs on WebDSL