Computer Science Reports

2013
	Bera, D.; Hee, van, K.M.; Sidorova, N. / Discrete timed Petri nets
	Cranen, S.; Gazda, M.W.; Wesselink, J.W.; Willemse, T.A.C. / Abstraction in parameterised Boolean equation systems
	Kota Gopalakrishna, A.; Özcelebi, T.; Liotta, A.; Lukkien, J.J. / Relevance as a metric for evaluating machine learning algorithms
	Noroozi, N.; Mousavi, M.R.; Willemse, T.A.C. / Decomposability in formal conformance testing
	Özcelebi, T.; Weffers-Albu, M.A.; Lukkien, J.J. / Proceedings of the 2012 Workshop on Ambient Intelligence Infrastructures (WAmIi)
2012
	Businge, J.; Serebrenik, A.; Brand, van den, M.G.J. / Survival of Eclipse third-party plug-ins
	Cranen, S. / Model checking the FlexRay startup phase
	Cranen, S.; Keiren, J.J.A.; Willemse, T.A.C. / A cure for stuttering parity games
	Engelen, L.J.P.; Wijs, A.J. / Checking property preservation of refining transformations for model-driven development
	Fahland, D.; Prüfer, R. / Data and abstraction for scenario-based modeling with Petri nets
	Heuvel, van den, M.M.H.P.; Behnam, M.; Bril, R.J.; Lukkien, J.J.; Nolte, T. / Opaque analysis for resource-sharing components in hierarchical real-time systems : extended version
	Heuvel, van den, M.M.H.P.; Cuijpers, P.J.L.; Lukkien, J.J.; Fisher, N. / Revised budget allocations for fixed-priority-scheduled periodic resources
	Keiren, J.J.A.; Klabbers, M.D. / Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2
	Khadim, U.; Cuijpers, P.J.L. / Repairing time-determinism in the process algebra for hybrid systems ACPhssrt
	Meer, van der, A.P. / CIF MSOS type system
	Osaiweran, A.A.H.; Fransen, T.; Groote, J.F.; Rijnsoever, van, B.J. / Experience report on designing and developing control components using formal methods
	Osaiweran, A.A.H.; Groote, J.F.; Schuts, M.T.W.; Hooman, J.J.M.; Rijnsoever, van, B.J. / Evaluating the effect of formal techniques in industry
	Osaiweran, A.A.H.; Schuts, M.T.W.; Hooman, J.J.M. / Incorporating formal techniques into industrial practice
	Stolikj, M.; Cuijpers, P.J.L.; Lukkien, J.J. / Efficient reprogramming of sensor networks using incremental updates and data compression
2011
	Amstel, van, M.F.; Brand, van den, M.G.J.; Engelen, L.J.P. / Using a DSL and fine-grained model
	Amstel, van, M.F.; Serebrenik, A.; Brand, van den, M.G.J. / Visualizing traceability in model transformation compositions
	Atif, M.; Mousavi, M.R.; Osaiweran, A.A.H. / Formal verification of unreliable failure detectors in partially synchronous systems
	Batsuuri, T.; Bril, R.J.; Lukkien, J.J. / Model, analysis, and improvements for inter-vehicle communication using one-hop periodic broadcasting based on the 802.11p protocol
	Bera, D.; Hee, van, K.M.; Osch, van, M.P.W.J.; Werf, van der, J.M.E.M. / A component framework where port compatibility implies weak termination
	Businge, J.; Serebrenik, A.; Brand, van den, M.G.J. / Eclipse API usage
	Cuijpers, P.J.L. / Moore-Smith theory for uniform spaces through asymptotic equivalence
	Groote, J.F.; Lanik, J. / Semantics, bisimulation and congruence results for a general stochastic process operator
	Groote, J.F.; Osaiweran, A.A.H.; Schuts, M.T.W.; Wesselius, J.H. / Investigating the effects of designing industrial control software using push and poll strategies
	Groote, J.F.; Osaiweran, A.A.H.; Wesselius, J.H. / Benefits of applying formal methods to industrial control software
	Groote, J.F.; Osaiweran, A.A.H.; Wesselius, J.H. / Experience report on developing the Front-end Client unit under the control of formal methods
	Groote, J.F.; Osaiweran, A.A.H.; Wesselius, J.H. / Analyzing a controller of a power distribution unit using formal methods
	Hee, van, K.M.; Sidorova, N.; Werf, van der, J.M.E.M. / Refinement of synchronizable places with multi-workflow nets
	Keiren, J.J.A.; Reniers, M.A. / Type checking mCRL2
	Mahrooghi, H.; Mousavi, M.R. / Reconciling operational and epistemic approaches to the formal analysis of crypto-based security protocols
	Noroozi, N.; Khosravi, R.; Mousavi, M.R.; Willemse, T.A.C. / Synchronizing asynchronous conformance testing
	Stappers, F.P.M.; Reniers, M.A.; Groote, J.F.; Weber, S. / Dogfooding the structural operational semantics of mCRL2
	Stappers, F.P.M.; Reniers, M.A.; Weber, S. / Transforming SOS specifications to linear processes
2010
	Aceto, L.; Birgisson, A.; Ingólfsdóttir, A.; Mousavi, M.R. / Decompositional reasoning about the history of parallel processes
	Aceto, L.; Cimini, M.; Ingólfsdóttir, A.; Mousavi, M.R.; Reniers, M.A. / On rule formats for zero and unit elements
	Aceto, L.; Cimini, M.; Ingólfsdóttir, A.; Mousavi, M.R.; Reniers, M.A. / Rule formats for distributivity
	Asaadi, H.R.; Khosravi, R.; Mousavi, M.R.; Noroozi, N. / Towards model-based testing of electronic funds transfer systems
	Atif, M.; Cranen, S.; Mousavi, M.R. / Reconstruction and verification of group membership protocols
	Beohar, H.; Cuijpers, P.J.L. / Desynchronisability of (partial) closed loop systems
	Brand, van den, M.G.J.; Malloy, B.; Staab, S. / 3rd international software language engineering conference (SLE) : pre-proceedings, October 12-13, 2010, Eindhoven, the Netherlands
	Bril, R.J.; Keskin, U.; Behnam, M.; Nolte, T. / Schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks revisited
	Cranen, S.; Groote, J.F.; Reniers, M.A. / A linear translation from LTL to the first-order modal µ-calculus
	Groote, J.F.; Kouters, T.W.D.M.; Osaiweran, A.A.H. / Specification guidelines to avoid the state space explosion problem
	Holenderski, M.J.; Cools, W.A.; Bril, R.J.; Lukkien, J.J. / Extending an open-source real-time operating system with hierarchical scheduling
	Kamiran, F.; Calders, T.G.K.; Pechenizkiy, M. / Discrimination aware decision tree learning
	Kruseman Aretz, F.E.J. / Design and correctness proof of an emulation of the floating-point operations of the Electrologica X 8
	Mosses, P.D.; Mousavi, M.R.; Reniers, M.A. / Robustness of behavioral equivalence on open terms
	Okwudire, C.G.U.; Bril, R.J. / Converting existing analysis to the EDP resource model
	Osaiweran, A.A.H.; Boosten, M.; Mousavi, M.R. / Analytical software design
	Protic, Z. / Locally unique labeling of model elements for state-based model differences
	Trivellato, D.; Zannone, N.; Etalle, S. / GEM
	Van Wyk, E.; Zschaler, S. / 1st doctoral symposium of the international conference on software language engineering (SLE) : collected research abstracts, October 11, 2010, Eindhoven, The Netherlands
2009
	Aalst, van der, W.M.P.; Hee, van, K.M.; Massuthe, P.; Sidorova, N.; Werf, van der, J.M.E.M. / Compositional service trees
	Aceto, L.; Ingólfsdóttir, A.; Mousavi, M.R.; Reniers, M.A. / A rule format for unit elements
	Atif, M. / Formal analysis of consensus protocols in asynchronous distributed systems
	Atif, M.; Mousavi, M.R. / Formal specification and analysis of acceletared heartbeat protocols
	Boehmer, W.; Brandt, C.; Groote, J.F. / Evaluation of a business continuity plan using process algebra and modal logic
	Bosnacki, D.; Mathijssen, A.H.J.; Usenko, Y.S. / Behavioural analysis of an I2C Linux driver
	Cuijpers, P.J.L.; Koenders, F.A.J.; Pustjens, M.G.P.; Senders, B.A.G.; Tilburg, van, P.J.A.; Verduin, P. / Queue merge
	Franssen, M.G.J. / Placeholder calculus for first-order logic
	Hee, van, K.M.; Hidders, A.J.H.; Houben, G.J.P.M.; Paredaens, J.; Thiran, P.A.P. / On-the-fly auditing of business processes
	Holenderski, M.J.; Bril, R.J.; Lukkien, J.J. / Swift mode changes in memory constrained real-time systems
	Keiren, J.J.A.; Willemse, T.A.C. / Bisimulation minimisations for Boolean equation systems
	Keskin, U. / In-vehicle communication networks
	Meulen, M.G.; Stappers, F.P.M.; Willemse, T.A.C. / Breadth-bounded model checking
	Mousavi, M.R.; Sekerinski, E. / Proceedings of Formal Methods 2009 Doctoral Symposium, November 6, 2009, Eindhoven, The Netherlands
	Pesic, M.; Bosnacki, D.; Aalst, van der, W.M.P. / Enacting declarative languages using LTL
	Ploeger, S.C.W. / Analysis of ACS using mCRL2
	Trivellato, D.; Spiessens, A.O.D.; Zannone, N.; Etalle, S. / POLIPO
	Zapletal, M.; Aalst, van der, W.M.P.; Russell, N.C.; Liegl, P.; Werthner, H. / Pattern-based analysis of windows workflow
