• 1798 Citaties
1974 …2015

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

2015

Modeling hybrid systems with petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2015, Simulation and Modeling Methodologies, Technologies and Applications: International Conference, SIMULTECH 2014 Vienna, Austria, August 28-30, 2014 Revised Selected Papers. Dordrecht: Springer, blz. 17-42 26 blz. (Advances in Intelligent Systems and Computing; vol. 402).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
2014

Relationship between Simulink and Petri nets

Bera, D., van Hee, K. M. & Nijmeijer, H., 2014, Proceedings of SIMULTECH 2014 : Fourth International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 28-30 August, 2014, Vienna, Austria. Obaidat, M. S., Kacprzyk, J. & Tuncer Oren, X. (redactie). s.l.: s.n., blz. 44-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Relationship between Simulink and Petri nets

Bera, D., Hee, van, K. M. & Nijmeijer, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 1406)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
280 Downloads (Pure)

Tele-operated service robots : ROSE

Osch, van, M. P. W. J., Bera, D., Hee, van, K. M., Koks, Y. & Zeegers, H., 2014, In : Automation in Construction. 39, 1, blz. 152-160 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

23 Citaten (Scopus)
3 Downloads (Pure)
2013

Business process modeling using Petri nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (redactie). Berlin: Springer, blz. 116-161 (Lecture Notes in Computer Science; vol. 7480).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

12 Citaten (Scopus)
11 Downloads (Pure)

Discrete timed Petri nets

Bera, D., Hee, van, K. M. & Sidorova, N., 2013, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1303)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
72 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, In : Fundamenta Informaticae. 122, 1-2, blz. 59-83

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)

The right timing : reflections on the modeling and analysis of time

Hee, van, K. M. & Sidorova, N., 2013, Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings). Colom, J. M. & Desel, J. (redactie). Berlin: Springer, blz. 1-20 (Lecture Notes in Computer Science; vol. 7927).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)
2 Downloads (Pure)

When can we trust a third party?

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (redactie). Berlin: Springer, blz. 106-122 (Lecture Notes in Computer Science; vol. 8100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
1 Downloads (Pure)
2012

Designing weakly terminating ROS systems

Bera, D., Hee, van, K. M. & Werf, van der, J. M. E. M., 2012, Applications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings). Berlin: Springer, blz. 328-347 (Lecture Notes in Computer Science; vol. 7347).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
2 Downloads (Pure)

Digitale veiligheid : risico's en remedies

van Hee, K. M., 12 mei 2012, Haarlem: Koninklijke Hollandsche Maatschappij der Wetenschappen. 45 blz. (Haarlemse voordrachten; vol. 72)

Onderzoeksoutput: Boek/rapportRapportAcademic

Generating benchmarks by random stepwise refinement of Petri nets

Van Hee, K. M. & Liu, Z., 2012, Recent Advances in Petri Nets and Concurrency (Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June 2010). Donatelli, S., Kleijn, J., Machado, R. J. & Fernandes, J. M. (redactie). CEUR-WS.org, blz. 403-417 15 blz. (CEUR Workshop Proceedings; vol. 827).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
1 Downloads (Pure)

Tele-operated service robots for household and care

Osch, van, M. P. W. J., Bera, D., Koks, Y. & Hee, van, K. M., 2012, Proceedings full papers ISG*ISARC2012 : joint conference of the 8th World Conference of the International Society for Gerontechnology (ISG) and the 29th International Symposium on Automation and Robotics in Construction (ISARC), June 26-29, 2012, Eindhoven, The Netherlands. Bronswijk, van, J. E. M. H., Maas, G. J. & Gassel, van, F. J. M. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 263-269

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
127 Downloads (Pure)

When can we trust a third party? : a soundness perspective

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2012, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012). Cabac, L., Duvigneau, M. & Moldt, D. (redactie). CEUR-WS.org, blz. 47-59 (CEUR Workshop Proceedings; vol. 851).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)
2011

Abstracting common business rules to Petri nets (Extended abstract)

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2011, Proceedings of the 5th SIKS/BENAIS Conference on Enterprise Information Systems (EIS-2010, Eindhoven, The Netherlands, November 16, 2010). Dongen, van, B. F. & Reijers, H. A. (redactie). Aachen: CEUR-WS.org, blz. 113-114 (CEUR Workshop Proceedings; vol. 662).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

1 Downloads (Pure)

A component framework where port compatibility implies weak termination

Bera, D., Hee, van, K. M., Osch, van, M. P. W. J. & Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computer science reports; vol. 1108)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
2 Citaten (Scopus)
40 Downloads (Pure)

