Find Research outputs

Search results

• A formalization of objects using equational dynamic logic

  Wieringa, R. J., 1991, Deductive and Object-Oriented Databases: Second International Conference, DOOD '91, Munich, Germany, December 16–18, 1991. Proceedings. Delobel, C., Kifer, M. & Masunaga, Y. (eds.). Berlin, Heidelberg: Springer, p. 431-452 22 p. (Lecture Notes in Computer Science; vol. 566).

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

  33 Downloads (Pure)

• A formalism for the structural description of vector maps, and its use for multi scale representations : a hydrographic exemple

  Molenaar, M. & Martinez Casasnovas, J. A., 1996, In: Cartographica : the international journal for geographic information and geovisualization. 33, 1, p. 55-63

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

  3 Citations (Scopus)

• A formalisation of knowledge-level models for knowledge acquisition

  Akkermans, J. M., van Harmelen, F., Schreiber, G. & Wielinga, B. J., 1993, Knowledge Acquisition as Modeling. New York, NY: Wiley, p. 169-208 (International journal of intelligent systems; vol. 8).

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

• A formal framework for diagnosis in business and finance

  Feelders, A. J. & Daniels, H. A. M., 20 Jan 1994, SPICIS 1994. Singapore, p. 123-128 6 p.

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

• A Formal Framework for Adaptive Access Control Models.

  Spaccapietra, S. (ed.), Rinderle, S. B. & Reichert, M. U., Jun 2007, In: Lecture notes in artificial intelligence. IX, 10.1007/978-3-540-74987-5_3, p. 82-112 31 p., 10.1007/978-3-540-74987-5_3.

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

• A formal development trajectory for OSI application layer protocols

  Booth, R. E., Widya, I. A. & Jones, V. M., 1991, Enschede: Tele-informatica en Open Systemen (Informatica). 12 p. (Memoranda IUnformatica; no. 91-71)(TIOS; no. 91/026)

  Research output: Book/Report › Report › Professional

• A formal development trajectory for OSI application layer protocols

  Booth, R. E., Jones, V. M., Clark, R. J., van der Heijden, G. J., Juillot, F. & Widya, I. A., 25 Sep 1992. 11 p.

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

• A Formal Connection between Security Automata and JML Annotations

  Huisman, M. & Tamalet, A., 2009, Fundamental Approaches to Software Engineering. Checkik, M. & Wirsing, M. (eds.). Berlin: Springer, p. 340-354 15 p. 10.1007/978-3-642-00593-0_23. (Lecture Notes in Computer Science; vol. 5503).

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

• A Formal Communication Model for Lookup Operations in a Hypercube-based P2P Data Store

  Fahrenholtz, D. & Wombacher, A., Dec 2005, 1st International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateComp). Los Alamitos, California, USA: IEEE Computer Society, p. - 8 p. 10.1109/COLCOM.2005.1651214

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

  File
  1 Citation (Scopus)

  10 Downloads (Pure)

• A formal characterization of and some alternatives to Sympson-Hetter item-exposure control in computerized adaptive testing

  van der Linden, W. J., 2006, Law School Admission Council. 12 p. (LSAC research report series - Computerized testing report; no. 02-05)

  Research output: Book/Report › Report › Professional

  File
  25 Downloads (Pure)

• A formal approach to testing distibuted systems (abstract)

  Brinksma, H., 3 Oct 1990, 2nd Nordic workshop on Program Correctness. Aalborg, Denemarken, p. - 1 p.

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

• A formal approach to conformance testing

  Tretmans, G. J., 1992, Enschede: University of Twente. 267 p.

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

  Open Access

  File
  313 Downloads (Pure)

• A Formal Analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques

  Wieringa, R. J. & Saake, G., 3 Apr 1996, In: Requirements engineering. 1, 2, p. 106-131 26 p., 10.1007/BF01235905.

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

  File
  1 Citation (Scopus)

  157 Downloads (Pure)

• A Formal Analysis of Parametric Design Problem Solving

  Wielinga, B. J., Akkermans, J. M. & Schreiber, G., 26 Feb 1995, Proceedings 9th International Knowledge Acquisition Workshop KAW'95. Banff, Canada, p. 37.1-37.15

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

• A formal analysis of a car periphery supervision system

  Gebremichael, B., Krilavicius, T. & Usenko, Y. S., 2004, Enschede: INF-Centre for Telematics and Information Techn. (ISSN1381-3625)

  Research output: Book/Report › Report › Professional

• A formação de professores no Reino dos Paises Baixos.

  Coenders, F. G. M., Kool, R. & Kapteijn, M., 2009, Formação de professores em Moçambique: resgatar o passado, realizar o presente e perspectivar o futuro.. Maputo: Editora educar, p. 52-63

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