2008
	Aalst, van der, W.M.P.; Hee, van, K.M.; Hofstede, ter, A.H.M.; Sidorova, N.; Verbeek, H.M.W.; Voorhoeve, M.; Wynn, M.T. / Soundness of workflow nets
	Aalst, van der, W.M.P.; Nakatumba, J.; Rozinat, A.; Russell, N.C. / Business process simulation
	Aceto, L.; Fokkink, W.J.; Ingólfsdóttir, A.; Mousavi, M.R. / Lifting non-finite axiomatizability results to extensions of process algebras
	Aceto, L.; Ingólfsdóttir, A.; Luttik, S.P.; Tilburg, van, P.J.A. / Finite equational bases for fragments of CCS with restriction and relabelling
	Aerts, A.T.M.; Molengraft, van de, Wouter T.; Snijders, J. / Towards database performance patterns (extended version)
	Baeten, J.C.M.; Bravetti, M. / A ground-complete axiomatization of finite-state processes in generic process algebra
	Bril, R.J.; Fohler, G.; Verhaegh, W.F.J. / Execution times and execution jitter analysis of real-time tasks under fixed-priority pre-emptive scheduling
	Corro Ramos, I.; Bucchianico, Di, A.A.; Hee, van, K.M. / Statistical approach to software reliability certification
	Dam, van, Alexander; Ploeger, S.C.W.; Willemse, T.A.C. / Instantiation for parameterised Boolean equation systems
	Franssen, M.G.J. / Implementing rigid e-unification
	Gabbay, M.J.; Mathijssen, A.H.J. / A nominal axiomatisation of the lambda-calculus
	Glabbeek, van, R.J.; Luttik, S.P.; Trcka, N. / Branching bisimulation equivalence with explicit divergence
	Glabbeek, van, R.J.; Luttik, S.P.; Trcka, N. / Computation tree logic with Deadlock detection
	Glabbeek, van, R.J.; Ploeger, S.C.W. / Correcting a space-efficient simulation algorithm
	Glabbeek, van, R.J.; Ploeger, S.C.W. / Five determinisation algorithms
	Groenewegen, L.P.J.; Vink, de, E.P. / Dynamic system adaptation by constraint orchestration
	Groote, J.F.; Orzan, S.M. / Parameterised anonymity
	Groote, J.F.; Ploeger, S.C.W. / Switching graphs
	Heck, P.M.; Eekelen, van, M.C.J.D. / LaQuSo software product certification model (LSPCM)
	Hee, van, K.M.; Verbeek, H.M.W.; Stahl, C.; Sidorova, N. / A framework for linking and pricing no-cure-no-pay services
	Hemerik, C. / FoolProof
	Hojjat, H.; Mousavi, M.R.; Sirjani, M. / Application of process algebraic verification and reduction techniques to SystemC designs
	Holenderski, M.J. / Real-time system overheads
	Khadim, U.; Cuijpers, P.J.L. / Basic timed process algebra with non-existence ($BPA%5E{srt}_{\bot}$)
	Markovski, J.; Trcka, N. / Aggregation methods for Markov reward chains with fast and silent transitions
	Markovski, J.; Vink, de, E.P. / Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems
	Middelkoop, R.; Huizing, C.; Kuiper, R.; Luit, E.J. / A proof system for invariants in layered OO designs
	Orzan, S.M.; Willemse, T.A.C. / Invariants for parameterised Boolean equation systems
	Serebrenik, A. / BENEVOL 2008 : the 7th Belgian-Netherlands software eVOLution workshop proceedings, December 11-12, 2008, Eindhoven : informal pre-proceedings
	Trcka, N.; Aalst, van der, W.M.P.; Bratosin, C.C.; Sidorova, N. / Evaluating a data removal strategy for grid environments using colored Petri nets
	Trcka, N.; Aalst, van der, W.M.P.; Sidorova, N. / Analyzing control-flow and data-flow in workflow processes in a unified way
	Trcka, N.; Georgievska, S.; Markovski, J.; Andova, S.; Vink, de, E.P. / Performance analysis of chi models using discrete-time probabilistic reward graphs
	Werf, van der, J.M.E.M.; Dongen, van, B.F.; Hee, van, K.M.; Hurkens, C.A.J.; Serebrenik, A. / Process discovery using integer linear programming
	Wulp, van der, J. / A communication protocol for interactively controlling software tools
2007
	Aalst, van der, W.M.P.; Beisiegel, M.; Hee, van, K.M.; König, D.; Stahl, C. / A SOA-based architecture framework
	Baeten, J.C.M.; Hee, van, K.M. / The role of graphs in computer science
	Bergstra, J.A.; Middelburg, C.A. / Distributed strategic interleaving with load balancing
	Bergstra, J.A.; Middelburg, C.A. / Machine structure oriented control code logic
	Bril, R.J. / Towards pragmatic solutions for two-level hierarchical scheduling
	Bril, R.J.; Lukkien, J.J.; Verhaegh, W.F.J. / Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption revisited - with extensions for ECRTS'07 -
	Chen, T.; Ploeger, S.C.W.; Pol, van de, J.C.; Willemse, T.A.C. / Equivalence checking for infinite systems using parameterized boolean equation systems
	Corro Ramos, I.; Bucchianico, Di, A.A.; Hakobyan, L.; Hee, van, K.M. / Model driven testing based on test history
	Dechesne, F.; Mousavi, M.R.; Orzan, S.M. / Operational and epistemic approaches to protocol analysis : bridging the gap
	Engels, T.A.N.; Groote, J.F.; Weerdenburg, van, M.J.; Willemse, T.A.C. / Search algorithms for automated validation
	Groot, P.; Serebrenik, A.; Eekelen, van, M.C.J.D. / Proceedings of VVSS2007 - verification and validation of software systems, 23rd March 2007, Eindhoven, The Netherlands
	Hee, van, K.M.; Hidders, A.J.H.; Houben, G.J.P.M.; Paredaens, J.; Thiran, P.A.P. / From workflow models to document types and back again
	Hee, van, K.M.; Sidorova, N.; Stahl, C.; Verbeek, H.M.W. / A price of service in a compositional SOA framework
	Horst, van der, M.G.; Mak, R.H. / Scalable parallel rank order filters
	Khadim, U.; Beek, van, D.A.; Cuijpers, P.J.L. / Linearization of hybrid chi using program counters
	Koprowski, A.; Zantema, H. / Certification of proving termination of term rewriting by matrix interpretations
	Lohmann, N.; Verbeek, H.M.W.; Ouyang, C.; Stahl, C.; Aalst, van der, W.M.P. / Comparing and evaluating Petri net semantics for BPEL
	Markovski, J.; Sokolova, A.; Trcka, N.; Vink, de, E.P. / Compositionality for Markov reward chains with fast transitions
	Markovski, J.; Vink, de, E.P. / Real-time in stochastic process algebra
	Merkx, L.L.F.; Duringhof, H.M.; Cuijpers, P.J.L. / Safety-critical design of the Generic Driving Actuator
	Mostowski, W.; Pan, J.; Akkiraju, S.; Vink, de, E.P.; Poll, E.; Hartog, den, J.I. / A comparison of Java Cards : state-of-affairs 2006
	Mousavi, M.R.; Phillips, I.C.C.; Reniers, M.A.; Ulidowski, I. / Semantics and expressiveness of ordered SOS
	Sokolova, A.; Vink, de, E.P.; Woracek, H. / A companion to coalgebraic weak bisimulation for action-type systems
	Verbeek, H.M.W.; Pretorius, A.J.; Aalst, van der, W.M.P. / Visualizing state spaces with petri nets