Behind the screen it happens : from DSS to TSR

Hee, van, K. M., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 152-161

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)

Conceptual model for online auditing

Aalst, van der, W. M. P., Hee, van, K. M., Werf, van der, J. M. E. M., Kumar, A. & Verdonk, M. C., 2011, In : Decision Support Systems. 50, 3, blz. 636-647

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

63 Citaten (Scopus)
7 Downloads (Pure)

Discovering characteristics of stochastic collections of process models

Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, BPMcenter. org. 17 blz. (BPM reports; vol. 1106)

Onderzoeksoutput: Boek/rapportRapportAcademic

4 Citaten (Scopus)
1 Downloads (Pure)

Discovering characteristics of stochastic collections of process models

Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings). Rinderle-Ma, S., Toumani, F. & Wolf, K. (redactie). Berlin: Springer, blz. 298-312 (Lecture Notes in Computer Science; vol. 6896).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
4 Downloads (Pure)

In memoriam Marc Voorhoeve: 5 april 1950 - 7 oktober 2011

Hee, van, K. M., 2011, In : Petri Net Newsletter. 79, blz. 35-35

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademic

3 Downloads (Pure)

Is my event log complete? - A probabilistic approach to process mining

Hee, van, K. M., Liu, Z. & Sidorova, N., 2011, Proceedings of the 5th IEEE International Conference on Research Challenges in Information Sciences (RCIS 2011, Gosier, Guadeloupe, May 19-21, 2011). Institute of Electrical and Electronics Engineers, blz. 1-12

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
14 Citaten (Scopus)
93 Downloads (Pure)

Model engineering : balancing between virtuality and reality

Hee, van, K. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 32 blz.

Onderzoeksoutput: Boek/rapportInaugurale redeAcademic

Open Access
Bestand
168 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets : weak termination preserved!

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 blz. (Computer science reports; vol. 1101)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
5 Citaten (Scopus)
40 Downloads (Pure)

Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings). Kristensen, L. M. & Petrucci, L. (redactie). Berlin: Springer, blz. 149-168 (Lecture Notes in Computer Science; vol. 6709).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
1 Downloads (Pure)

Soundness of workflow nets : classification, decidability, and analysis

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., 2011, In : Formal Aspects of Computing. 23, 3, blz. 333-363

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
234 Citaten (Scopus)
127 Downloads (Pure)

Soundness-preserving refinements of service compositions

Hee, van, K. M., Mooij, A. J., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers). Bravetti, M. & Bultan, T. (redactie). Berlin: Springer, blz. 131-145 (Lecture Notes in Computer Science; vol. 6551).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
9 Citaten (Scopus)
46 Downloads (Pure)
2010

Auditing 2.0: Using process mining to support tomorrow's auditor

Aalst, van der, W. M. P., Hee, van, K. M., Werf, van der, J. M. E. M. & Verdonk, M. C., 2010, In : Computer. 43, 3, blz. 90-93

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

90 Citaten (Scopus)
6 Downloads (Pure)

Construction of asynchronous communicating systems: weak termination guaranteed!

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2010, Software Composition (9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings). Baudry, B. & Wohlstadter, E. (redactie). Berlin: Springer, blz. 106-121 (Lecture Notes in Computer Science; vol. 6144).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)

History-dependent stochastic Petri nets

Schonenberg, H., Sidorova, N., Aalst, van der, W. M. P. & Hee, van, K. M., 2010, Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (redactie). Berlin: Springer, blz. 366-379 (Lecture Notes in Computer Science; vol. 5947).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

4 Citaten (Scopus)
3 Downloads (Pure)

On-the-fly auditing of business processes

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2010, Transactions on Petri Nets and Other Models of Concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (redactie). Berlin: Springer, blz. 144-173 (Lecture Notes in Computer Science; vol. 6550).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
3 Downloads (Pure)

Teleoperated service robot s: a new industrial revolution

van Hee, K. M., 2010, Liber amicorum : im memoriam Jo van Nunen. Kroon, L., Li, T. & Zuidwijk, R. (redactie). S.l., blz. 239-245

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

2009

A framework for linking and pricing no-cure-no-pay services

Hee, van, K. M., Verbeek, H. M. W., Stahl, C. & Sidorova, N., 2009, Transactions on Petri Nets and Other Models of Concurrency II. Jensen, K. & Aalst, van der, W. M. P. (redactie). Berlin: Springer, blz. 192-207 (Lecture Notes in Computer Science; vol. 5460).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)

