• 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
2010

Proviola: a tool for proof re-animation

Tankink, C., Geuvers, J. H., McKinna, J. & Wiedijk, F., 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. 440-454 (Lecture Notes in Computer Science; vol. 6167).

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

14 Citations (Scopus)
2 Downloads (Pure)

Pure type systems without explicit contexts

Geuvers, J. H., Krebbers, R., McKinna, J. & Wiedijk, F., 2010, Proceedings of the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2010, Edinburgh, UK, July 14, 2010). Crary, K. & Miculan, M. (eds.). EPTCS, p. 53-67 (Electronic Proceedings in Theoretical Computer Science; vol. 34).

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

4 Citations (Scopus)

Reconciling urgency and variable abstraction in a hybrid compositional setting

Beek, van, D. A., Cuijpers, P. J. L., Markovski, J., Nadales Agut, D. E. & Rooda, J. E., 2010, Formal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings). Chatterjee, K. & Henzinger, T. A. (eds.). Berlin: Springer, p. 47-61 (Lecture Notes in Computer Science; vol. 6246).

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

5 Citations (Scopus)

Stream productivity by outermost termination

Zantema, H. & Raffelsieper, M., 2010, Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'09, Brasilia, Brazil, June 28, 2009). Fernández, M. (ed.). p. 83-95 (Electronic Proceedings in Theoretical Computer Science; vol. 15).

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

5 Citations (Scopus)
2 Downloads (Pure)

Suitability of mCRL2 for concurrent system design: a 2x2 switch case study

Stappers, F. P. M., Reniers, M. A. & Groote, J. F., 2010, Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers). Boer, de, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Berlin: Springer, p. 166-185 (Lecture Notes in Computer Science; vol. 6286).

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

1 Citation (Scopus)

Time and data-aware analysis of graphical service models in Reo

Kokash, N., Krause, C. & Vink, de, E. P., 2010, Proceedings 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010, Pisa, Italy, September 13-18, 2010). Los Alamitos CA: IEEE Computer Society, p. 125-134

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

Open Access
File
25 Citations (Scopus)
76 Downloads (Pure)

Towards dynamic adaptation of probabilistic systems

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2010, Leveraging Applications of Formal Methods, Verification, and Validation (4th International Symposium, ISoLA 2010, Heraklion, Crete, Greece, October 18-20, 2010. Proceedings, Part II). Margaria, T. & Steffeb, B. (eds.). Berlin: Springer, p. 143-159 (Lecture Notes in Computer Science; vol. 6416).

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

4 Citations (Scopus)
1 Downloads (Pure)

Verification of context-dependent channel-based service models

Kokash, N., Krause, C. & Vink, de, E. P., 2010, Formal Methods for Components and Objects (FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers). Boer, de, F. S., Bonsangue, M. M., Hallerstede, S. & Leuschel, M. (eds.). Berlin: Springer, p. 21-40 (Lecture Notes in Computer Science; vol. 6286).

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

15 Citations (Scopus)
2009

A basic parallel process as a parallel pushdown automaton

Baeten, J. C. M., Cuijpers, P. J. L. & Tilburg, van, P. J. A., 2009, Proceedings of the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08, Toronto, Canada, August 23, 2008). Hildebrandt, T. & Gorla, D. (eds.). p. 35-48 (Electronic Notes in Theoretical Computer Science; vol. 242(1)).

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

A logically saturated extension of $\bar{\lambda} \mu \tilde{\mu}$

Mamane, L. E., Geuvers, J. H. & McKinna, J., 2009, Intelligent Computer Mathematics (16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings). Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, p. 405-421 (Lecture Notes in Computer Science; vol. 5625).

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

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

Hwong, Y. L., Groote, J. F. & Willemse, T. A. C., 2009, Proceedings of the 12th International Conference on Accelerator and Large Experimental Physics Control Systems (ICALEPCS 2009, Kobe, Japan, October 12-16, 2009). p. 1-3

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

Open Access
File
68 Downloads (Pure)

An exponential lower bound on OBDD refutations for pigeonhole formulas

Tveretina, O., Sinz, C. & Zantema, H., 2009, Proceedings 4th Athens Colloquium on Algorithms and Complexity (ACAC 2009, Athens, Greece, August 20-21, 2009). Markakis, E. & Milis, I. (eds.). s.n., p. 13-21 (Electronic Proceedings in Theoretical Computer Science; vol. 4).

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

4 Citations (Scopus)
2 Downloads (Pure)

A tool proving well-definedness of streams using termination tools

Zantema, H., 2009, Algebra and Coalgebra in Computer Science (Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings). Kurz, A., Lenisa, M. & Tarlecki, A. (eds.). Berlin: Springer, p. 449-456 (Lecture Notes in Computer Science; vol. 5728).

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

3 Citations (Scopus)
2 Downloads (Pure)