2006
	Aceto, L.; Fokkink, W.J.; Ingólfsdóttir, A.; Luttik, S.P. / A finite equational base for CCS with left merge and communication merge
	Baeten, J.C.M.; Beek, van, D.A.; Rooda, J.E. / Process algebra for dynamic system modeling
	Beek, van, D.A.; Reniers, M.A.; Schiffelers, R.R.H.; Rooda, J.E. / Foundations of a compositional interchange format for hybrid systems
	Bergstra, J.A.; Middelburg, C.A. / A thread algebra with multi-level strategic interleaving (extended version)
	Bergstra, J.A.; Middelburg, C.A. / A thread calculus with molecular dynamics
	Bergstra, J.A.; Middelburg, C.A. / Maurer computers for pipelined instruction processing
	Bergstra, J.A.; Middelburg, C.A. / Parallel Processes with implicit computational capital
	Bergstra, J.A.; Middelburg, C.A. / Synchronous cooperation for explicit multi-threading
	Bondarev, E.; Chaudron, M.R.V.; Zhang, Jiang / Quality-oriented design space exploration for component-based architectures
	Bril, R.J. / Existing worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption is too optimistic
	Bril, R.J.; Cuijpers, P.J.L. / Analysis of hierarchical fixed-priority pre-emptive scheduling revisited
	Bril, R.J.; Lukkien, J.J.; Davis, R.I.; Burns, A. / Message response time analysis for ideal controller area network (CAN) refuted
	Bril, R.J.; Lukkien, J.J.; Verhaegh, W.F.J. / Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption revisited
	Corro Ramos, I.; Bucchianico, Di, A.A.; Hakobyan, L.; Hee, van, K.M. / Synthesis and reduction of state machine workflow nets
	Cremers, C.J.F.; Mauw, S. / Generalizing Needham-Schroeder-Lowe for multi-party authentication
	Cuijpers, P.J.L. / A note on continuous bisimulation and stability
	Cuijpers, P.J.L.; Bril, R.J. / Towards periodic budgeting in real-time calculus
	Heck, P.M. / A software product certification model for dependable systems
	Hee, van, K.M.; Lomazova, I.A.; Oanea, O.I. / Nested nets for adaptive systems
	Hee, van, K.M.; Oanea, O.I.; Sidorova, N. / Verifying generalized soundness for workflow nets
	Hoogerwoord, R.R. / A formal derivation of a sliding window protocol
	Jonker, H.L.; Nair, S. Krishnan; Torabi Dashti, M. / Nuovo DRM Paradiso
	Khadim, U. / A comparative study of process algebras for hybrid systems
	Koprowski, A. / Coq formalization of the higher-order recursive path ordering
	Koprowski, A. / TPA
	Koprowski, A.; Zantema, H. / Recursive path ordering for infinite labelled rewrite systems
	Kuzniarz, Ludwik; Sourrouille, Jean Louis; Straeten, Van Der, Ragnhild / Workshop proceedings of the 1st workshop on quality in modeling
	Lange, C.F.J.; Chaudron, M.R.V.; Tourwé, T. / Proceedings of the 3rd Belgium Netherlands Workshop on Software Evolution (BENEVOL), Eindhoven, The Netherlands, May 26-27, 2005
	Lange, C.F.J.; DuBois, B.; Chaudron, M.R.V.; Demeyer, S. / Experimentally investigating the effectiveness and effort of modeling conventions for the UML
	Luttik, S.P. / What is algebraic in process theory
	Markovski, J.; Trcka, N. / Lumping Markov chains with silent steps
	Markovski, J.; Vink, de, E.P. / Embedding real-time in stochastic process algebras
	Mooij, A.J.; Romijn, J.M.T.; Wesselink, J.W. / Realizability criteria for compositional MSC
	Osch, van, M.P.W.J. / Hybrid input-output conformance and test generation
	Ploeger, S.C.W.; Somers, L.J.A.M. / Analysis and verification of an automatic document feeder
	Reniers, D.; Telea, A.C. / Skeleton-based hierarchical shape segmentation
	Reniers, M.A.; Weerdenburg, van, M.J. / Action abstraction in timed process algebra
	Weerdenburg, van, M.J. / An account of implementing applicative term rewriting
2005
	Baeten, J.C.M.; Bravetti, M. / A ground-complete axiomatization of finite state processes in process algebra
	Baeten, J.C.M.; Corradini, F. / Regular expressions in process algebra
	Baeten, J.C.M.; Corradini, F.; Grabmayer, C.A. / A characterization of regular expressions under bisimulation
	Baeten, J.C.M.; Mousavi, M.R.; Reniers, M.A. / Timing the untimed
	Baeten, J.C.M.; Reniers, M.A. / Duplication of constants in process algebra
	Beek, van, D.A.; Man, K.L.; Reniers, M.A.; Rooda, J.E.; Schiffelers, R.R.H. / Syntax and semantics of timed Chi
	Bergstra, J.A.; Middelburg, C.A. / Maurer computers with single-thread control
	Bergstra, J.A.; Middelburg, C.A. / Preferential choice and coordination conditions
	Bergstra, J.A.; Middelburg, C.A. / Process algebra with conditionals in the presence of epsilon
	Bergstra, J.A.; Middelburg, C.A. / Simulating Turing machines on Maurer machines
	Bergstra, J.A.; Middelburg, C.A. / Splitting bisimulations and retrospective conditions
	Bergstra, J.A.; Middelburg, C.A. / Strong splitting bisimulation equivalence
	Bergstra, J.A.; Middelburg, C.A. / Thread algebra with multi-level strategies
	Bucchianico, Di, A.A.; Hee, van, K.M.; Groote, J.F.; Kruidhof, R. / Statistical certification of software systems
	Cremers, C.J.F. / Verification of multi-protocol attacks
	Jonker, H.L.; Mauw, S. / Core security requirements of DRM systems
	Khadim, U. / A graph model for a basic process algebra for hybrid systems
	Koprowski, A.; Zantema, H. / Proving liveness with fairness using rewriting
	Lange, C.F.J.; Chaudron, M.R.V. / Experimentally investigating effects of defects in UML models
	Luttik, S.P.; Trcka, N. / Stuttering congruence for X
	Mak, R.H. / Periodic-drop-take calculus for stream transformers
	Mathijssen, A.H.J.; Pretorius, A.J. / Specification, analysis and verification of an automated parking garage
	Mousavi, M.R.; Reniers, M.A. / Orthogonal extensions in structural operational semantics
	Muskens, J.; Chaudron, M.R.V.; Bril, R.J. / Finding inconsistencies between views using relation partition algebra
	Punter, H.T.; Eekelen, van, M.C.J.D. / Proceedings of VVSS2005 - verification and validation of software systems
	Reniers, M.A.; Usenko, Y.S. / Analysis of timed processes with data using algebraic transformations
	Romijn, J.M.T.; Smith, G.; Pol, van de, J.C. / IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005
	Sokolova, A. / On compositions and paths for coalgebras
	Trcka, N. / Verifying Chi models of industrial systems with spin
	Weerdenburg, van, M.J. / Process algebra with local communication
	Winskel, Glynn / Event structures : maps, monads and spans : invited talk
	Zantema, H. / Reducing right hand sides for termination
2004
	Aceto, L.; Fokkink, W.J.; Ingólfsdóttir, A.; Luttik, S.P. / CCS with Hennessy's merge has no finite equational axiomatization
	Aroyo, L.M.; Tasso, C. / AH 2004 : 3rd international conference on adaptive hypermedia and adaptive web-based systems : workshop proceedings part 1
	Aroyo, L.M.; Tasso, C. / AH 2004 : 3rd international conference on adaptive hypermedia and adaptive web-based systems : workshop proceedings part 2
	Badban, B.; Pol, van de, J.C.; Tveretina, O.; Zantema, H. / Generalizing DPLL and satisfiability for equalities
	Baeten, J.C.M. / A brief history of process algebra
	Beek, van, D.A.; Man, K.L.; Reniers, M.A.; Rooda, J.E.; Schiffelers, R.R.H. / Syntax and consistent equation semantics of hybrid Chi
	Berg, de, M.T.; Streppel, M.W.A. / Approximate range searching using binary space partition
	Bergstra, J.A.; Middelburg, C.A. / A thread algebra with multi-level strategic interleaving
	Bergstra, J.A.; Middelburg, C.A. / Continuity controlled hybrid automata
	Bergstra, J.A.; Middelburg, C.A. / Model theory for process algebra
	Bergstra, J.A.; Middelburg, C.A. / Thread algebra for strategic interleaving
	Bortnik, E.M.; Trcka, N.; Wijs, A.J.; Luttik, S.P.; Baeten, J.C.M.; Mortel-Fronczak, van de, J.M. / Analyzing a chi model of a turntable system using Spin, CADP and Uppaal
	Chaudron, M.R.V.; Groote, J.F.; Hee, van, K.M.; Hemerik, C.; Somers, L.J.A.M.; Verhoeff, T. / Software engineering reference framework
	Cleophas, L.G.W.A.; Watson, B.W. / Proceedings of the Eindhoven FASTAR Days 2004 : Eindhoven, The Netherlands, September 3-4, 2004
	Cleophas, L.G.W.A.; Watson, B.W.; Zwaan, G. / A new taxonomy of sublinear keyword pattern matching algorithms
	Cleophas, L.G.W.A.; Zwaan, G.; Watson, B.W. / Constructing factor oracles
	Cremers, C.J.F.; Mauw, S. / Operational semantics of security protocols
	Cuijpers, P.J.L.; Broenink, J.F.; Mosterman, P.J. / Constitutive hybrid processes
	Cuijpers, P.J.L.; Reniers, M.A. / Action and predicate safety of hybrid processes
	De Bra, P.M.E.; Stash, N.; Smits, D. / Creating adaptive applications with AHA! : tutorial for AHA! version 3.0
	Fokkink, W.J.; Groote, J.F.; Reniers, M.A. / Process algebra needs proof methodology
	Gao, H.; Groote, J.F.; Hesselink, W.H. / Lock-free parallel garbage collection by Mark&Sweep
	Geldrop, van, H.P.J. / Bird's-eye view of logic programming
	Geldrop, van, H.P.J.; Woude, van der, J.C.S.P. / Inductive sets, the algebraic way
	Groote, J.F.; Keinänen, Misa / A sub-quadratic algorithm for conjunctive and disjunctive BESs
	Groote, J.F.; Mauw, S.; Serebrenik, A. / Analysing the BKE-security protocol with muCRL
	Groote, J.F.; Willemse, T.A.C. / Parameterised Boolean equation systems
	Hollestelle, Gijs; Burgers, Wouter; Hartog, den, J.I. / Power analysis on smartcard algorithms using simulation
	Houben, G.J.P.M.; Göker, M.H. / AH 2004: 3rd International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems : Industry Session
	Lazarobaster Badiola, Inaki; Radovanovic, I.; Russello, G. / Design and implementation of a real-time protocol over ethernet
	Mak, R.H. / A taxonomy of maximally elastic buffers
	Mousavi, M.R.; Groote, J.F.; Reniers, M.A. / Congruence for SOS with data
	Mousavi, M.R.; Reniers, M.A. / Structural congruences and structural operational semantics
	Mousavi, M.R.; Reniers, M.A.; Groote, J.F. / A syntactic commutativity format for SOS
	Mousavi, M.R.; Sirjani, M.; Arbab, F. / Specification, simulation, and verification of component connectors in Reo
	Nieuwelaar, van den, N.J.M.; Driessen, M.M.H.; Groote, J.F. / A dedicated verification approach for scheduling in complex manufacturing machines
	Reniers, M.A.; Brand, van den, P.C.W.; Cuijpers, P.J.L. / Linearization of hybrid processes
	Russello, G.; Chaudron, M.R.V.; Steen, van, M.R. / GSpace : tailorable data distribution in shared data space systems
	Sokolova, A.; Vink, de, E.P.; Woracek, H. / Weak bisimulation for action-type coalgebras
	Stok, van der, P.D.V.; Lukkien, J.J.; Verhoeven, P.H.F.M. / Workshop on real-time for multimedia (RTMM), Catania, Italy, June 29, 2004
	Thiran, P.A.P.; Heuvel, van den, W.J. / WRAP 2004 : first international workshop on wrapper techniques for legacy systems (In connection with the 11th working conference on reverse engineering) : workshop proceedings
	Zwartjes, Gertjan; Geffen, van, Joost; Kourie, D.G.; Boake, A.; Watson, B.W. / Industry experience in using an abstract model to select software development tools