Compositional service trees

Aalst, van der, W. M. P., Hee, van, K. M., Massuthe, P., Sidorova, N. & Werf, van der, J. M. E. M., 2009, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0901)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
24 Downloads (Pure)

Compositional service trees

Aalst, van der, W. M. P., Hee, van, K. M., Massuthe, P., Sidorova, N. & Werf, van der, J. M. E. M., 2009, Applications and Theory of Petri Nets (30th International Conference, Petri Nets 2009, Paris, France, June 22-26, 2009, Proceedings). Franceschinis, G. & Wolf, K. (redactie). Berlin: Springer, blz. 283-302 (Lecture Notes in Computer Science; vol. 5606).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

22 Citaten (Scopus)
1 Downloads (Pure)

Generation of database transactions with Petri nets

Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2009, In : Fundamenta Informaticae. 93, 1-3, blz. 171-184

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

13 Citaten (Scopus)
1 Downloads (Pure)

On-the-fly auditing of business processes

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2009, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer science reports; vol. 0918)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
69 Downloads (Pure)

On the relationship between workflow models and document types

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P., 2009, In : Information Systems. 34, 1, blz. 178-208

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

21 Citaten (Scopus)
2 Downloads (Pure)

Soundness of workflow nets with reset arcs

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., 2009, Transactions on Petri nets and other models of concurrency III. Jensen, K., Billington, J. & Koutny, M. (redactie). Berlin: Springer, blz. 50-70 (Lecture Notes in Computer Science; vol. 5800).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

4 Citaten (Scopus)
1 Downloads (Pure)

Statistical approach to software reliability certification

Corro Ramos, I., Di Bucchianico, A. & Hee, van, K. M., 2009, Proceedings XXXI Congreso Nacional de Estadística e Investigación Operativa (SEIO 2009, Murcia, Spain, February 10-13, 2009). blz. 18-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Downloads (Pure)
2008

Adaptive workflows for healthcare information systems

Hee, van, K. M., Schonenberg, H., Serebrenik, A., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Business Process Management Workshops (BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers). Hofstede, ter, A. H. M., Benatallah, B. & Paik, H. Y. (redactie). Berlin: Springer, blz. 359-370 (Lecture Notes in Computer Science; vol. 4928).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

10 Citaten (Scopus)
1 Downloads (Pure)

A framework for linking and pricing no-cure-no-pay services

Hee, van, K. M., Verbeek, H. M. W., Stahl, C. & Sidorova, N., 2008, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0819)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
67 Downloads (Pure)

Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings

Hee, van, K. M. (redactie) & Valk, R. (redactie), 2008, Berlin: Springer. (Lecture notes in computer science; vol. 5062)

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Designing case handling systems

Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (redactie). Berlin: Springer, blz. 119-133 (Lecture Notes in Computer Science; vol. 5100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

7 Citaten (Scopus)
1 Downloads (Pure)

Generation of database transactions with Petri nets

Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2008, Proceedings of Concurrency, Specification and Programming (CS&P 2008, Groß Väter See bei Berlin, Germany, September 29-October 1, 2008). Burkhard, H. D., Lindemann, G. & Schlingloff, H. (redactie). blz. 488-499

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Open Access
Bestand
133 Downloads (Pure)

History-based joins : semantics, soundness and implementation

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2008, In : Data & Knowledge Engineering. 64, 1, blz. 24-37

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)
1 Downloads (Pure)

Model driven testing based on test history

Corro Ramos, I., Di Bucchianico, A., Hakobyan, L. & Hee, van, K. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (redactie). Berlin: Springer, blz. 134-151 (Lecture Notes in Computer Science; vol. 5100).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)
1 Downloads (Pure)

Process discovery using integer linear programming

Werf, van der, J. M. E. M., Dongen, van, B. F., Hee, van, K. M., Hurkens, C. A. J. & Serebrenik, A., 2008, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0804)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
133 Citaten (Scopus)
749 Downloads (Pure)

Proposal for: requirements and evaluation of tool papers for Petri Nets

Franceschinis, G., Hee, van, K. M., Kindler, E., Kordon, F., Kristensen, L. M. & Wolf, K., 2008, In : Petri Net Newsletter. 75, blz. 9-18

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

1 Downloads (Pure)

Soundness of workflow nets : classification, decidability, and analysis

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., 2008, Eindhoven: Technische Universiteit Eindhoven. 48 blz. (Computer science reports; vol. 0813)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
71 Downloads (Pure)