Fundamental Computing > CS > JBI > FWN > RUG

Publications

The following list is no longer maintained.

Our publications are collected in Pure.

You can also visit the DBLP pages of each group member for details:

  • Helle Hansen: DBLP
  • Wim Hesselink: DBLP
  • Arnold Meijster: DBLP
  • Jorge A. Perez: DBLP
  • Gerard R. Renardel de Lavalette: DBLP

2016

Articles in Scientific Journals

  • Ilaria Castellani, Mariangiola Dezani-Ciancaglini, and Jorge A. Pérez. Self-Adaptation and Secure Information Flow in Multiparty Communications. Formal Aspects of Computing (Springer), in press.
  • Cinzia Di Giusto and Jorge A. Pérez. Event-Based Run-time Adaptation in Communication-Centric Systems. Formal Aspects of Computing (Springer), in press.
  • Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira. Dynamic Role Authorization in Multiparty Conversations. Formal Aspects of Computing (Springer), in press.

Articles in Conferences and Workshops (Peer-Reviewed)

  • Luis Caires and Jorge A. Pérez. Multiparty Session Types Within A Canonical Binary Theory, and Beyond. In Proc. of the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE). Springer LNCS, 2016.
  • Jorge A. Pérez. The Challenge of Typed Expressiveness in Concurrency. In Proc. of the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE). Springer LNCS, 2016.
  • Dimitrios Kouzapas, Jorge A. Pérez and Nobuko Yoshida. On the Relative Expressiveness of Higher-Order Session Processes. In Proc. of 25th European Symposium on Programming (ESOP). Springer LNCS, 2016.
  • Claudio Antares Mezzina and Jorge A. Pérez. Reversible Sessions Using Monitors. In Proc. of 9th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, EPTCS, 2016.

2015

Articles in Scientific Journals

  • M. Bartoletti, I. Castellani, P.-M. Deniélou, M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, Jorge A. Pérez, P. Thiemann, B. Toninho, and H. T. Vieira. Combining Behavioural Types With Security Analysis Journal of Logical and Algebraic Methods in Programming 84:763–780 (2015)
  • P.A. Buhr, D. Dice, and W.H. Hesselink. Dekker's mutual exclusion algorithm made RW-safe. Concurrency and Computation: Practice and Experience (in print, available online Sep. 2015). DOI: 10.1002/cpe.3659
  • Peter A. Buhr, David Dice, Wim H. Hesselink: High-performance N-thread software solutions for mutual exclusion. Concurrency and Computation: Practice and Experience 27(3): 651-701 (2015)
  • Piter Dykstra, Wander Jager, Corinna Elsenbroich, Rineke Verbrugge, Gerard R. Renardel de Lavalette: An Agent-Based Dialogical Model with Fuzzy Attitudes. J. Artificial Societies and Social Simulation 18(3) (2015)
  • Cinzia Di Giusto and Jorge A. Pérez: Disciplined structured communications with disciplined runtime adaptation. Sci. Comput. Program. 97: 235-265 (2015)
  • Wim H. Hesselink: Mutual exclusion by four shared bits with not more than quadratic complexity. Sci. Comput. Program. 102: 57-75 (2015)

Articles in Conferences and Workshops (Peer-Reviewed)

  • Dimitrios Kouzapas, Jorge A. Pérez and Nobuko Yoshida. Characteristic Bisimulations for Higher-Order Session Processes. In Proc. of 26th Conference on Concurrency Theory (CONCUR 2015). LIPIcs–Leibniz International Proceedings in Informatics, 2015.
  • Ornela Dardha and Jorge A. Pérez. Comparing Deadlock-Free Session Typed Processes . In Proc. of Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015). Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015.
  • Jovana Dedeic, Jovanka Pantovic and Jorge A. Pérez. On Compensation Primitives as Adaptable Processes. In Proc. of Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015). Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015.
  • Mauricio Cano, Hugo A. López, Jorge A. Pérez and Camilo Rueda. Declarative Interpretations of Session-Based Concurrency. In Proc. of 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015). ACM Press, 2015.

2014

Articles in Scientific Journals

  • Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho: Linear logical relations and observational equivalences for session-based concurrency. Inf. Comput. 239: 254-302 (2014)

Articles in Conferences and Workshops (Peer-Reviewed)

  • Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira: Dynamic Role Authorization in Multiparty Conversations. In Proc. of Third Workshop on Behavioural Types (BEAT 2014), September 2014. Electronic Proceedings in Theoretical Computer Science (EPTCS) 162, 2014
  • Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez: Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. In Proc. of Third Workshop on Behavioural Types (BEAT 2014), September 2014. Electronic Proceedings in Theoretical Computer Science (EPTCS) 162, 2014