2003
	Bergstra, J.A.; Middelburg, C.A. / Process algebra for hybrid systems
	Cuijpers, P.J.L.; Reniers, M.A. / Hybrid process algebra
	De Bra, P.M.E. / Conferentie informatiewetenschap 2003, Technische Universiteit Eindhoven, 20 november 2003 : proceedings
	De Bra, P.M.E.; Davis, H.; Kay, J.; Schraefel, M. / AH 2003 : workshop on adaptive hypermedia and adaptive web-based systems
	Gao, H.; Groote, J.F.; Hesselink, W.H. / Efficient almost wait-free parallel accesible dynamic hashtables
	Giesl, J.; Zantema, H. / Liveness in rewriting
	Groote, J.F.; Voorhoeve, M. / Operational semantics for petri net components
	Middelburg, C.A.; Bergstra, J.A. / Located actions in process algebra with timing
	Mooij, A.J.; Goga, N.; Wesselink, J.W. / A distributed spanning tree algorithm for topology-aware networks
	Mooij, A.J.; Wesselink, J.W. / A formal analysis of a dynamic distributed spanning tree algorithm
	Muskens, J.; Chaudron, M.R.V. / Prediction of run-time consumption in multi-task component-based software systems
	Ngassam, E.K.; Watson, B.W.; Kourie, D.G. / On hardcoding finite state automata processing
	Tveretina, O.; Zantema, H. / A proof system and a decision procedure for equality logic
	Vink, de, E.P.; Groenewegen, L.P.J.; Kampenhout, van, Niels / Coordination in networked organizations : the paradigm approach
	Voorhoeve, M.; Hee, van, K.M.; Sidorova, N. / Generalised soundness of workflow nets is decidable
	Zantema, H. / Termination of string rewriting proved automatically
	Zantema, H.; Groote, J.F. / Transforming equality logic to propositional logic
2002
	Aroyo, L.M.; Dicheva, D. / Concepts and ontologies in web-based educational systems : workshop, Auckland, New Zealand
	Baeten, J.C.M.; Bergstra, J.A.; Feijs, L.M.G. / Process algebra with pointers
	Baeten, J.C.M.; Middelburg, C.A.; Reniers, M.A. / A new equivalence for processes with timing
	Beek, van, H.M.A. / An algebraic approach to transactional processes
	Cuijpers, P.J.L.; Reniers, M.A. / Topological (Bi-)Simulation
	Cuijpers, P.J.L.; Reniers, M.A.; Heemels, W.P.M.H. / Hybrid transition systems
	Groote, J.F.; Ham, van, F.J.J. / State space visualization
	Groote, J.F.; Willemse, T.A.C. / A checker for modal formulas for processes with data
	Hee, van, K.M.; Aalst, van der, W.M.P.; Toorn, van der, R.A. / Construction rules for component-based architectures
	Hoogerwoord, R.R. / Leslie Lamport's logical clocks : a tutorial
	Mauw, S.; Wiersma, W.T.; Willemse, T.A.C. / Language-driven system design
	Michiels, W.P.A.J.; Korst, J.H.M.; Aarts, E.H.L.; Leeuwen, van, J. / Performance ratios for the Karmarker-Karp differencing method
	Middelburg, C.A. / Process Algebra with nonstandard timing
	Mooij, A.J. / Formal derivations of non-blocking multiprograms
	Mousavi, M.R.; Basten, A.A.; Reniers, M.A.; Chaudron, M.R.V.; Russello, G. / Separating functionality, behavior and timing in the design of reactive systems : (GAMMA + coordination) + time
	Nederpelt, R.P. / Weak Type Theory : a formal language for mathematics
	Sokolova, A.; Vink, de, E.P. / Algebraic representation of bisimulation for the tagh-format
	Tveretina, O.; Zantema, H. / Transforming DPLL to resolution
	Verhoeff, T. / The 43rd International Mathematical Olympiad : a reflective report on IMO 2002
2001
	Baeten, J.C.M.; Beek, van, H.M.A.; Mauw, S. / Operational semantics of DiCons : a formal language for developing internet applications
	Baeten, J.C.M.; Bosnacki, D.; Voeten, J.P.M.; Holenderski, L. / Third Dutch model checking day, Eindhoven, November 7, 2001 : proceedings
	Baeten, J.C.M.; Vink, de, E.P. / Axiomatizing GSOS with termination
	Cuijpers, P.J.L.; Reniers, M.A.; Engels, A.G. / Beyond Zeno-behaviour
	De Bra, P.M.E.; Brusilovsky, P.; Kobsa, A. / Adaptive hypertext and hypermedia : workshop : proceedings, 3rd, Sonthofen, Germany, July 14, 2001 and Aarhus, Denmark, August 15, 2001
	Dechesne, F. / Investigating the basic notions of Hintikka's independence friendly logic
	Feijs, L.M.G.; Goga, N.; Mauw, S.; Willemse, T.A.C. / 7e Nederlandse testdag, Eindhoven, 8 November 2001 : proceedings
	Hammer, D.K.; Hooman, J.J.M.; Reniers, M.A.; Roosmalen, van, O.S.; Sintotski, A. / Design of the mine pump control system
	Jojgov, G.I. / Systems for open terms : an overview
	Lemmens, W.J.M.; Houben, G.J.P.M. / XML to XML through XML
	Middelburg, C.A. / Operational conservativity with binding terms
	NN / Computer science reports
	Willemse, T.A.C. / Interpretations of automata
	Zantema, H.; Pol, van de, J.C. / A rewriting approach to binary decision diagrams
2000
	Baeten, J.C.M. / Process algebra with explicit termination
	Baeten, J.C.M.; Beek, van, H.M.A.; Mauw, S. / Specifying Internet applications with DiCons
	Baeten, J.C.M.; Bergstra, J.A. / Mode transfer in process algebra
	Baeten, J.C.M.; Reniers, M.A. / Termination in timed process algebra
	Basten, A.A.; Bosnacki, D. / Enhancing partial-order reduction via process clustering
	Bloo, C.J.; Hooman, J.J.M.; Jong, de, E. / Semantical aspects of an architecture for distributed embedded systems
	Borghuis, V.A.J.; Nederpelt, R.P. / Belief revision with explicit justifications : an exploration in type theory
	Ende, van den, Ilke D. / Grammars compared : a study on determining a suitable grammar for parsing and generating natural language sentences in order to facilitate the translation of natural language and MSC use cases
	Groote, J.F.; Reniers, M.A. / Algebraic process verification
	Groote, J.F.; Wamel, van, J.J. / The parallel composition of uniform processes with data
	Hoogerwoord, R.R. / A formal development of distributed summation
	Kamareddine, F.; Bloo, C.J.; Nederpelt, R.P. / Characterizing lambda-terms with equal reduction behavior
	Laan, T.D.L.; Bloo, C.J.; Kamareddine, F.; Nederpelt, R.P. / Parameters in pure type systems
	Mauw, S.; Reniers, M.A. / A process algebra for interworkings
	Mauw, S.; Reniers, M.A.; Willemse, T.A.C. / Message sequence charts in the software engineering process
	Middelburg, C.A. / Variable binding operators in transition system specifications
	Oostdijk, M.D. / An interactive viewer for mathematical content based on type theory
	Vet, van der, P.; De Bra, P.M.E. / Conferentie informatiewetenschap 2000, de Doelen, Utrecht, 5 april 2000
	Voorhoeve, M.; Mauw, S. / Impossible futures and determinism
	Willemse, T.A.C.; Tretmans, J.; Klomp, A. / A case study in formal methods : specification and validation of the OM/RR protocol