• A forensic approach to life cycle assessment: addressing the challenges of product economic inventory data collection for LCA input, in support of product comparative environmental claims

  Campbell, A. S., 27 Nov 2019, Enschede: University of Twente. 377 p.

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

  Open Access

  File
  512 Downloads (Pure)

• A forecasting model for the evaluation of future resource availability

  Mennenga, M., Thiede, S., Beier, J., Dettmer, T., Kara, S. & Herrmann, C., 1 Jan 2012, Leveraging Technology for a Sustainable World: Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012. Dornfeld, D. A. & Linke, B. S. (eds.). Berlin, Heidelberg: Springer, p. 449-454 6 p.

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

• A force plate based method for the calibration of force/torque sensors

  Faber, G. S., Chang, C-C., Kingma, I., Schepers, H. M., Herber, S., Veltink, P. H. & Dennerlein, J. T., 2012, In: Journal of biomechanics. 45, 7, p. 1332-1338 7 p.

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

• A force measurement system for training of arthroscopic tissue manipulation skills on cadaveric specimen

  Horeman, T., Tuijthof, G. J. M., Wulms, P. B., Kerkhoffs, G. M. M. J., Gerards, R. M. & Karahan, M., 1 Dec 2016, In: Journal of Medical Devices, Transactions of the ASME. 10, 4, 044508.

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

• A force-controlled planar haptic device for movement control analysis of the human arm

  de Vlugt, E., Schouten, A. C., van der Helm, F. C. T., Teerhuis, P. C. & Brouwn, G. G., 30 Oct 2003, In: Journal of neuroscience methods. 129, 2, p. 151-168 18 p.

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

• A footprint family extended MRIO model to support Europe's transition to a One Planet Economy

  Galli, A., Weinzettel, J., Cranston, G. & Ercin, E., 26 Dec 2013, In: Science of the total environment. 461-462, p. 813-818 6 p.

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

• A folding algorithm for a system of coupled QBD-processes

  Baër, N., Boucherie, R. J., Al Hanbali, A. & van Ommeren, J. C. W., 6 Jan 2014, Proceedings of the 8th International Conference on Matrix Analytic Methods in Stochastic Models. Calicut, India, p. -

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

• A focus group study on inter-organizational ERP requirements engineering practices

  Daneva, M. & Ahituv, N., 13 Sep 2010, Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM. Succi, G., Morisio, M. & Nagappan, N. (eds.). New York: Association for Computing Machinery (ACM), p. 43:1-43:4 4 p.

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

• A focused view on procedures

  van der Meij, H., 22 Jan 2004, Tilburg

  Research output: Other contribution › Other research output

• AFM Tip Mediated Nanofabrication of (Bio)Reactive Polymer Platforms: Towards Deposition of Single Dendrimer Molecules onto Reactive Films

  Schönherr, H., Salazar, R., Shovsky, A. & Vancso, G. J., 2006, 231st National ACS Meeting 2006: Papers prestented at the Atlanta, Georgia Meeting, March 26-30, 2006. Washington, DC: American Chemical Society, p. 301-302 2 p. (PMSE preprints; vol. 94).

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

• AFM Tip Mediated Nanofabrication of (Bio)reactive Polymer Platforms: Towards Deposition of Single Dendrimer Molecules onto Reactive Films

  Schönherr, H., Salazar, R., Shovsky, A. & Vancso, G. J., 6 Feb 2006.

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

• AFM surface characterization of nano-particles

  Klaassen, A. H., Liu, F., Sîretanu, I., van den Ende, H. T. M. & Mugele, F. G., 28 Sep 2015, p. -.

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

• AFM surface characterization of nano-particles

  Klaassen, A. H., Liu, F., Sîretanu, I., van den Ende, H. T. M. & Mugele, F. G., 7 Sep 2015, p. -.

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

• AFM Study on Lattice Orientation and Tribilogy of SAMS of Fluorinated Thiols and Disulfides on Au (111): The Influence of the Molecular Structure

  Schönherr, H. & Vancso, G. J., 2001, Fluorinated Surfaces, Coatings, and Films. Castner, D. G. & Grainger, D. W. (eds.). American Chemical Society, p. 15-30 (ACS Symposium Series; no. 787).

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

• AFM study of lamellar thickness distributions in high temperature melt-crystallization of B-polypropylene

  Trifonova, D., Varga, J. & Vancso, G. J., 1998, In: Polymer bulletin. 41, p. 341-348 8 p.

  Research output: Contribution to journal › Article › Academic

  46 Citations (Scopus)

• AFM study of isotactic polystyrene single crystals

  Trifonova, D., Vancso, G. J. & Pearce, R., 13 Oct 1997, Lunteren

  Research output: Other contribution › Other research output

