Find Research outputs

Search results

• A Composition Operator for Systems with Active and Passive Actions

  Strubbe, S. N. & Langerak, R., 2005, Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005. Wang, F. (ed.). Germany: Springer, p. 24-37 14 p. (Lecture Notes in Computer Science; vol. 3731, no. XII).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  1 Citation (Scopus)

  24 Downloads (Pure)

• A Compositional Semantic Structure for Multi-Agent Systems Dynamics

  van Eck, P., 12 Jun 2001, 394 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation UT

  File
  36 Downloads (Pure)

• A compositional semantics for Repairable Fault Trees with general distributions

  Monti, R., D'Argenio, P. R. & Budde, C. E., 23 Oct 2019, ArXiv, 26 p.

  Research output: Working paper

  File
  34 Downloads (Pure)

• A compositional semantics for repairable fault trees with general distributions

  Monti, R., Budde, C. E. & D’argenio, P. R., 27 May 2020, Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Albert, E. & Kovacs, L. (eds.). EasyChair, p. 354-372 19 p. (EPiC Series in Computing; vol. 73).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File

• A Compositional Semantics for Normal Open Programs

  Etalle, S. & Teusink, F., 1996, Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996. Maher, M. (ed.). MIT Press, p. 468-482 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  6 Downloads (Pure)

• A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains

  Boudali, H., Crouzen, P. & Stoelinga, M. I. A., Oct 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Namjoshi, K. S., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Berlin: Springer, p. 441-456 16 p. (Lecture Notes in Computer Science; vol. 4762).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  68 Citations (Scopus)

  105 Downloads (Pure)

• A compositional reliability and availability evaluation tool

  Boudali, H., Crouzen, P. & Stoelinga, M., Jul 2007. 2 p.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  File
  16 Downloads (Pure)

• A compositional modelling and analysis framework for stochastic hybrid systems

  Hahn, E. M., Hartmanns, A., Hermanns, H. & Katoen, J. P., Oct 2013, In: Formal methods in system design. 43, 2, p. 191-232 42 p.

  Research output: Contribution to journal › Article › Academic › peer-review
  85 Citations (Scopus)

• A Compositional Approach to Generalised semi-Markov Processes

  d' Argenio, P. R., Katoen, J. P. & Brinksma, E., 1998, WODES'98: International Workshop on Discrete Event Systems: 26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia. Giua, A., Smedinga, R. & Spathopoulos, M. P. (eds.). London: Institution of Electrical Engineers (IEE), p. 391-397 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• A Composite Measure for Quality of Care in Patients with Symptomatic Carotid Stenosis Using Textbook Outcome

  Dutch Audit for Carotid Interventions (DACI) Group, DACI Collaborators, 1 Oct 2020, In: European journal of vascular and endovascular surgery. 60, 4, p. 502-508 7 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  3 Citations (Scopus)

• A composite beam as a multifunctional suspension component

  Zandbergen, P., 25 Nov 2004, Enschede: University of Twente. 190 p.

  Research output: Thesis › PhD Thesis - Research UT, graduation UT

• A component-based groupware development methodology

  Guareis de farias, C., Ferreira Pires, L. & van Sinderen, M. J., 2000, Proceedings of the Fourth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2000). USA: IEEE Computer Society, p. 204-213 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  12 Citations (Scopus)

  147 Downloads (Pure)

• A Compliant Two-Port Bistable Mechanism with Application to Easy-Chair Design

  Darshan, S., Lassche, T. J., Herder, J. L. & Ananthasuresh, G. K., 25 Oct 2015, Proceedings of the 14th IFToMM World Congress. Taipei, Taiwan, p. -

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  3 Citations (Scopus)

