• Groene Loper 5, Metaforum

    5612 AP Eindhoven

    Nederland

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

    5600 MB Eindhoven

    Nederland

Onderzoeksoutput

Filter
Conferentiebijdrage
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. (redactie). Berlin: Springer, blz. 440-454 (Lecture Notes in Computer Science; vol. 6167).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

14 Citaten (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. (redactie). EPTCS, blz. 53-67 (Electronic Proceedings in Theoretical Computer Science; vol. 34).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). Berlin: Springer, blz. 47-61 (Lecture Notes in Computer Science; vol. 6246).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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. (redactie). blz. 83-95 (Electronic Proceedings in Theoretical Computer Science; vol. 15).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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. (redactie). Berlin: Springer, blz. 166-185 (Lecture Notes in Computer Science; vol. 6286).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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, blz. 125-134

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
25 Citaten (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. (redactie). Berlin: Springer, blz. 143-159 (Lecture Notes in Computer Science; vol. 6416).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). Berlin: Springer, blz. 21-40 (Lecture Notes in Computer Science; vol. 6286).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

15 Citaten (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. (redactie). blz. 35-48 (Electronic Notes in Theoretical Computer Science; vol. 242(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 405-421 (Lecture Notes in Computer Science; vol. 5625).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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). blz. 1-3

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
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. (redactie). s.n., blz. 13-21 (Electronic Proceedings in Theoretical Computer Science; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). Berlin: Springer, blz. 449-456 (Lecture Notes in Computer Science; vol. 5728).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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. (redactie). blz. 3-21 (Electronic Notes in Theoretical Computer Science; vol. 237).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (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. (redactie). Berlin: Springer, blz. 255-270 (Lecture Notes in Computer Science; vol. 5771).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (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. (redactie). blz. 3-20 (Electronic Notes in Theoretical Computer Science; vol. 229(2)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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. (redactie). blz. 405-420 (Electronic Notes in Theoretical Computer Science; vol. 225).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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, blz. 147-152

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (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. (redactie). Berlin: Springer, blz. 133-148 (Lecture Notes in Computer Science; vol. 5825).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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. (redactie). blz. 23-44 (Electronic Notes in Theoretical Computer Science; vol. 255).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (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. (redactie). Heidelberg: Springer, blz. 215-229 (Lecture Notes in Computer Science; vol. 5505).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (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. (redactie). Berlin: Springer, blz. 1-56 (Lecture Notes in Computer Science; vol. 5520).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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, blz. 289-298

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
4 Citaten (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. (redactie). Berlin: Springer, blz. 177-191 (Lecture Notes in Computer Science; vol. 5491).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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, blz. 171-180

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
10 Citaten (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. (redactie). Berlin: Springer, blz. 221-235 (Lecture Notes in Computer Science; vol. 5486).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (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. (redactie). Berlin: Springer, blz. 230-245 (Lecture Notes in Computer Science; vol. 5505).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (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. (redactie). New York: Association for Computing Machinery, Inc, blz. 8-12

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageProfessioneel

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. (redactie). Berlin: Springer, blz. 226-241 16 blz. (Lecture Notes in Computer Science (LNCS); vol. 5491).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 164-178 (Lecture Notes in Computer Science; vol. 5595).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
11 Citaten (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. (redactie). Berlin: Springer, blz. 98-113 (Lecture Notes in Computer Science; vol. 5201).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (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. (redactie). Berlin: VDE Verlag, blz. 93-108

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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. (redactie). blz. 33-47 (Electronic Notes in Theoretical Computer Science; vol. 199).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). Boston: Springer, blz. 429-443 (IFIP Conference Proceedings; vol. 278).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (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. (redactie). CEUR-WS.org, blz. 16-1/5 (CEUR Workshop Proceedings; vol. 360).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). blz. 129-143 (Electronic Notes in Theoretical Computer Science; vol. 220(3)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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. (redactie). Berlin: Springer, blz. 747-756 (Lecture Notes in Computer Science; vol. 5065).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 328-339 (Lecture Notes in Computer Science; vol. 4910).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (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. (redactie). Berlin: Springer, blz. 514-515 (Lecture Notes in Computer Science; vol. 5218).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). blz. 93-108 (Electronic Notes in Theoretical Computer Science; vol. 203(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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, blz. 1226-1231

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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, blz. 180-189

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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, blz. 93-99 (Electronic Notes in Theoretical Computer Science; vol. 198).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (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. (redactie). Berlin: Springer, blz. 268-283 (Lecture Notes in Computer Science; vol. 5140).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (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. (redactie). Berlin: Springer, blz. 349-363 (Lecture Notes in Computer Science; vol. 5160).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (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. (redactie). Berlin: Springer, blz. 303-317 (Communications in Computer and Information Science; vol. 13).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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. (redactie). Boston: Springer, blz. 317-332 (IFIP Conference Proceedings; vol. 273).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (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. (redactie). Turku, Finland: Turku Centre for Computer Science, blz. 23-38 (TUCS General Publications; vol. 47).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Berlin: Springer, blz. 440-454 (Lecture Notes in Computer Science; vol. 5160).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (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. (redactie). blz. 211-229 (Electronic Notes in Theoretical Computer Science; vol. 195).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)