• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Netherlands

  • P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

Research Output

Filter
Conference contribution
2012

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., 2012, Proceedings of the 27th ACM Symposium on Applied Computing (SAC'12, Riva del Garda, Italy, March 25-29, 2012). New York NY: Association for Computing Machinery, Inc, p. 1183-1190

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Expressiveness and completeness in abstraction

Gazda, M. W. & Willemse, T. A. C., 2012, Proceedings Combined 19th International Workshop Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012). Luttik, B. & Reniers, M. A. (eds.). p. 49-64 (Electronic Proceedings in Theoretical Computer Science; vol. 89).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Narrating formal proof (work in progress)

Tankink, C., Geuvers, J. H. & McKinna, J., 2012, Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10, Edinburgh, UK, July 15, 2010). Aspinall, D. & Sacerdoti Coen, C. (eds.). ENTCS, p. 71-83 (Electronic Notes in Theoretical Computer Science; vol. 285).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specification guidelines to avoid the state space explosion problem

Groote, J. F., Kouters, T. W. D. M. & Osaiweran, A. A. H., 2012, Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 112-126 (Lecture Notes in Computer Science; vol. 7141).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Strategy independent reduction lengths in rewriting and binary arithmetic

Zantema, H., 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011, Novi Sad, Serbia, May 29, 2011). Escobar, S. (ed.). EPTCS, p. 69-76 (Electronic Proceedings in Theoretical Computer Science; vol. 82).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

Triangulation in rewriting

Oostrom, van, V. & Zantema, H., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012). Tiwari, A. (ed.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 240-255 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 15).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

Turing meets Milner

Baeten, J. C. M., Luttik, S. P. & Tilburg, van, P. J. A., 2012, CONCUR 2012 - Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings). Koutny, M. & Ulidowski, I. (eds.). Berlin: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 7454).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Unique parallel decomposition in branching and weak bisimulation semantics

Luttik, B., 2012, Theoretical Computer Science (7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings). Baeten, J. C. M., Ball, T. & Boer, de, F. S. (eds.). Berlin: Springer, p. 250-264 (Lecture Notes in Computer Science; vol. 7604).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Using model checking to analyze the system behavior of the LHC production grid

Remenska, D., Willemse, T. A. C., Verstoep, K., Fokkink, W. J., Templon, J. A. & Bal, H. E., 2012, Proceedings of the 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012, Ottawa, Canada, May 13-16, 2012). IEEE Computer Society, p. 335-343

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)
2011

Analyzing the effects of formal methods on the development of industrial control software

Groote, J. F., Osaiweran, A. A. H. & Wesselius, J. H., 2011, Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011, Williamsburg VA, USA, September 25-30, 2011). Institute of Electrical and Electronics Engineers, p. 467-472

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
21 Citations (Scopus)
103 Downloads (Pure)

An analysis of the control hierarchy modelling of the CMS detector control system

Hwong, Y. L., Willemse, T. A. C. & Kusters, V. J. J., 2011, 18th International Conference on Computing in High Energy and Nuclear Physics (CHEP 2010, Taipei, Taiwan, October 18-22, 2010). p. 022010/1-6 (Journal of Physics: Conference Series; vol. 331).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A process-theoretic approach to supervisory control theory

Baeten, J. C. M., Beek, van, D. A., Luttik, S. P., Markovski, J. & Rooda, J. E., 2011, Proceedings of the 2011 American Control Conference (ACC 2011, San Francisco CA, USA, June 29-July 1, 2011). Piscataway: Institute of Electrical and Electronics Engineers, p. 4496-4501

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

27 Citations (Scopus)
2 Downloads (Pure)

Automated verification of executable UML models

Hansen, H. H., Ketema, J., Luttik, S. P., Mousavi, M. R., Pol, van de, J. C. & Santos, dos, O. M., 2011, Formal Methods for Components and Objects (FMCO 2010, Graz, Austria, November 29-December 1, 2010. Revised Papers). Aichering, B. K., Boer, de, F. S. & Bonsangue, M. M. (eds.). Berlin: Springer, p. 225-250 (Lecture Notes in Computer Science; vol. 6957).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
2 Downloads (Pure)