• A Compliant Model of the Ventricular Apex to Study Suction in Ventricular Assist Devices

  Rocchi, M., Fresiello, L., Meyns, B., Jacobs, S., Gross, C., Pauls, J. P., Graefe, R., Stecka, A., Kozarski, M. & Zieliński, K., 1 Oct 2021, In: ASAIO journal (American Society for Artificial Internal Organs : 1992). 67, 10, p. 1125-1133 9 p.

  Research output: Contribution to journal › Article › Academic › peer-review

• A compliant instrument for arthroscopic joint fusion

  Tuijthof, G. J. M., Herder, J. L., van Dijk, C. N. & Pistecky, P. V., 2004, p. 397-405. 9 p.

  Research output: Contribution to conference › Paper › Academic › peer-review
  4 Citations (Scopus)

• A compliant and redundantly actuated 2-DOF 3RRR PKM: Less is more

  Berendsen, D., Sridhar, A. & Aarts, R., 12 Dec 2021, Proceedings of the10th ECCOMAS Thematic Conference on MULTIBODY DYNAMICS. Kövecses, J., Stépán, G. & Zelei, A. (eds.). Budapest: Budapest University of Technology and Economics, p. 246-256

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  15 Downloads (Pure)

• A Compliant and Redundantly Actuated 2-DOF 3RRR PKM: Best of Both Worlds?

  Cornelissen, R., Müller, A. & Aarts, R., 8 Aug 2019, Multibody Dynamics 2019: Proceedings of the 9th ECCOMAS Thematic Conference on Multibody Dynamics. Kecskeméthy, A. & Geu Flores, F. (eds.). Springer, p. 163-171 9 p. (Computational Methods in Applied Sciences; vol. 53).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
  2 Citations (Scopus)

  6 Downloads (Pure)

• A compliance feedforward scheme for a class of LTV motion systems

  Kontaras, N., Heertjes, M., Zwart, H. & Steinbuch, M., 29 Jun 2017, 2017 American Control Conference, ACC 2017. Piscataway, NJ: IEEE, p. 4504-4509 6 p. 7963649

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  2 Citations (Scopus)

  237 Downloads (Pure)

• A Complex Adaptive Systems Approach to Real-Life Team Interaction Patterns, Task Context, Information Sharing, and Effectiveness

  Hoogeboom, M. A. M. G. & Wilderom, C. P. M., 1 Feb 2020, In: Group and Organization Management. 45, 1, p. 3-42 40 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  13 Citations (Scopus)

  90 Downloads (Pure)

• A complete three-dimensional sound intensity sensor integrated on a single chip

  Yntema, D. R., van Honschoten, J. W., Wiegerink, R. J. & Elwenspoek, M. C., 23 Sep 2008, In: Journal of micromechanics and microengineering. 18, 2008/16200/11, p. 1-9 9 p., 10.1088/0960-1317/18/11/115004.

  Research output: Contribution to journal › Article › Academic › peer-review
  11 Citations (Scopus)

• A complete set of specifactions for all kinds of plastics pipeline materials used in gas distribution systems

  Wolters, M. & Wikkerink, B., 2 Oct 2006, Proceedings Plastic Pipes Symposium XIV. Washington, DC, 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  97 Downloads (Pure)