2008

Articles in Scientific Journals

  • W. H. Hesselink. A challenge for atomicity verification. Science of Computer Programming (to appear) 2008.
  • M. H. F. Wilkinson, H. Gao, W. H. Hesselink, J.-E. Jonker, A. Meijster. Concurrent computation of attribute filters on shared memory parallel machines. IEEE Trans. Pattern Anal. Machine Intell. (to appear) 2008.
  • W. H. Hesselink, J. B. T. M. Roerdink. Euclidean skeletons of image and volume data in linear time by integer medial axis transform. IEEE Trans. Pattern Anal. Machine Intell. (to appear) 2008.
  • W. H. Hesselink. Universal extensions to simulate specifications. Information and Computation 206 (2008) 108-128

2007

Articles in Scientific journals

  • W. H. Hesselink. A criterion for atomicity revisited. Acta Informatica 44 (2007) 123-151
  • W. H. Hesselink. A linear-time algorithm for Euclidean feature transform sets. Information Processing Letters 102 (2007) 181-186
  • H. Gao, W. H. Hesselink. A general lock-free algorithm using compare-and-swap. Information and Computation 205 (2007) 225-241
  • H. Gao, J. F. Groote, W. H. Hesselink. Lock-free parallel and concurrent garbage collection by mark&sweep. Science of Computer Programming 64 (2007) 341-374

Articles in conference proceedings

  • H. W. de Haan, W. H. Hesselink, G. R. Renardel de Lavalette, M. Ijbema. Using belief revision in intelligent agents. Proceedings of the 19th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2007), pp. 158-164

2006

Articles in Scientific journals

  • W. H. Hesselink. Refinement verification of the lazy caching algorithm.

Acta Informatica 43 (2006) 195-222

  • W. H. Hesselink. Splitting forward simulations to cope with liveness. Acta Informatica 42 (2006) 583-602

2005

Articles in Scientific journals

  • Gao H., Groote J. F., Hesselink W. H.. Lock-free dynamic hash tables with open addressing. Distributed Computing 17 (2005) 21-42
  • W. H. Hesselink. Eternity Variables to Prove Simulation of Specifications. ACM Trans. on Computational Logic 6 (2005) 175-201

Articles in conference proceedings

  • Gao H., J.F. Groote, W.H. Hesselink. Lock-free parallel garbage collection. In Pan, Y.; Chen, D.; Guo, M.; Cao, J.; Dongarra, J. (Eds.): Proceedings of Third International Symposium on Parallel and Distributed Processing and Applications (ISPA'05), Nanjing, China, LNCS 3758, pp. 263-274, 2005
  • H. W. de Haan, W. H. Hesselink, G. Meyer, G. R. Renardel de Lavalette. Experiments with strategies for agents in the social interaction game Mafia. In: K. Verbeek, K. Tuyls, A. Nowe, B. Manderick, B. Kuijpers (eds.): Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2005), pp. 89--95
  • W. H. Hesselink, M. Visser, J. B. T. M. Roerdink. Euclidean skeletons of 3D data sets in linear time by the integer medial axis transform. In Mathematical Morphology: 40 Years On (Proc. 7th Intern. Symp. on Mathematical Morphology, April 2005), pages 259-268. Springer Verlag 2005

2004

Articles in scientific journals

  • W. H. Hesselink. An assertional proof for a construction of an atomic variable. Formal Aspects of Computing 16 (2004) 387-393
  • H.W. de Haan, W. H. Hesselink, G.R. Renardel de Lavalette. Knowledge-based asynchronous programming. Fundamenta Informatica 63 (2004) 259-281
  • W. H. Hesselink. Using eternity variables to specify and prove a serializable database interface. Science of Computer Programming 51 (2004) 47-85

Articles in conference proceedings

  • H. W. de Haan, W. H. Hesselink, G. R. Renardel de Lavalette. An abstract multi-agent framework applied to a social interaction game. In: R. Verbrugge, N. Taatgen, L. Schomaker (eds.): Proceedings of the 16th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2004), pp. 259-267, October 2004
  • H. Gao and W. H. Hesselink. A formal reduction for lock-free parallel algorithms. In R. Alur, D.A. Peled (eds.): Computer Aided Verification, 16th International Conference, CAV 2004. Springer V. (LNCS 3114), p. 44-57
  • H. Gao, J.F. Groote, W.H. Hesselink. Almost wait-free resizable hashtables (extended abstract). 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), electronic proceedings IEEE 2004, section 131