A transformational approach to prove outermost termination automatically

Raffelsieper, M. & Zantema, H., 2009, Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2008, Castle of Hagenberg, Austria, July 14, 2008). Middeldorp, A. (ed.). p. 3-21 (Electronic Notes in Theoretical Computer Science; vol. 237).

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

10 Citations (Scopus)
2 Downloads (Pure)

Degrees of undecidability in term rewriting

Endrullis, J., Geuvers, J. H. & Zantema, H., 2009, Computer Science Logic (23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings). Grädel, E. & Kahle, R. (eds.). Berlin: Springer, p. 255-270 (Lecture Notes in Computer Science; vol. 5771).

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

11 Citations (Scopus)
2 Downloads (Pure)

Dynamic consistency in process algebra : from Paradigm to ACP

Andova, S., Groenewegen, L. P. J. & Vink, de, E. P., 2009, Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'08, Reykjavik, Iceland, July 13th, 2008; in conjunction with CONCUR'08). Poizat, P. & Sirjani, M. (eds.). p. 3-20 (Electronic Notes in Theoretical Computer Science; vol. 229(2)).

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

3 Citations (Scopus)

EufDpll - A tool to check satisfiability of equality logic formulas

Tveretina, O. & Wesselink, J. W., 2009, Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2006, Cork, Ireland, August 1-5, 2006). Seda, A., Boubekeur, M., Hurley, T., Mac an Airchinnigh, M., Schellekens, M. & Strong, G. (eds.). p. 405-420 (Electronic Notes in Theoretical Computer Science; vol. 225).

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

1 Citation (Scopus)

Evaluation of a business continuity plan using process algebra and modal logic

Boehmer, W., Brandt, C. & Groote, J. F., 2009, Proceedings of the 2009 IEEE Toronto International Conference - Science and Technology for Humanity (TIC-STH'09, Toronto ON, Canada, September 26-27, 2009). Institute of Electrical and Electronics Engineers, p. 147-152

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

11 Citations (Scopus)
1 Downloads (Pure)

Formal analysis of non-determinism in Verilog cell library simulation models

Raffelsieper, M., Mousavi, M. R., Roorda, J. W., Strolenberg, C. & Zantema, H., 2009, Formal Methods for Industrial Critical Systems (14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings). Alpuente, M., Cook, B. & Joubert, C. (eds.). Berlin: Springer, p. 133-148 (Lecture Notes in Computer Science; vol. 5825).

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

6 Citations (Scopus)
3 Downloads (Pure)

Formalizing adaptation on-the-fly

Andova, S., Groenewegen, L. P. J., Stafleu, J. & Vink, de, E. P., 2009, Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'09, Rhodes, Greece, July 11th, 2009; in conjunction with ICALP'09). Salaün, G. & Sirjani, M. (eds.). p. 23-44 (Electronic Notes in Theoretical Computer Science; vol. 255).

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

11 Citations (Scopus)

Hierarchical adaptive state space caching based on level sampling

Mateescu, R. & Wijs, A. J., 2009, Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009). Kowalewski, S. & Philippou, A. (eds.). Heidelberg: Springer, p. 215-229 (Lecture Notes in Computer Science; vol. 5505).

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

7 Citations (Scopus)

Introduction to type theory

Geuvers, J. H., 2009, Language Engineering and Rigorous Software Development (International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures). Bove, A., Soares Barbosa, L., Pardo, A. & Sousa Pinto, J. (eds.). Berlin: Springer, p. 1-56 (Lecture Notes in Computer Science; vol. 5520).

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

6 Citations (Scopus)

Measuring voter-controlled privacy

Jonker, H. L., Mauw, S. & Pang, J., 2009, Proceedings of the Fourth International Conference on Availability, Reliability and Security (ARES 2009, March 16-19, 2009). IEEE Computer Society, p. 289-298

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

Open Access
File
4 Citations (Scopus)
60 Downloads (Pure)

Parameterised anonymity

Groote, J. F. & Orzan, S. M., 2009, Formal Aspects in Security and Trust (5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008. Revised Selected Papers). Degano, P., Guttman, J. & Martinelli, F. (eds.). Berlin: Springer, p. 177-191 (Lecture Notes in Computer Science; vol. 5491).

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

2 Citations (Scopus)
1 Downloads (Pure)

Programmable temporal isolation through variable-bandwidth servers

Craciunas, S. S., Kirsch, C. M., Payer, H., Röck, H. & Sokolova, A., 2009, Proceedings Fourth IEEE International Symposium on Industrial Embedded Systems (SIES 2009, Lausanne, Switzerland, July 8-10, 2009). Institute of Electrical and Electronics Engineers, p. 171-180

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

Open Access
File
10 Citations (Scopus)
116 Downloads (Pure)

Reconfiguring distributed Reo connectors