• A Complete Open Source Design Flow for Gowin FPGAs

  de Vos, P., Kirchhoff, M. & Ziener, D., 9 Dec 2020, 2020 International Conference on Field-Programmable Technology (ICFPT). IEEE, (Proceedings - 2020 International Conference on Field-Programmable Technology, ICFPT 2020; vol. 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File
  2254 Downloads (Pure)

• A complete magnetic sentinel lymph node biopsy procedure in oral cancer patients: A pilot study

  Nieuwenhuis, E. R., Kolenaar, B., van Bemmel, A. J. M., Hof, J. J., van Baarlen, J., Christenhusz, A., Pouw, J. J., ten Haken, B., Alic, L. & de Bree, R., Oct 2021, In: Oral Oncology. 121, 105464.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  3 Citations (Scopus)

  1 Downloads (Pure)

• A completely intramedullary leg lengthening device

  Aalsma, A. M. M., Hekman, E. E. G., Stapert, J. W. J. L. & Grootenboer, H. J., 29 Oct 1998, Proceedings 2th annual IEEE-EMBS conference. Hong Kong: IEEE, p. V 2710-2713

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  1 Citation (Scopus)

  77 Downloads (Pure)

• A Completely Endovascular Solution for Transcatheter Aortic Valve Implantation Embolisation and Inversion into the Aortic Arch

  Leeuwerke, S. J. G., Menting, T. P., Stoel, M. G. & Geelkerken, R. H., Jan 2021, In: EJVES Vascular Forum. 52, p. 13-16 4 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  25 Downloads (Pure)

• A complete finite prefix for process algebra

  Langerak, R. & Brinksma, H., 14 Feb 1999, Proceedings CAV'99, LNCS 1663. Trento, Italy, p. 184-195 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  11 Citations (Scopus)

• A complete Digital Design and Test Flow in an Academic Environment

  Weusthof, M. H. H., Tijink, R. M. W. & Kerkhoff, H. G., 29 Nov 2002, Proceedings Prorisc 2002. p. 551-555 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• A complete and coherent musculo-skeletal dataset for the thoracic and cervical regions of the human spine

  Bayoglu, R., Geeraedts, L., Groenen, K., Verdonschot, N. J. J., Koopman, H. F. J. M. & Homminga, J. J., 2 Jul 2017.

  Research output: Contribution to conference › Paper › Academic › peer-review

  Open Access

  File
  34 Downloads (Pure)

• A complete and coherent musculo-skeletal dataset for the human spine

  Bayoglu, R., Geeraedts, L., Groenen, K., Verdonschot, N. J. J., Koopman, H. F. J. M. & Homminga, J. J., 25 Jul 2017.

  Research output: Contribution to conference › Abstract › Other research output

  Open Access

  File
  22 Downloads (Pure)

• A competitive success model in the hotel industry

  Gonzalez-Rodriguez, M. R., Martín-Samper, R. & Jiménez-Caballero, J. L., 2015, Proceedings of the 2nd International Symposium on Partial Least Squares Path Modeling: The Conference for PLS Users. Henseler, J., Ringle, C., Roldán, J. & Cepeda, G. (eds.). Enschede: University of Twente, 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

• A competency-based approach to cooperative higher education in a knowledge society

  Kessels, J. & van Wijngaarden, P., 2003, Enschede: University of Twente, 9 p.

  Research output: Working paper

  Open Access

  File
  16 Downloads (Pure)

• A competency-based approach to cooperative education in the university curriculum

  Kessels, J., Leeuw, H. & van Wijngaarden, P. J., 5 Nov 2002, p. 93-99.

  Research output: Contribution to conference › Paper › Academic › peer-review

• A competência, sua natureza e seu desenvolvimento: uma abordagem anglo-saxônica [Competence, its nature and its development: An anglo-saxon approach]. La compétence, sa nature et son développement. Une approche anglo-saxonne

  van der Heijden, B., 2004, Da Qualificação à competência. Pensando o século XXI. Tomasi, A. (ed.). Brasil: Papirus, p. -

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

• A Competence-based Approach to Supply Strategy Implementation

  Knight, L., 1998.

  Research output: Contribution to conference › Paper › Academic

• A competence-based and multidimensional operationalization and measurement of employability

  van der Heijde, C. M. & van der Heijden, B., 2006, In: Human resource management. 45, 3, p. 449-476

  Research output: Contribution to journal › Article › Academic
  570 Citations (Scopus)

  1365 Downloads (Pure)

• A comperative study of different techniques for microstructural characterization of iol extended thermoplastic elastomer blends

  Sengupta, P. & Noordermeer, J. W. M., 2005, In: Polymer. 45, 26, p. 12298-12305

  Research output: Contribution to journal › Article › Academic › peer-review
  22 Citations (Scopus)

• A compensatory model for simultaneously setting cutting scores for selection-placement-mastery decisions (OMD-RR 94-17)

  Vos, H. J., 1994, Enschede: University of Twente, Faculty Educational Science and Technology. 33 p. (OMD research reports; no. 94-17)

  Research output: Book/Report › Report › Professional

  File
  21 Downloads (Pure)

• A compensatory model for simultaneously setting cutting scores for selection-placement-mastery decisions

  Vos, H. J., 1995, Multivariate analysis in the behavioral sciences: Philosophic to technical. Partchev, I. (ed.). Sofia, Bulgaria: Academic Publishing House, p. 75-90

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

• A compensatory model for setting simultaneously cutting scores for selection-placement-mastery decision

  Vos, H. J., 10 Apr 1993, p. -.

  Research output: Contribution to conference › Paper › Academic

• A compensatory model for setting simultaneously cutting scores for selection-mastery decisions

  Vos, H. J., 9 Feb 1994, Proceedings of the Biennial conference of the Society for Multivariate Analysis in the Behavioral Sciences (SMABS 94) / ed. I. Partchev. Varna, Bulgaria, p. - 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• A compensatory approach to optimal selection with mastery scores

  van der Linden, W. J. & Vos, H. J., 1994, Enschede: University of Twente, Faculty Educational Science and Technology. 31 p. (OMD research report; no. 94-02)

  Research output: Book/Report › Report › Professional

  File
  100 Downloads (Pure)

• A compensatory approach to optimal selection with mastery scores

  van der Linden, W. J. & Vos, H. J., 1996, In: Psychometrika. 61, 1, p. 155-172

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File
  19 Citations (Scopus)

  79 Downloads (Pure)

• A compensatory approach to optimal selection with mastery scores

  van der Linden, W. J. & Vos, H. J., 23 Jun 1994, p. -.

  Research output: Contribution to conference › Paper › Academic

• A compensatory approach to deriving simultaneous rules for combined decision problems

  Vos, H. J., 4 Jul 1995, Proceedings 9th European meeting of the Psychometric Society. Heiser, W. J. & Meulman, J. J. (eds.). Leiden, p. 148-148

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• A compensatory approach for setting mastery scores

  Vos, H. J., 20 Jan 1993, Proceedings of the 1993 European Meeting of the Psychometric Society. Barcelona, Spain, p. 153-153 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

• A Compensation Mechanism for EV Flexibility Services using Discrete Utility Functions

  Giraldo, J. S., Arias, N. B., Duque, E. M. S., Hoogsteen, G. & Hurink, J. L., 31 May 2022, ArXiv, 6 p.

  Research output: Working paper › Preprint

  Open Access

  File
  4 Downloads (Pure)

• A compensation approach for two-dimensional markov processes

  Zijm, W. H. M., Adan, I. J. B. F. & Wessels, J., 1993, In: Advances in applied probability. 25, p. 783-817

  Research output: Contribution to journal › Article › Academic › peer-review

• A compensation approach for multiprogrammering queues

  Zijm, W. H. M., Adan, I. J. B. F., van Houtum, G-J. & Wessels, J., 1993, In: OR Spectrum = OR Spektrum. 15, 2, p. 96-109

  Research output: Contribution to journal › Article › Academic › peer-review

  File
  6 Citations (Scopus)

  104 Downloads (Pure)

• A compatmental model of an External Urethral Sphincter Motoneuron of Onuf's Nucleus

  Heldoorn, M., Marani, E., Leeuwen, J. L. & Vanderschoot, J., 2003, In: Archives of physiology and biochemistry. 111, p. 193-201

  Research output: Contribution to journal › Article › Academic › peer-review

  3 Citations (Scopus)

• A comparitive analysis of multiplexer techniques for the minimization of function cost using the costable approach

  Butler, J. T., Kerkhoff, H. G. & Onneweer, S. P., 1 May 1990, IEEE ISMVL'90. Charlotte, USA, p. 30-36 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review