1999
	Aalst, van der, W.M.P.; Basten, A.A. / Inheritance of workflows : an approach to tackling problems related to change
	Andova, S. / Process algebra with interleaving probabilistic parallel composition
	Andova, S. / Process algebra with probabilistic choice
	Backhouse, R.C.; Hoogendijk, P.F. / Final dialgebras : from categories to allegories
	Baeten, J.C.M.; Basten, A.A. / Partial-order process algebra (and its relation to Petri nets)
	Baeten, J.C.M.; Middelburg, C.A. / Process algebra with timing : real time and discrete time
	Baeten, J.C.M.; Middelburg, C.A. / Real time process algebra with time-dependent conditions
	Basten, A.A.; Aalst, van der, W.M.P. / Inheritance of behavior
	Bos, V.; Kleijn, J.J.T. / Structured operational semantics of chi
	Brusilovsky, P.; De Bra, P.M.E. / Second workshop on adaptive systems and user modeling on the World Wide Web
	De Bra, P.M.E.; Hardman, H.L. / Conferentie informatiewetenschap 1999 : Centrum voor Wiskunde en Informatica, 12 november 1999 : proceedings
	Engels, A.G.; Mauw, S. / Why men (and octopuses) cannot juggle a four ball cascade
	Franssen, M.G.J.; Veltkamp, R.C.; Wesselink, J.W. / Efficient evaluation of triangular B-splines
	Groote, J.F.; Hesselink, W.H.; Mauw, S.; Vermeulen, R. / An algorithm for the asynchronous write-all problem based on process collision
	Hee, van, K.M.; Toorn, van der, R.A.; Woude, van der, J.C.S.P.; Verkoulen, P.A.C. / A framework for component based software architectures
	Houben, G.J.P.M.; Lemmens, W.J.M. / A software architecture for generating hypermedia applications for ad-hoc database output
	Pol, van de, J.C.; Hooman, J.J.M.; Jong, de, E. / Requirements specifications and analysis of command and control systems
	Verbeek, H.M.W.; Basten, A.A.; Aalst, van der, W.M.P. / Diagnosing workflow processes using Woflan
	Willemse, T.A.C. / The analysis of a conveyor belt system : a case study in hybrid systems and timed muCRL
1998
	Aalst, van der, W.M.P. / Formalization and verification of event-driven process chains
	Aalst, van der, W.M.P. / Workflow management
	Backhouse, R.C. / Pair algebras and Galois connections
	Backhouse, R.C. / User interfaces for theorem provers : informal proceedings of the workshop, Eindhoven University of Technology, 13-15 July 1998
	Baeten, J.C.M.; Bergstra, J.A. / Deadlock behaviour in split and ST bisimulation semantics
	Basten, A.A.; Hooman, J.J.M. / Process algebra in PVS
	Bergen, van den, G.J.A.; Kaldewaij, A.; Dielissen, V.J. / Maintenance of the union of intervals on a line revisited
	Brusilovsky, P.; De Bra, P.M.E. / Adaptive hypertext and hypermedia : workshop : proceedings, 2nd, Pittsburgh, Pa., June 20-24, 1998
	Dams, D.R. / Flat fragments of CTL and CTL* : separating the expressive and distinguishing powers
	Groote, J.F.; Monin, F.G.; Pol, van de, J.C. / Checking verifications of protocols and distributed systems by computer
	Hee, van, K.M.; Reijers, H.A. / An analytical method for assessing business processes
	Voorhoeve, M. / State-event net equivalance
	Zwanenburg, J. / The proof-assistant Yarrow
1997
	Aalst, van der, W.M.P. / Exploring the process dimension of workflow management
	Aalst, van der, W.M.P. / On the verification of interorganizational workflows
	Baeten, J.C.M.; Bergstra, J.A. / Bounded stacks, bags and queues
	Baeten, J.C.M.; Bergstra, J.A. / Discrete time process algebra : absolute time, relative time and parametric time
	Baeten, J.C.M.; Vereijken, J.J. / Discrete-time process algebra with empty process
	Blanco, J.O.; Deursen, van, A. / Basic conditional process algebra
	De Bra, P.M.E. / Informatiewetenschap 1997 : wetenschappelijke bijdragen aan de 5e Interdisciplinaire Conferentie Informatiewetenschap, Eindhoven, November 27, 1997
	Dignum, F.P.M.; Dietz, J.L.G. / Communication modeling - the language/action perspective : proceedings of the international workshop on communication modeling, 2nd, Veldhoven, The Netherlands, 9-10 June, 1997
	Engels, A.G.; Mauw, S.; Reniers, M.A. / A hierarchy of communication models for message sequence charts
	Franssen, M.G.J. / Lambda Ro- : a pure type system for first order logic with automated theorum proving
	Franssen, M.G.J. / Tools for the construction of correct programs : an overview
	Gorp, van, P.C.N.; Luit, E.J.; Hammer, D.K.; Aarts, E.H.L. / Distributed real-time systems : a survey of applications and a general design model
	Groote, J.F.; Monin, F.G.; Springintveld, J.G. / A computer checked algebraic verification of a distributed summation algorithm
	Hauschildt, Dirk; Verbeek, H.M.W.; Aalst, van der, W.M.P. / WOFLAN : a Petri-net-based workflow analyzer
	Hoogendijk, P.F.; Backhouse, R.C. / When do datatypes commute?
	Vaccari, Matteo; Backhouse, R.C. / Calculating a round-robin scheduler
1996
	Aalst, van der, W.M.P. / Parallel computation of reachable dead states in a free-choice Petri Net
	Aalst, van der, W.M.P. / Structural characterizations of sound workflow nets
	Aalst, van der, W.M.P.; Basten, A.A. / Life-cycle inheritance : a Petri-Net-Based approach
	Basten, A.A.; Aalst, van der, W.M.P. / A process-algebraic approach to life-cycle inheritance : inheritance
	Bijlsma, A.; Nederpelt, R.P. / Predicate calculus : concepts and misconceptions
	Bloo, C.J.; Geuvers, J.H. / Explicit substitution : on the edge of strong normalisation
	Boiten, Eerke A.; Hoogendijk, P.F. / Nested collections and polytypism
	Borghuis, V.A.J. / Priorean tense logics in modal pure type systems
	Bos, S.H.J.; Reniers, M.A. / The I2 C-bus in discrete-time process algebra
	De Bra, P.M.E.; Aerts, A.T.M. / Multi-user publishing in the Web : DReSS, a Document Repository Service Station
	Dignum, F.P.M.; Weigand, Hans; Verharen, E.M. / A formal specification of deadlines using dynamic deontic logic
	Feijs, L.M.G. / Algebraic specification and simulation of lazy functional programs in a concurrent environment
	Graaf, van de, M.C.A.; Houben, G.J.P.M. / Designing effective workflow management processes
	Hooman, J.J.M.; Roosmalen, van, O.S. / A programming-language extension for distributed real-time systems
	Kamareddine, F.; Laan, T.D.L. / A correspondence between Nuprl and the Ramified Theory of Types
	Laan, T.D.L. / AUTOMATH and pure type systems
	Munk, de, J.T.; Aerts, A.T.M.; De Bra, P.M.E. / OODB support for WWW applications : disclosing the internal structure of hyperdocuments
	Reniers, M.A. / Static semantics of message sequence charts
	Reniers, M.A.; Vereijken, J.J. / Completeness in discrete-time process algebra
	Stok, van der, P.D.V. / Real-time distributed concurrency control algorithms with mixed time constraints
	Vaccari, Matteo; Backhouse, R.C. / Deriving a systolic regular language recognizer
	Voorhoeve, M. / Structural Petri net equivalence
	Voorhoeve, M.; Aalst, van der, W.M.P. / Conservative adaptation of workflow
	Voorhoeve, M.; Basten, A.A. / Process algebra with autonomous actions