2003

Dissertations

  • B.P. Kooi, Knowledge, Chance, and Change (2003) x + 172 p., ILLC Dissertation Series 2003-01, Amsterdam

Contributions to books

  • H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi. Descriptions of game states. In: G. Mints and R. Muskens, Games, Logic, and Constructive Sets. CSLI Lecture Notes Number 161 (2003) 43--58, CSLI Publications, Stanford, USA
  • H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi. Concurrent dynamic epistemic logic. In: V.F. Hendricks, K.F. Jörgensen, S.A. Pedersen (Eds.), Knowledge Contributors (2003) 105--143, Kluwer Academic Publishers

Articles in scientific journals

  • B.P. Kooi, Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (2003) 381--408
  • B.P. Kooi, H.P. van Ditmarsch, W. van der Hoek, A description language for dynamic epistemic actions. The Bulletin of Symbolic Logic 9 (2003) 260--261
  • W.H. Hesselink, Preference rankings in the face of uncertainty. Acta Informatica 39 (2003) 211--231
  • G.R. Renardel de Lavalette, Changing Modalities. Journal of Logic and Computation 13 (2003)
  • W.H. Hesselink, Salembier's Min-tree algorithm turned into breadth first search. Information Processing Letters 88 (2003) 225--229

Articles in conference proceedings

  • J. le Feber and B. Ballast, Development of a decision support system for anaesthesiologists. Proceedings of ICAAI (International Conference on Applied Artificial Intelligence), Kolhapur, India, December 2003
  • C. Pott, D. Fetchenhauer and J. le Feber, A cognitive process model for decision making in anaesthesia. In: Proceedings European Society for Computing and Technology in Anaesthesia and Intensive Care (2003), p. 48, Berlin, Germany
  • H.P. van Ditmarsch and B.P. Kooi, Unsuccessful updates. In:Álvarez, R. Bosch, L. Villamil (eds.), Proceedings of the 12th International Congress of Logic Methodology and Philosphy of Science (2003), 139--140, Oviedo University Press, Spain
  • H.P. van Ditmarsch, W. van van der Hoek, and B.P. Kooi, Concurrent Epistemic Dynamic Logic for MAS. In: J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo (eds.), Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (2003), 201--208
  • H.W. de Haan, W.H. Hesselink, G.R. Renardel de Lavalette, Knowledge-based programming inspired by an asynchronous hardware leader election problem. In: B. Dunin-Keplicz, R. Verbrugge (eds.), FAMAS'03 - Formal Approaches to Multi-Agent Systems (proceedings of an international workshop, 2003), 117--132, ETAPS 2003, Warsaw, Poland

Other publications

  • B.P. Kooi, Modal action logics for reasoning about reactive systems (book review). BNVKI newsletter 20 (2003), 80--82

2002

Articles in scientific journals

  • H.P. van Ditmarsch and B.P. Kooi, Spelen met verandering en onzekerheid. Rationele-keuzetheorie en logica, Algemeen Nederlands Tijdschrift voor Wijsbegeerte 94 (2002) 31--43
  • J. le Feber and C. Pott, Modelling a per-operative task of the anaesthesiologist, Journal of Clinical Monitoring and Computing 17 (2002) 73--74
  • C. Pott, J. le Feber and A. Ballast, Requirements engineering for real time medical support systems, Journal of Clinical Monitoring and Computing 17 (2002) 81--82
  • J. le Feber and A. Eikelboom, Encoded alarms in anaesthesiology. Journal of Clinical Monitoring and Computing 17 (2002) 473--474
  • C. Pott and J. le Feber, First results of an international survey on the improvement of real time medical support systems. Journal of Clinical Monitoring and Computing 17 (2002) 474--475
  • Wim H. Hesselink, An assertional criterion for atomicity, Acta Informatica 38 (2002) 343--366

Articles in conference proceedings

  • Wim H. Hesselink, Eternity Variables to Simulate Specifications, in: (E.A. Boiten, B. Möller, eds.) Mathematics of Program Construction. Proceedings MPC 2002, Springer-Verlag (LNCS 2386), 2002, 117--130.
  • Gerard R. Renardel de Lavalette, Hans van Ditmarsch, Epistemic actions and minimal models, in: AiML2002 --- Advances in Modal Logic (conference proceedings), (Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, eds.), Institut de Recherche en Informatique de Toulouse IRIT (2002) 77--90
  • Gerard R. Renardel de Lavalette, Barteld Kooi, Rineke Verbrugge, A strongly complete proof system for propositional dynamic logic, in: AiML2002 --- Advances in Modal Logic (conference proceedings), (Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, eds.), Institut de Recherche en Informatique de Toulouse IRIT (2002) 377--393