Bisimulation minimisations for Boolean equation systems

Keiren, J. J. A. & Willemse, T. A. C., 2011, Hardware and Software: Verification and Testing (5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009. Revised selected papers). Namjoshi, K., Zeller, A. & Ziv, A. (eds.). Berlin: Springer, p. 102-116 (Lecture Notes in Computer Science; vol. 6405).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Computations and interaction

Baeten, J. C. M., Luttik, S. P. & Tilburg, van, P. J. A., 2011, Distributed Computing and Internet Technology (7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings). Natarajan, R. & Ojo, A. (eds.). Berlin: Springer, p. 35-54 (Lecture Notes in Computer Science; vol. 6536).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Decoupled execution of synchronous coordination models via behavioural automata

Proença, J., Clarke, D., Vink, de, E. P. & Arbab, F., 2011, Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011, Aachen, Germany, September 10, 2011). Mousavi, M. R. & Ravara, A. (eds.). EPTCS, p. 65-79 (Electronic Proceedings in Theoretical Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

Folk theorems on the correspondence between state-based and event-based systems

Reniers, M. A. & Willemse, T. A. C., 2011, SOFSEM 2011: Theory and Practice of Computer Science (37th Conference on Currents Trends, Novy Smokovec, Slovakia, January 22-28, 2011. Proceedings). Cerná, I., Gyimóthy, T., Hromkovic, J., Jeffery, K., Kralovic, R., Vukolic, M. & Wolf, S. (eds.). Berlin: Springer, p. 494-505 (Lecture Notes in Computer Science; vol. 6543).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Informed swarm verification of infinite-state systems

Wijs, A. J., 2011, Proceedings of the 13th International Workshop on Verification of Infinite-State Systems, October 10, 2011, Taipei, Taiwan. Sydney: Open Publishing Association, p. 19-19 (Electronic Proceedings in Theoretical Computer Science; vol. 73).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Learning2Reason

Kühlwein, D., Urban, J., Tsivtsivadze, E., Geuvers, J. H. & Heskes, T., 2011, Intelligent Computer Mathematics (18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings). Davenport, J. H., Farmer, W. M., Rabe, F. & Urban, J. (eds.). Berlin: Springer, p. 298-300 (Lecture Notes in Computer Science; vol. 6824).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Multi-core nested-depth first search

Laarman, A., Langerak, R., Pol, van de, J. C., Weber, M. & Wijs, A. J., 2011, Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis. Bultan, T. & Hsiung, P-A. (eds.). Heidelberg: Springer, p. 321-335 (Lecture Notes in Computer Science; vol. 6996).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Citations (Scopus)
4 Downloads (Pure)

Property-dependent reduction for the modal mu-calculus

Mateescu, R. & Wijs, A. J., 2011, Proceedings of the 18th International SPIN Workshop on Model Checking of Software. Groce, A. & Musuvathi, M. (eds.). Heidelberg: Springer, p. 2-19 (Lecture Notes in Computer Science; vol. 6823).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Proving equality of streams automatically

Zantema, H. & Endrullis, J., 2011, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011, Novi Sad, Serbia, May 30-June 1, 2011). Schmidt-Schlauß, M. (ed.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 393-408 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
7 Citations (Scopus)
28 Downloads (Pure)

Reactive Turing machines

Baeten, J. C. M., Luttik, B. & Tilburg, van, P. J. A., 2011, Fundamentals of Computation Theory (18th International Symposium, FCT'11, Oslo, Norway, August 22-25, 2011. Proceedings). Owe, O., Steffen, M. & Telle, J. A. (eds.). Berlin: Springer, p. 348-359 (Lecture Notes in Computer Science; vol. 6914).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
13 Downloads (Pure)

Semantic graph kernels for automated reasoning

Tsivtsivadze, E., Urban, J., Geuvers, J. H. & Heskes, T., 2011, Proceedings of the Eleventh SIAM International Conference on Data Mining (SDM 2011, Mesa AZ, USA, April 28-30, 2011). Philadelphia PA: Society for Industrial and Applied Mathematics (SIAM), p. 795-803

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)

Strategy independent reduction lengths in rewriting and binary arithmetic

Zantema, H., 2011, Reduction Strategies in Rewriting and Programming (10th International Workshop, WRS 2011, Novi Sad, Serbia, May 29, 2011. Informal proceedings). Escobar, S. (ed.). Valencia: Universidad Politechnica de Valencia, p. 41-45

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
64 Downloads (Pure)

Stuttering mostly speeds up solving parity games

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 2011, NASA Formal Methods (Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings). Bobaru, M., Havelund, K., Holzmann, G. J. & Joshi, R. (eds.). Berlin: Springer, p. 207-221 (Lecture Notes in Computer Science; vol. 6617).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Synchronizing asynchronous conformance testing

Noroozi, N., Khosravi, R., Mousavi, M. R. & Willemse, T. A. C., 2011, Software Engineering and Formal Methods (9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings). Barthe, G., Pardo, A. & Schneider, G. (eds.). Berlin: Springer, p. 334-349 (Lecture Notes in Computer Science; vol. 7041).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

The HIVE tool for informed swarm state space exploration

Wijs, A. J., 2011, Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verification. Sydney: Open Publishing Association, p. 91-98 (Electronic Proceedings in Theoretical Computer Science; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Towards informed swarm verification

Wijs, A. J., 2011, Proceedings of the 3rd NASA Formal Methods Symposium. Bobaru, M. (ed.). Heidelberg: Springer, p. 422-437

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)

Towards reduction of Paradigm coordination models

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2011, Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011). Aceto, L. & Mousavi, M. R. (eds.). EPTCS, p. 1-18 (Electronic Proceedings in Theoretical Computer Science; vol. 60).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
60 Downloads (Pure)
2010