Koehler, C., Arbab, F. & Vink, de, E. P., 2009, Recent Trends in Algebraic Development Techniques (19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers). Corradini, A. & Montanari, U. (eds.). Berlin: Springer, p. 221-235 (Lecture Notes in Computer Science; vol. 5486).

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

10 Citations (Scopus)

Static analysis techniques for parameterised Boolean equation systems

Orzan, S. M., Wesselink, J. W. & Willemse, T. A. C., 2009, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 15th International Conference, TACAS 2009, part of ETAPS 2009, York, UK, March 22-29, 2009). Kowalewski, S. & Philippou, A. (eds.). Berlin: Springer, p. 230-245 (Lecture Notes in Computer Science; vol. 5505).

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

11 Citations (Scopus)
2 Downloads (Pure)

The 3TU embedded systems master in the Netherlands

Smit, G. J. M., Hoeven, van der, G. F., Groote, J. F., Otten, R. H. J. M., Tonino, J. F. M., Juurlink, B. H. H. & Haverkort, B. R. H. M., 2009, Proceedings of the 2009 Workshop on Embedded Systems Education (Wese 2009) Grenoble, France, October 15, 2009). Marwedel, P., Jackson, J. & Ricks, K. (eds.). New York: Association for Computing Machinery, Inc, p. 8-12

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

1 Downloads (Pure)

Verifying multi-party authentication using rank functions and PVS

Verhoeven, R. H. A. & Dechesne, F., 2009, Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008. Revised Selected Papers. Degano, P., Guttman, J. & Martinelli, F. (eds.). Berlin: Springer, p. 226-241 16 p. (Lecture Notes in Computer Science (LNCS); vol. 5491).

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

Well-definedness of streams by termination

Zantema, H., 2009, Rewriting Techniques and Applications (20th International Conference, RTA 2009, Brasília, Brazil, June 29-July 1, 2009, Proceedings). Treinen, R. (ed.). Berlin: Springer, p. 164-178 (Lecture Notes in Computer Science; vol. 5595).

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

Open Access
File
11 Citations (Scopus)
68 Downloads (Pure)
2008

A context-free process as a pushdown automaton

Baeten, J. C. M., Cuijpers, P. J. L. & Tilburg, van, P. J. A., 2008, CONCUR 2008 - Concurrency Theory (19th International Conference, Toronto, Canada, August 19-22, 2008, Proceedings). Breugel, van, F. & Chechik, M. (eds.). Berlin: Springer, p. 98-113 (Lecture Notes in Computer Science; vol. 5201).

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

7 Citations (Scopus)

Aggregation methods for Markov reward chains with fast and silent transitions

Markovski, J. & Trcka, N., 2008, Proceedings 14th GI/ITG Conference Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB'08, Dortmund, Germany, March 31-April 2, 2008). Bause, F. & Buchholz, P. (eds.). Berlin: VDE Verlag, p. 93-108

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

3 Citations (Scopus)

A logical framework with explicit conversions

Geuvers, J. H. & Wiedijk, F., 2008, Proceedings 4th International Workshop on Logical Frameworks and Meta-Languages (LFM'04, Cork, Ireland, July 5, 2004). Schürmann, C. (ed.). p. 33-47 (Electronic Notes in Theoretical Computer Science; vol. 199).

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

2 Citations (Scopus)

An operation-based metric for CPA resistance

Pan, J., Hartog, den, J. I. & Vink, de, E. P., 2008, Proceedings of the IFIP TC-11 23rd International Information Security Conference (IFIP 20th World Computer Congress, IFIP SEC’08, Milano, Italy, September 7-10, 2008). Jajodia, S., Samarati, P. & Cimato, S. (eds.). Boston: Springer, p. 429-443 (IFIP Conference Proceedings; vol. 278).

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

4 Citations (Scopus)
1 Downloads (Pure)

A real semantic web for mathematics deserves a real semantics

Corbineau, P., Geuvers, J. H., Kaliszyk, C., McKinna, J. & Wiedijk, F., 2008, Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008, Tenerife, Spain, June 2, 2008; co-located with ESWC 2008). Lange, C., Schaffert, S., Skaf-Molli, H. & Völkel, M. (eds.). CEUR-WS.org, p. 16-1/5 (CEUR Workshop Proceedings; vol. 360).

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

2 Citations (Scopus)
2 Downloads (Pure)

Branching bisimulation congruence for probabilistic systems

Trcka, N. & Georgievska, S., 2008, Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008, Budapest, Hungary, March 29-30, 2008). Aldini, A. & Baier, C. (eds.). p. 129-143 (Electronic Notes in Theoretical Computer Science; vol. 220(3)).

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

6 Citations (Scopus)

Calculating with automata

Baeten, J. C. M., 2008, Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday). Degano, P., De Nicola, R. & Meseguer, J. (eds.). Berlin: Springer, p. 747-756 (Lecture Notes in Computer Science; vol. 5065).

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