Other publications

  • W.H. Hesselink, Predestination and invariants of specifications, in: Liber Amicorum Jaco de Bakker (Frank de Boer, Marlin van der Heijden, Paul Klint, Jan Rutten, eds.), Amsterdam, Centrum voor Wiskunde en Informatica (2002) 111--116.
  • Gerard R. Renardel de Lavalette, Wim H. Hesselink, Reduction steps in partitions, in: Liber Amicorum Jaco de Bakker (Frank de Boer, Marlin van der Heijden, Paul Klint, Jan Rutten, eds.), Amsterdam, Centrum voor Wiskunde en Informatica (2002) 175--178
  • Sjoerd D. Zwart, Gerard R. Renardel de Lavalette, Verisimilitude meets epistemic entrenchment, in: Abstracts of the Karl Popper 2002 Centenary Congress, Vienna (2002) http://www.univie.ac.at/karlpopper2002/abstracts/ContributedPapers/Zwart.pdf [PDF]

2001

Edited books

  • C. Condoravdi, G.R. Renardel de Lavalette (eds.), Logical Perspectives on Language and Information, Stanford, CSLI Publications, 2001, ISBN 1-57586-284-0 (paperback), 1-57586-283-2 (hard cover)

Chapter in books

  • Gerard R. Renardel de Lavalette, A Logic of Modification and Creation, in Logical Perspectives on Language and Information, (C. Condoravdi and G.R. Renardel de Lavalette, eds.). Stanford, CSLI Publications, 2001, 197--219

Articles in scientific journals

  • H.P. van Ditmarsch, Knowledge games, Bulletin of Economic Research 53 (2001) 249--273
  • J.F. Groote, W.H. Hesselink, S. Mauw, R. Vermeulen, An algorithm for the asynchronous Write-All problem based on process collision. Distributed Computing, 14 (2001) 75--81
  • W.H. Hesselink, A. Meijster, C. Bron, Concurrent Determination of Connected Components. Science of Computer Programming, 41 (2001) 173--194
  • W.H. Hesselink, J.F. Groote, Waitfree concurrent memory management by Create, and Read until Deletion (CaRuD), Distributed Computing, 14 (2001) 31--39

Articles in conference proceedings

  • H.P. van Ditmarsch, Knowledge actions in games and multiagent systems (extended abstract), Proceedings of Logic, Game Theory and Social Choice (ed. E.B. Yanovskaya), Saint-Petersburg, Russia, 2001, 74--81
  • H.P. van Ditmarsch and R. Dyckhoff, Sequent Calculi for Logics with Common Knowledge (extended abstract), in: A. Voronkov (ed.), Proceedings Eighth Workshop on Automated Reasoning, York, England, 2001, 36--37

Other publications

  • E. van Asselt, J. le Feber, and R. van Mastrigt, Editorial comment to: Possible action of the proximal rhabdosphincter muscle in micturition of the adult male rat, Neurourological Urodynamics 20 (2001) 210--212
  • H.P. van Ditmarsch, Killing Cluedo, Natuur en Techniek 69 (11) (2001) 32--40
  • H.P. van Ditmarsch, The semantics of concurrent knowledge actions, in: M. Pauly, G. Sandu (eds.), Reader ESSLLI 2001 workshop on Logic and Games, Helsinki, Finland, 2001
  • B.P. Kooi, The Logic of Murder - a review of Knowledge Games, Hans van Ditmarsch' Ph.D. thesis, BNVKI newsletter 18(2), April 2001, 28--31

2000

Dissertations

  • H.P. van Ditmarsch, Knowledge games . Promotores: Prof.dr. G.R. Renardel de Lavalette and J.F.A.K. van Benthem; 20 november 2000, ISBN 90-367-1296-3, 142 pages
  • E.H. Saaman, Another formal specification language . Promotores: Prof.dr. G.R. Renardel de Lavalette and prof.dr. P. Klint;24 november 2000, ISBN 90-367-1308-0, 182 pages

Articles in scientific journals

  • W.H. Hesselink, A. Thijs, Fixpoint semantics and simulation. Theoretical Computer Science 238 (2000) 275--311

Articles in conference proceedings

  • A. Meijster, J.B.T.M. Roerdink, W.H. Hesselink, A general algorithm for computing distance transforms in linear time. In: J. Goutsias, L. Vincent, D.S. Bloomberg (eds.): Mathematical morphology and its applications to image and signal processing (Proc. 5th Int. Conf.), Kluwer, 2000. Pages 331--340