Action-based analysis of discrete regulatory networks with short-term stimuli

Krause, C. & Vink, de, E. P., 2010, Proceedings of the 8th Conference on Computational Methods in Systems Biology (CMSB 2010, Trento, Italy, September 29-October 1, 2010). Quaglia, P. (ed.). New York NY: Association for Computing Machinery, Inc, p. 65-75

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Analysis of Boolean equation systems through structure graphs

Reniers, M. A. & Willemse, T. A. C., 2010, Proceedings 6th Workshop on Structural Operational Semantics (SOS 2009, Bologna, Italy, August 31, 2009). Klin, B. & Sobocinski, P. (eds.). p. 92-107 (Electronic Proceedings in Theoretical Computer Science; vol. 18).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

A process-theoretic look at automata

Baeten, J. C. M., Cuijpers, P. J. L., Luttik, S. P. & Tilburg, van, P. J. A., 2010, Fundamentals of Software Engineering (Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009. Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 1-33 (Lecture Notes in Computer Science; vol. 5961).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

A theory of desynchronisable closed loops system

Beohar, H. & Cuijpers, P. J. L., 2010, Proceedings of the Third Interaction and Concurrency Experience (ICE 2010, Amsterdam, The Netherlands, June 10, 2010). Bliudze, S., Bruni, R., Grohmann, D. & Silva, A. (eds.). EPTCS, p. 99-114 (Electronic Proceedings in Theoretical Computer Science; vol. 38).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Automated machine-checked hybrid system safety proofs

Geuvers, J. H., Koprowski, A., Synek, D. & Weegen, van der, E., 2010, Interactive Theorem Proving (First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings). Berlin: Springer, p. 259-274 (Lecture Notes in Computer Science; vol. 6172).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)
1 Downloads (Pure)

A Wiki for Mizar: motivation, considerations, and initial prototype

Urban, J., Alama, J., Rudnicki, P. & Geuvers, J. H., 2010, Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings). Autexier, S., Calmet, J., Delahaye, D., Ion, P. D. F., Rideau, L., Rioboo, R. & Sexton, A. P. (eds.). Berlin: Springer, p. 455-469 (Lecture Notes in Computer Science; vol. 6167).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)

Combinatorial problems by termination of rewriting

Zantema, H., 2010, Proceedings 10th International Workshop on Termination (WST'09, Leipzig, Germany, June 3-5, 2009). p. ...-...

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)