1995
	Aalst, van der, W.M.P. / A class of petri nets for modeling and analyzing business processes
	Aalst, van der, W.M.P. / Handboek simulatie
	Aalst, van der, W.M.P. / Petri net based scheduling
	Arnold, B.R.T.; Deursen, van, A.; Res, Martijn / Algebraic specification of a language for describing financial products
	Backhouse, R.C.; Verhoeven, P.H.F.M.; Weber, Olaf / MathSpad : a system for on-line preparation of mathematical documents
	Baeten, J.C.M.; Bergstra, J.A. / Discrete time process algebra
	Baeten, J.C.M.; Bergstra, J.A. / Discrete time process algebra with abstraction
	Baeten, J.C.M.; Verhoef, C. / Concrete process algebra
	Basten, A.A.; Voorhoeve, M. / An algebraic semantics for hierarchical P/T nets
	Bezem, Marc A.; Bol, R.N.; Groote, J.F. / Formalizing process algebraic verifications in the calculus of constructions
	Bloo, C.J. / Preservation of strong normalisation for explicit substitution
	Bruyn, de, G.A.M.; Roosmalen, van, O.S. / Drawing execution graphs by parsing
	Dams, D.R.; Grumberg, Orna; Gerth, R.T. / Abstract interpretation of reactive systems : preservation of CTL*
	Deursen, van, A. / Axiomatizing early and late input by variable elimination
	Dignum, F.P.M.; Nuijten, W.P.M.; Janssen, L.M.A. / Solving a time tabling problem by constraint satisfaction
	Engelfriet, Joost; Vereijken, J.J. / Context-free graph grammars and concatenation of graphs
	Feijs, L.M.G. / Synchronous sequence charts in action
	Fokkink, W.J.; Verhoef, C. / A conservative look at term deduction systems with variable binding
	Hidders, A.J.H. / An isotopic invariant for planar drawings of connected planar graphs
	Hidders, A.J.H.; Hoskens, C.P.M.; Paredaens, J. / The formal model of a pattern browsing technique
	Jurjus, Herman / On nesting of a nonmonotonic conditional
	Kamareddine, F.; Laan, T.D.L. / A reflection on Russell's ramified types and Kripke's hierarchy of truths
	Kelb, Peter; Dams, D.R.; Gerth, R.T. / Practical symbolic model checking of the full mu-calculus using compositional abstractions
	Lukkien, J.J. / The construction of a small communication library
	Mauw, S.; Meulen, van der, E.A. / Specification of tools for message sequence charts
	Mauw, S.; Reniers, M.A. / Empty interworkings and refinement semantics of interworkings revised
	Niebert, Pieter; Penczek, W. / On the connection of partial order logics and partial order reduction methods
	Ponse, A.J.; Verhoef, C.; Vlijmen, van, S.F.M. / ACP : algebra of communicating processes : workshop : proceedings, 2nd, Eindhoven, The Netherlands, 1995
	Raamsdonk, van, Femke; Severi, P.G. / On normalisation
	Seljee, Ron R. / Deductive database systems and integrity constraint checking
	Severi, P.G. / A type inference algorithm for pure type systems
	Stok, van der, P.D.V.; Wal, van der, J. / Proceedings of the real-time database workshop, Eindhoven, 23 February 1995
	Vossen, T.W.M.; Verhoeven, M.G.A.; Eikelder, ten, H.M.M.; Aarts, E.H.L. / A quantitative analysis of iterated local research
	Watson, B.W.; Zwaan, G. / A taxonomy of sublinear multiple keyword pattern matching algorithms
	Zwanenburg, J. / Record concatenation with intersection types
1994
	Alstein, D. / Distributed consensus and hard real-time systems
	America, P.H.M.; Kammen, van der, M.; Nederpelt, R.P. / The object-oriented paradigm
	Apt, Krzysztof R.; Bol, R.N. / Logic programming and negation : a survey
	Backhouse, R.C.; Bijsterveld, M.L.L. / Category theory as coherently constructive lattice theory : an illustration
	Backhouse, R.C.; Doornbos, H. / Mathematical induction made calculational
	Baeten, J.C.M.; Bergstra, J.A. / Graph isomorphism models for non interleaving process algebra
	Baeten, J.C.M.; Bergstra, J.A. / Process algebra with partial choice
	Baeten, J.C.M.; Bergstra, J.A. / Process algebra with propositional signals
	Baeten, J.C.M.; Bergstra, J.A.; Stefanescu, Gheorghe / Process algebra with feedback
	Baeten, J.C.M.; Mauw, S. / Delayed choice : an operator for joining Message Sequence Charts
	Basten, A.A.; Bol, R.N.; Voorhoeve, M. / Simulating and analyzing railway interlockings in ExSpect
	Basten, A.A.; Kunz, T.H.; Black, J.P.; Taylor, D.J. / Time and order of abstract events in distributed computations
	Bijlsma, A.; Scholten, C.S. / Point-free substitution
	Blokhuis, A.; Kloks, A.J.J. / On the equivalence covering number of splitgraphs
	Bloo, C.J.; Kamareddine, F.; Nederpelt, R.P. / Beyond Beta-reduction in Church's lambda-arrow
	Bloo, C.J.; Kamareddine, F.; Nederpelt, R.P. / On Pi-conversion in type theory
	Bloo, C.J.; Kamareddine, F.; Nederpelt, R.P. / The Barendregt cube with definitions and generalised reduction
	Bloo, C.J.; Kamareddine, F.; Nederpelt, R.P. / The lambda-cube with classes of terms modulo conversion
	Brinksma, E.; Davies, J.; Gerth, R.T.; Graf, S.; Janssen, W.; Jonsson, B.; Katz, S.; Lowe, G.; Poel, M.; Pnueli, A.; Rump, C.; Zwiers, J. / Verifying sequentially consistent memory
	Dams, D.R.; Grumberg, Orna; Gerth, R.T. / Abstract interpretation of reactive systems : abstractions preserving ...
	Engelfriet, Joost; Vereijken, J.J. / Concatenation of graphs
	Gerth, R.T.; Kuiper, R.; Peled, D.A.; Penczek, W. / A partial order approach to branching time logic model checking
	Geuvers, J.H. / A short and flexible proof of strong normalization for the calculus of constructions
	Hartman, Leo B.; Hee, van, K.M. / Application of Markov decision processes to search problems
	Hoogerwoord, R.R. / On the foundations of functional programming : a programmer's point of view
	Hooman, J.J.M. / Correctness of real time systems by construction
	Houben, G.J.P.M. / Tutorial voor de ExSpect-bibliotheek voor "administratieve logistiek"
	Kamareddine, F.; Nederpelt, R.P. / Canonical typing and pi-conversion
	Kamareddine, F.; Nederpelt, R.P. / Canonical typing and pi-conversion in the Barendregt cube
	Kamareddine, F.; Nederpelt, R.P. / Refining reduction in the lambda calculus
	Kloks, A.J.J. / K1,3-free and W4-free graphs
	Kloks, A.J.J.; Kratsch, D. / Computing a perfect edge without vertex elimination ordering of a chordal bipartite graph
	Kloks, A.J.J.; Kratsch, D.; Müller, H. / Dominoes
	Kloks, A.J.J.; Kratsch, D.; Müller, H. / Listing simplicial vertices and recognizing diamond-free graphs
	Laan, T.D.L. / A formalization of the ramified type theory
	Mauw, S.; Mulder, Hans / Regularity of BPA-systems is decidable
	Mauw, S.; Reniers, M.A. / An algebraic semantics of basic message sequence charts
	Mauw, S.; Reniers, M.A. / An algebraic semantics of message sequence charts
	NN / Computing science reports
	NN / Computing science reports
	Overveld, van, C.W.A.M.; Verhoeven, M.G.A. / Stars or stripes : a comparative study of finite and transfinite techniques for surface modelling
	Peleska, Jan; Huizing, C.; Petersohn, Carsta / A comparison of Ward & Mellor's transformation schema with state & activitycharts
	Penczek, W.; Kuiper, R. / Traces and logic
	Peremans, W. / Ups and downs of type theory
	Roosmalen, van, O.S. / A hierarchical diagrammatric representation of class structure
	Seljee, Ron R. / A new method for integrity constraint checking in deductive databases
	Vaessens, R.J.M.; Aarts, E.H.L.; Lenstra, J.K. / Job shop scheduling by local search
	Vereijken, J.J. / Fischer's protocol in timed process algebra
	Verhoeff, T. / The testing paradigm applied to network structure
	Watson, B.W. / An introduction to the FIRE engine : a C++ toolkit for finite automata and regular expressions
	Watson, B.W. / The design and implementation of the FIRE engine : a C++ toolkit for finite automata and regular expressions
	Watson, B.W. / The performance of single-keyword and multiple-keyword pattern matching algorithms
	Watson, B.W.; Watson, Richard E. / A Boyer-Moore type algorithm for regular expression pattern matching
	Zhou, P.; Hooman, J.J.M. / Formal specification and compositional verification of an atomic broadcast protocol
	the Mathematics of Program Construction Group / Fixed-point calculus