• AFM study of gel-drawn UHMW PE

  Sheiko, S., Magonov, S. N. & Moller, M., 1992, In: Polymer preprints. 0, 33, p. 788-789 2 p.

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

• AFM Studies on the growth of self-assembled monolayers on SrTiO3-surfaces

  Kropman, B. L., Blank, D. H. A. & Rogalla, H., 25 Aug 1997, Asilomar, USA

  Research output: Other contribution › Other research output

• AFM studies on the growth of self-assembled monolayers on SrTiO3-surfaces

  Kropman, B. L., Blank, D. H. A. & Rogalla, H., 10 Oct 1997.

  Research output: Contribution to conference › Poster

• AFM studies on the growth of self-assembled monolayers on SrTiO3-surfaces

  Kropman, B. L., Blank, D. H. A. & Rogalla, H., 17 Dec 1997, Veldhoven, Netherlands

  Research output: Other contribution › Other research output

• AFM studies of surface morphologies of sputtered SrTiO₃ films and annealed MgO substrates

  Meng, Q., Moerman, R., Sonnenberg, A. H. & Gerritsma, G. J., 1999, In: Applied physics A: Materials science and processing. 68, 2, p. 239-245 7 p.

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

• AFM studies of ion beam etched ramps in ReBa2Cu3O7-delta films

  Rijnders, A. J. H. M., Blank, D. H. A., Verhoeven, M. A. J., Moerman, R. & Rogalla, H., 22 Feb 1996.

  Research output: Contribution to conference › Poster

• AFM-induced deformation of micron-sized gelatin droplets

  Filip, D., Uricanu, V. I., Duits, M. H. G. & Mellema, J., 22 Nov 2002, p. -.

  Research output: Contribution to conference › Poster

• AFM imaging of interfacial morphologies in carbon-fiber reinforced isotactic polypropylene

  Vancso, G. J., Liu, G., Karger-Kocsis, J. & Varga, J., 1997, In: Colloid and polymer science. 275, p. 181-186

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

• A FMEA based method for analyzing and prioritizing performance risk at the conceptual stage of performance PSS design

  Sakwe, J. B., Pereira Pessoa, M. & Hoekstra, S., 27 Jul 2021, (E-pub ahead of print/First online) In: Proceedings of the Design Society. 1, p. 81-90 10 p.

  Research output: Contribution to journal › Conference article › Academic › peer-review

  Open Access

  File
  9 Downloads (Pure)

• AFM-CSLM study of colloidal particle aggregates

  Zatovsky, Y. A., Duits, M. H. G., van den Ende, H. T. M. & Mellema, J., 8 May 2001.

  Research output: Contribution to conference › Poster

• AFM-CSLM Microrheology of aggregated emulsions

  Filip-Boar, D., 24 May 2006, Zutphen: Wöhrmann Print Service. 124 p.

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

  Open Access

  File
  70 Downloads (Pure)

• AFM cantilever with in situ renewable mercury microelectrode

  Schön, P. M., Geerlings, J., Tas, N. R. & Sarajlic, E., 1 Oct 2013, In: Analytical chemistry. 85, 19, p. 8937-8942 6 p.

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

• AFM-based single molecule force spectroscopy of pH-responsive poly(methacrylic acid) chains

  Kutnyanszky, E., Embrechts, A., Hempenius, M. A. & Vancso, G. J., 3 Feb 2009, p. -.

  Research output: Contribution to conference › Poster

• AFM-based single molecule force spectroscopy of complementary quadruple hydrogen-bonded systems

  Embrechts, A., Schönherr, H. & Vancso, J., 15 Feb 2010. 2 p.

  Research output: Contribution to conference › Poster

  Open Access

  File
  21 Downloads (Pure)

• AFM-based single molecule force spectroscopy of complementary quadruple hydrogen-bonded systems

  Embrechts, A., Schönherr, H. & Vancso, J., 17 Nov 2010.

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

• AFM-based single molecule force spectroscopy of complementary quadruple hydrogen-bonded systems

  Embrechts, A., Schönherr, H. & Vancso, J., 11 Jul 2010. 2 p.

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

  Open Access

  File
  4 Downloads (Pure)

• AFM-Assisted Lithography and Surface-Initiated Polymerization: Towards Single Macromolecular Grafted Systems

  Benetti, E. M., Chung, H. J. & Vancso, G. J., 23 Sep 2008, p. -.

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

• AFM and high pressure RHEED studies of epitaxial growth on SrTiO3 by pulsed laser depositions

  Koster, G., Kropman, B. L., Rijnders, A. J. H. M., Blank, D. H. A. & Rogalla, H., 10 Oct 1997, RU Leiden

  Research output: Other contribution › Other research output