1 Downloads (Pure)

Certification of proving termination of term rewriting by matrix interpretations

Koprowski, A. & Zantema, H., 2008, SOFSEM 2008 : Theory and Practice of Computer Science (Proceedings 34th Conference, Nový Smokovec, Slovakia, January 19-25, 2008). Geffert, V., Karhumäki, J., Bertoni, A., Preneel, B., Návrat, P. & Bieliková, M. (eds.). Berlin: Springer, p. 328-339 (Lecture Notes in Computer Science; vol. 4910).

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

6 Citations (Scopus)
2 Downloads (Pure)

Data failures

Orzan, S. M. & Torabi Dashti, M., 2008, Distributed Computing (22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings). Taubenfeld, G. (ed.). Berlin: Springer, p. 514-515 (Lecture Notes in Computer Science; vol. 5218).

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

Deduction graphs with universal quantification

Geuvers, J. H. & Loeb, I., 2008, Proceedings 4th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007, Braga, Portugal, March 31, 2007). Mackie, I. & Plump, D. (eds.). p. 93-108 (Electronic Notes in Theoretical Computer Science; vol. 203(1)).

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

1 Citation (Scopus)

Dependability for high-tech systems: An Industry-as-laboratory approach

Brinksma, E. & Hooman, J. J. M., 2008, Proceedings 11th Design, Automation and Test in Europe - Conference and Exhibition (DATE'08, Munich, Germany, March 10-14, 2008). Leuven: EDAA, p. 1226-1231

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

3 Citations (Scopus)
1 Downloads (Pure)

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

Markovski, J. & Vink, de, E. P., 2008, Proceedings 8th International Conference on Application of Concurrency to System Design (ACSD'08, Xian, China, June 23-27, 2008). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 180-189

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

1 Citation (Scopus)

Distributed partial order reduction for security protocols

Torabi Dashti, M., Wijs, A. J. & Lisser, B., 2008, Proceedings of the 6th International Workshop on Parallel and Distributed Methods on verifiCation. Amsterdam: Elsevier, p. 93-99 (Electronic Notes in Theoretical Computer Science; vol. 198).

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

3 Citations (Scopus)

Extending timed process algebra with discrete stochastic time

Markovski, J. & Vink, de, E. P., 2008, Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008, Urbana IL, USA, July 28-31, 2008, Proceedings). Meseguer, J. & Rosu, G. (eds.). Berlin: Springer, p. 268-283 (Lecture Notes in Computer Science; vol. 5140).

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

5 Citations (Scopus)

Fair exchange is incomparable to consensus

Orzan, S. M. & Torabi Dashti, M., 2008, Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings). Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (eds.). Berlin: Springer, p. 349-363 (Lecture Notes in Computer Science; vol. 5160).

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

1 Citation (Scopus)

Finding frequent subgraphs in biological networks via maximal item sets

Zantema, H., Wagemans, S. & Bosnacki, D., 2008, Bioinformatics Research and Development (2nd International Conference, BIRD'08, Vienna, Austria, July 7-9, 2008, Proceedings). Elloumi, M., Küng, J., Linial, M., Murphy, R., Schneider, K. & Toma, C. (eds.). Berlin: Springer, p. 303-317 (Communications in Computer and Information Science; vol. 13).

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

2 Citations (Scopus)
3 Downloads (Pure)

Finite equational bases for fragments of CCS with restriction and relabelling

Aceto, L., Ingólfsdóttir, A., Luttik, B. & Tilburg, van, P. J. A., 2008, Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 (IFIP 20th World Computer Congress, TC1, Foundations of Computer Science, Milano, Italy, September 7-10, 2008, Proceedings). Ausiello, G., Karhumäki, J., Mauri, G. & Ong, L. (eds.). Boston: Springer, p. 317-332 (IFIP Conference Proceedings; vol. 273).

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

7 Citations (Scopus)

In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2008, Proceedings of COMPMOD 2008 ( Workshop on Computational Models for Cell Processes, Turku, Finland, May 27, 2008). Back, R. J. & Petre, I. (eds.). Turku, Finland: Turku Centre for Computer Science, p. 23-38 (TUCS General Publications; vol. 47).

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

Instantiation for parameterised Boolean equation systems

van Dam, A., Ploeger, B. & Willemse, T. A. C., 2008, Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings). Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (eds.). Berlin: Springer, p. 440-454 (Lecture Notes in Computer Science; vol. 5160).

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

9 Citations (Scopus)
2 Downloads (Pure)

Invariants for non-hierarchical object structures

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006). Moreira, A. M. & Ribeiro, L. (eds.). p. 211-229 (Electronic Notes in Theoretical Computer Science; vol. 195).

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

6 Citations (Scopus)
1 Downloads (Pure)