1993
	Aalst, van der, W.M.P. / Multi-dimensional petri nets
	Aalst, van der, W.M.P.; De Bra, P.M.E.; Houben, G.J.P.M.; Kornatzky, Y. / Browsing semantics in the "Tower" model
	Aarts, E.H.L.; Korst, J.H.M.; Zwietering, P.J. / Deterministic and randomized local search
	Alstein, D.; Stok, van der, P.D.V. / Hard real-time reliable multicast in the DEDOS system
	Baeten, J.C.M.; Bergstra, J.A. / Non interleaving process algebra
	Baeten, J.C.M.; Bergstra, J.A. / On sequential composition, action prefixes and process prefix
	Baeten, J.C.M.; Bergstra, J.A. / Real time process algebra with infinitesimals
	Baeten, J.C.M.; Bergstra, J.A.; Bol, R.N. / A real-time process logic
	Baeten, J.C.M.; Verhoef, C. / A congruence theorem for structured operational semantics with predicates
	Bijlsma, A. / Temporal operators viewed as predicate transformers
	Boer, de, F.S.; Palamidessi, C. / A process algebra of concurrent constraint programming
	Brunekreef, J.J.; Katoen, J.P.; Koymans, R.L.C.; Mauw, S. / Design and analysis of dynamic leader election protocols in broadcast networks
	Codish, Michael; Dams, D.R.; File, Gilberto; Bruynooghe, M. / Freeness analysis for logic programs - and correctness?
	Deogun, J.S.; Kloks, A.J.J.; Kratsch, D.; Müller, H. / On vertex ranking for permutation and other graphs
	Eikelder, ten, H.M.M.; Geldrop, van, H.P.J. / On the correctness of some algorithms to generate finite automata for regular expressions
	Ferrer, Walter; Severi, P.G. / Abstract reduction and topology
	Geldrop, van, H.P.J. / Deriving the Aho-Corasick algorithms : a case study into the synergy of programming methods
	Gerth, R.T. / Verifying sequentially consistent memory using interface refinement
	Hee, van, K.M. / Systems engineering : a formal approach
	Hee, van, K.M. / Systems engineering : a formal approach
	Hee, van, K.M. / Systems engineering : a formal approach
	Hee, van, K.M. / Systems engineering : a formal approach
	Hee, van, K.M. / Systems engineering : a formal approach
	Houben, G.J.P.M. / The design of an online help facility for ExSpect
	Kamareddine, F.; Nederpelt, R.P. / A semantics for a fine lambda-calculus with de Bruijn indices
	Kloks, A.J.J.; Kratsch, D. / Finding all minimal separators of a graph
	Kloks, A.J.J.; Kratsch, D.; Spinrad, J. / Treewidth and pathwidth of cocomparability graphs of bounded dimension
	Kogel, de, Eric / Relational algebra and equational proofs
	Körver, W.H.F.J. / Derivation of delay insensitive and speed independent CMOS circuits, using directed commands and production rule sets
	Loyens, L.D.J.C.; Moonen, J.R. / ILIAS : a sequential language for parallel matrix computations
	Luit, E.J.; Martin, J.M.M. / A precise clock synchronization protocol
	Moerland, P.D. / Exercises in multiprogramming
	Nuijten, W.P.M.; Aarts, E.H.L.; Erp Taalman Kip, van, D.A.A.; Hee, van, K.M. / Job shop scheduling by constraint satisfication
	Poll, E. / A typechecker for bijective pure type systems
	Post, R.; De Bra, P.M.E. / GOLD : a graph oriented language for databases
	Rambags, P.M.P. / Automatic verification of regular protocols in P/T nets
	Schepers, H.J.J.H.; Gerth, R.T. / A compositional proof theory for fault tolerant real-time distributed systems
	Schepers, H.J.J.H.; Hooman, J.J.M. / A trace-based compositional proof theory for fault tolerant distributed systems
	Severi, P.G.; Poll, E. / Pure type systems with definitions
	Stok, van der, P.D.V.; Claessen, M.M.M.P.J.; Alstein, D. / A hierarchical membership protocol for synchronous distributed systems
	Veltkamp, J.P. / On the unavoidability of metastable behaviour
	Verhoef, C. / A congruence theorem for structured operational semantics with predicates and negative premises
	Verhoef, C. / A general conservative extension theorem in process algebra
	Verhoeff, T. / A continuous version of the prisoner's dilemma
	Verhoeff, T. / Quicksort for linked lists
	Verhoosel, J.P.C. / A formal deterministic scheduling model for hard real-time executings in DEDOS
	Watson, B.W. / A taxonomy of finite automata construction algorithms
	Watson, B.W. / A taxonomy of finite automata minimization algorithms
1992
	Aalst, van der, W.M.P. / Interval timed coloured Petri nets and their analysis
	Backhouse, R.C. / Calculating the Warshall/Floyd path algorithm
	Backhouse, R.C.; Woude, van der, J.C.S.P. / Demonic operators and monotype factors
	Baeten, J.C.M. / The total order assumption
	Baeten, J.C.M.; Bergstra, J.A. / Discrete time process algebra
	Baeten, J.C.M.; Bergstra, J.A. / Real space process algebra
	Baeten, J.C.M.; Bergstra, J.A.; Smolka, Scott A. / Axiomatizing probabilistic processes : ACP with generative probabilities
	Beelen, T.H.W.; Stut, W.J.J.; Verkoulen, P.A.C. / A modelling method using Movie SimCon/ExSpect
	Codish, Michael; Dams, D.R.; Yardeni, Eyal / Bottum-up abstract interpretation of logic programs
	Coenen, J.; Hooman, J.J.M. / A compositional semantics for fault-tolerant real-time systems
	Coenen, J.; Zwiers, J.; Roever, de, W.P. / A note on compositional refinement
	Eijnde, van den, J.P.H.W. / Conservative fixpoint functions on a graph
	Eijnde, van den, J.P.H.W. / Program derivation in acyclic graphs and related problems
	Kamareddine, F. / A system at the cross-roads of functional and logic programming
	Kamareddine, F. / Are types needed for natural languages?
	Kamareddine, F. / Non well-foundedness and type freeness can unify the interpretation of functional application
	Kamareddine, F. / Set theory and nominalisation, part 1
	Kamareddine, F. / Set theory and nominalisation, part 2
	Kamareddine, F.; Klein, Ewan / Nominalization, predication and type containment
	Nederpelt, R.P. / The fine-structure of lambda calculus
	Nederpelt, R.P.; Kamareddine, F. / A unified approach to type theory through a refined lambda-calculus
	Nederpelt, R.P.; Kamareddine, F. / A useful lambda notation
	Nederpelt, R.P.; Kamareddine, F. / On stepwise explicit substitution
	Poll, E. / A programming logic for F...
	Rambags, P.M.P. / Composition and decomposition in a CPN model
	Seljee, Ron R. / Integrity checking in deductive databases : an exposition
	Watson, B.W.; Zwaan, G. / A taxonomy of keyword pattern matching algorithms
1991
	Aalst, van der, W.M.P. / Interval timed Petri nets and their analysis
	Aalst, van der, W.M.P. / The modelling and analysis of queueing systems with QNM-ExSpect
	Aerts, A.T.M.; De Bra, P.M.E.; Hee, van, K.M. / Transforming functional database schemes to relational representations
	Aerts, A.T.M.; Hee, van, K.M. / Eldorado : architecture of a functional database management system
	Aerts, A.T.M.; Reus, de, Dick / Formal semantics for BRM with examples
	Alstein, D. / Dynamic reconfiguration in distributed hard real-time systems
	Backhouse, R.C.; Bruin, de, Peter J.; Hoogendijk, P.F. / Polynomial relators
	Backhouse, R.C.; Bruin, de, Peter J.; Malcolm, Grant; Voermans, T.S.; Woude, van der, J.C.S.P. / Relational catamorphisms
	Baeten, J.C.M.; Vaandrager, F.W. / An algebra for process creation
	Boer, de, F.S. / A compositional proof system for dynamic proces creation
	Boer, de, F.S.; Klop, J.W.; Palamidessi, C. / Asynchronous communication in process algebra : extended abstract
	Boer, de, F.S.; Palamidessi, C. / Embedding as a tool for language comparison : on the CSP hierarchy
	Coenen, J. / Specifying fault tolerant programs in deontic logic
	Coenen, J.; Roever, de, W.P.; Zwiers, J. / Assertional data reification proofs : surveys and perspective
	De Bra, P.M.E.; Houben, G.J.P.M.; Paredaens, J. / The GOOD based hypertext reference model
	Eiben, A.E.; Schuwer, R.V. / Knowledge base systems : a formal model
	Eikelder, ten, H.M.M. / Some algorithms to decide the equivalence of recursive types
	Eikelder, ten, H.M.M.; Geldrop, van, H.P.J. / Correctness of acceptor schemes for regular languages
	Geldrop, van, H.P.J. / Transformational query solving
	Hee, van, K.M. / Specificatiemethoden : een overzicht
	Hee, van, K.M.; Somers, L.J.A.M.; Voorhoeve, M. / Z and high level Petri nets
	Hee, van, K.M.; Verkoulen, P.A.C. / Data, process and behaviour modelling in an integrated specification framework
	Katoen, J.P.; Schoenmakers, L.A.M. / Parallel programs for the recognition of P-invariant segments
	Lemmens, W.J.M. / The PDB hypermedia package : why and how it was built
	Marcelis, A.J.J.M. / An example of proving attribute grammars correct : the representation of arithmetical expressions by DAGs
	Poll, E. / Cpo-models for second order lambda calculus with recursive types and subtyping
	Poll, E. / Some categorical properties for a model for second order lambda calculus with subtyping
	Reus, de, Dick / An implementation model for GOOD
	Rietman, Frans J. / A note on extensionality
	Schepers, H.J.J.H. / Terminology and paradigms for fault tolerance
	Sluis, van de, Edwin / A parallel local search algorithm for the travelling salesman problem
	Sluis, van de, Edwin; Stappen, van der, A.F. / Performance analysis of VLSI programs
	Struik, P. / Techniques for designing efficient parallel programs
	Swart, de, H.C.M.; Nederpelt, R.P. / Implication : a survey of the different logical analyses of "if..., then..."
	Wolf, G. / Schedule management : an object oriented approach
	Zhou, P.; Hooman, J.J.M.; Kuiper, R. / A compositional proof system for real-time systems based on explicit clock temporal logic : soundness and completeness