Complexity of guided insertion-deletion in RNA-editing

Zantema, H., 2010, Language and Automata Theory and Applications (4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings). Dediu, A. H., Fernau, H. & Martin-Vide, C. (eds.). Berlin: Springer, p. 608-619 (Lecture Notes in Computer Science; vol. 6031).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

Consistent correlations for parameterised Boolean equation systems with applications in correctness proofs for manipulations

Willemse, T. A. C., 2010, CONCUR 2010 - Concurrency Theory (21st International Conference, Paris, France, August 31-September 3, 2010. Proceedings). Gastin, P. & Laroussinie, F. (eds.). Berlin: Springer, p. 584-598 (Lecture Notes in Computer Science; vol. 6269).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Data-aware design and verification of service compositions with Reo and mCRL2

Kokash, N., Krause, C. & Vink, de, E. P., 2010, Proceedings 25th ACM Symposium on Applied Computing (SAC'10, Sierre, Switzerland, March 22-26, 2010). New York NY: Association for Computing Machinery, Inc, p. 2406-2413

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)

Dynamic coalgebraic modalities

Hansen, H. H. & Leal, R. A., 2010, Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010). Amsterdam: Centrum voor Wiskunde en Informatica, p. 12-13 (CWI Report; vol. SEN-1004).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
39 Downloads (Pure)

Experience in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
25 Downloads (Pure)

Expressiveness modulo bisimilarity of regular expressions with parallel composition (Extended Abstract)

Baeten, J. C. M., Luttik, S. P., Muller, T. & Tilburg, van, P. J. A., 2010, Expressiveness in Concurrency (17th International Workshop, EXPRESS'10, Paris, France, August 30th, 2010). Fröschle, S. & Valencia, F. D. (eds.). EPTCS, p. 1-15 (Electronic Proceedings in Theoretical Computer Science; vol. 41).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Generic programming in the mCRL2 toolset

Wesselink, J. W., Wulp, van der, J. & Keiren, J. J. A., 2010, Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010). Gervais, F. & Fraikin, B. (eds.). p. 1-3

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
39 Downloads (Pure)

GPU-PRISM : an extension of PRISM for general purpose graphics processing units

Bosnacki, D., Edelkamp, S., Sulewski, D. & Wijs, A. J., 2010, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification / 2010 Second International Workshop on High Performance Computational Systems Biology. Washington: Institute of Electrical and Electronics Engineers, p. 17-19

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)

Halting still standing - Programs versus specifications

Huizing, C., Kuiper, R. & Verhoeff, T., 2010, Unifying Theories of Programming (Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings). Qin, S. (ed.). Berlin: Springer, p. 226-233 (Lecture Notes in Computer Science; vol. 6445).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Hierarchical states in the compositional interchange format

Beohar, H., Nadales Agut, D. E., Beek, van, D. A. & Cuijpers, P. J. L., 2010, Seventh Workshop on Structural Operational Semantics (SOS'10, Paris, France, August 30, 2010). Aceto, L. & Sobocinski, P. (eds.). p. 42-56 (Electronic Proceedings in Theoretical Computer Science; vol. 32).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Order-independence of vector-based transition systems

Raffelsieper, M., Mousavi, M. R. & Zantema, H., 2010, Proceedings 10th International Conference on Application of Concurrency to System Design (ACSD'10, Braga, Portugal, June 21-25, 2010). IEEE Computer Society, p. 115-123

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Pointwise extensions of GSOS-defined operations

Hansen, H. H. & Klin, B., 2010, Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010). Jacobs, B. P. F., Niqui, M., Rutten, J. J. M. M. & Silva, A. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 10-11 (CWI Report; vol. SEN-1004).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
18 Citations (Scopus)
92 Downloads (Pure)

Proving productivity in infinite data structures

Zantema, H. & Raffelsieper, M., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010, Edinburgh, Scotland, July 11-13, 2010). Lynch, C. (ed.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 401-416 (LIPIcs: Leibniz International Proceedings in Informatics; vol. 6).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

12 Citations (Scopus)
2 Downloads (Pure)