1990
	Aerts, A.T.M.; De Bra, P.M.E.; Hee, van, K.M. / Combining the functional and the relational model
	America, P.H.M.; Boer, de, F.S. / A proof theory for a sequential version of POOL
	Apt, Krzysztof R.; Boer, de, F.S.; Olderog, E.-R. / Proving termination of parallel programs
	Boer, de, F.S. / A proof system for the language Pool
	Boer, de, F.S. / Compositionality in the temporal logic of concurrent systems
	Boer, de, F.S.; America, P.H.M. / A proof system for process creation
	Boer, de, F.S.; Palamidessi, C. / A fully abstract model for concurrent logic languages
	Boer, de, F.S.; Palamidessi, C. / On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences
	Brzozowski, J.A.; Ebergen, J.C. / On the delay-sensitivity of gate networks
	Coenen, J.; Sluis, van de, Edwin; Velden, van der, Erik / Design and implementation aspects of remote procedure calls
	Diepen, van, Math J.; Hee, van, K.M. / A formal semantics for Z and the link between Z and the relational algebra
	Gerth, R.T. / Foundations of compositional program refinement (second version)
	Hee, van, K.M.; Rambags, P.M.P. / Dynamic process creation in high-level Petri nets
	Josephs, M.B. / Receptive process theory
	Marcelis, A.J.J.M. / A logic for one-pass, one-attributed grammars
	Marcelis, A.J.J.M. / Typed inference systems : a reference document
	Peeters, A.M.G. / Decomposition of delay-insensitive circuits
	Rem, M. / The nature of delay-insensitive computing
	Verkoulen, P.A.C.; Brouwer, de, M.M. / Two case studies in ExSpect
1989
	Aarts, E.H.L.; Eiben, A.E.; Hee, van, K.M. / A general theory of genetic algorithms
	Aerts, A.T.M.; Hee, van, K.M. / A concise formal framework for data modeling
	Aerts, A.T.M.; Hee, van, K.M. / Towards a framework for comparing data models
	Chen, W.; Udding, J.T.; Verhoeff, T. / Networks of communicating processes and their (de-)composition
	Diepen, van, Math J.; Hee, van, K.M. / A formal semantics for Z and the link between Z and the relational algebra
	Eikelder, ten, H.M.M.; Hemerik, C. / Some category theoretical properties related to a model for a polymorphic lambda-calculus
	Haesen, H.C. / ELDA : data manipulatie taal
	Hee, van, K.M.; Rambags, P.M.P. / Discrete event systems : dynamic versus static topology
	Hesen, M.W.H.; Aerts, A.T.M.; Hee, van, K.M. / A program generator for simulated annealing problems
	Lepoeter-Molnar, E.Zs / Reconstruction of a 3-D surface from its normal vectors
	Mak, R.H.; Struik, P. / A systolic design for dynamic programming
	Ramesh, S. / A new efficient implementation of CSP with output guards
	Ramesh, S. / Algebraic specification and implementation of infinite processes
	Roever, de, W.P.; Barringer, H.; Courcoubetis, Costas; Gabbay, D.M.; Gerth, R.T.; Jonsson, B.; Pnueli, A.; Reed, M.; Sifakis, J.; Vytopil, J.; Wolper, Pierre / Formal methods and tools for the development of distributed and real time systems
	Struik, P. / A systematic design of parallel program for Dirichlet convolution
	Verhoeff, T. / Characterizations of delay-insensitive communication protocols
	Woude, van der, J.C.S.P. / Optimal segmentations
	Zwiers, J.; Roever, de, W.P. / Compositionality and modularity in process specification and design : a trace-state based approach
1988
	Aerts, A.T.M.; Hee, van, K.M. / A tutorial for data modeling
	Bijlsma, A. / A unified approach to sequences, bags, and trees
	Bos, R.; Hemerik, C. / An introduction to the category-theoretic solution of recursive domain equations
	Ebergen, J.C. / A formal approach to designing delay-insensitive circuits
	Eiben, A.E. / Abstract theory of planning
	Eikelder, ten, H.M.M.; Mak, R.H. / Language theory of lambda-calculus with recursive types
	Hammer, D.K.; Hee, van, K.M. / Fasering en documentatie in software engineering
	Hee, van, K.M.; Houben, G.J.P.M.; Somers, L.J.A.M.; Voorhoeve, M. / Executable specification for information systems
	Hee, van, K.M.; Houben, G.J.P.M.; Somers, L.J.A.M.; Voorhoeve, M. / Executable specifications for information systems
	Hee, van, K.M.; Houben, G.J.P.M.; Somers, L.J.A.M.; Voorhoeve, M. / A formal model for system specification
	Hee, van, K.M.; Houben, G.J.P.M.; Somers, L.J.A.M.; Voorhoeve, M. / Executable specifications for discrete event systems
	Hee, van, K.M.; Rambags, P.M.P. / Discrete event systems : concepts and basic results
	Hee, van, K.M.; Somers, L.J.A.M.; Voorhoeve, M. / EXSPECT, the functional part
	Hemerik, C.; Katoen, J.P. / Bottum-up tree acceptors
	Houben, G.J.P.M.; Paredaens, J. / A graphical interface formalism : specifying nested relational databases
	Houben, G.J.P.M.; Paredaens, J.; Tahon, D. / The nested relational algebra : a tool to handle structured information
	Huizing, C.; Gerth, R.T.; Roever, de, W.P. / Modelling Statecharts behaviour in a fully abstract way
	Schols, H.M.J.L. / Notes on delay-insensitive communication
	Verhoeff, T. / A parallel program that generates the Moebius sequence
	Verhoeff, T. / Settling a question about Pythagorean triples
1987
	Eikelder, ten, H.M.M.; Wilmont, J.C.F. / Normal forms for a class of formulas
	Gerth, R.T. / On the existence of sound and complete axiomatizations of the monitor concept
	Gerth, R.T.; Codish, Michael; Lichtenstein, Yossi; Shapiro, Ehud / Fully abstract denotational semantics for concurrent Prolog
	Hee, van, K.M.; Houben, G.J.P.M.; Dietz, J.L.G. / Modelling of discrete dynamic systems framework and examples
	Hee, van, K.M.; Lapinski, A.K. / OR and AI approaches to decision support systems
	Hooman, J.J.M. / A compositional proof system for an occam-like real-time language
	Houben, G.J.P.M.; Paredaens, J. / A formal approach to distributed information systems
	Houben, G.J.P.M.; Paredaens, J. / The R2-algebra : an extension of an algebra for nested relations
	Huizing, C.; Gerth, R.T.; Roever, de, W.P. / A compositional semantics for statecharts
	Kalisvaart, J.; Kessener, L.R.A.; Lemmens, W.J.M. / Language extensions to study data structures for raster graphics
	Klaver, S.J.; Verberne, C.F.M. / Federatieve databases
	Koymans, R.L.C. / Specifying message passing and real-time systems with real-time temporal logic
	Koymans, R.L.C. / Temporele logica specificatie van message passing en real-time systemen
	Kuiper, R. / Enforcing nondeterminism via linear time temporal logic specifications
	Lemmens, W.J.M. / Eldorado ins and outs : specifications of a data base management toolkit according to the functional model
	Overveld, van, C.W.A.M. / An integer algorithm for rendering curved surfaces
	Schols, H.M.J.L. / The maximum number of states after projection
	Seebregts, A.J. / Optimalisering van file allocatie in gedistribueerde database systemen
	Verhoeff, T. / Delay-insensitive codes : an overview
	Verhoeff, T. / Three families of maximally nondeterministic automata
	Woude, van der, J.C.S.P. / Playing with patterns, searching for strings
1986
	Bussing, G.A.; Hee, van, K.M.; Voorhoeve, M. / ELISA : a language for formal specifications of information systems
	Dietz, J.L.G.; Hee, van, K.M. / A framework for the conceptual modeling of discrete dynamic systems
	Gerth, R.T.; Boucher, Andy / A timed failures model for extended communicating processes (extended abstract)
	Gerth, R.T.; Roever, de, W.P. / Proving monitors revisited : a first step towards verifying object oriented systems
	Gerth, R.T.; Shira, Liuba / On proving communication closedness of distributed layers
	Hoogerwoord, R.R. / Some reflections on the implementation of trace structures
	Hooman, J.J.M. / A compositional proof theory for real-time distributed message passing
	Houben, G.J.P.M.; Paredaens, J.; Hee, van, K.M. / The partition of an information system in several parallel systems
	Huizing, C.; Gerth, R.T.; Roever, de, W.P. / Full abstraction of a denotational semantics for real-time concurrency
	Koymans, R.L.C. / Specifying message passing and real-time systems (extended abstract)
	Koymans, R.L.C. / Specifying message passing systems requires extending temporal logic
	Koymans, R.L.C.; Shyamasundar, R.K.; Roever, de, W.P. / Compositional semantics for real-time distributed computing
	Roever, de, W.P. / Questions to Robin Milner : a responders commentary
	Verhoeff, T. / Nondeterminism and divergence created by concealment in CSP
1985
	Eindhoven University of Technology. Dept. of Mathematics and Computing Science. Computing Science Section / Computing science notes
	Lemmens, W.J.M. / Use of a computer for evaluation of flow films
	Mak, R.H. / The formal specification and derivation of CMOS-circuits
	Overveld, van, W.M.C.J. / On arithmetic operations with M-out-of-N-codes
	Verhoeff, T.; Schols, H.M.J.L. / Delay-insensitive directed trace structures satisfy the foam rubber wrapper postulate