Find Research outputs

Search results

• A Framework for Analysis of B2B Electronic Contracting Support

  Angelov, S. A. & Grefen, P. W. P. J., Oct 2001, Proceedings of the 4th Edispuut Conference: Multidisciplinary Perspectives on Electronic Commerce. Amsterdam: Edispuut, p. 6-20 15 p.

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

  Open Access

  File
  21 Downloads (Pure)

• A Framework for a Distributed and Adaptive Query Processing Engine for Wireless Sensor Networks

  Chatterjea, S., Honda, S. (ed.), Iwaoka, H. (ed.), van Hoesel, L. F. W. & Havinga, P. J. M., Jan 2006, In: Transactions of the Society of Instrument and Control Engineers. E-S-1, suppl 2/1, p. 58-67 10 p.

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

• A framework architecture that supports the engineering of integrated groupware application

  van Rijssen, E., Michiels, E. F., Verhoosel, J., Teeuw, W. B., Huis in t veld, R. J. & Widya, I. A., 1 Feb 1995, Enschede : University of Twente.

  Research output: Other contribution › Other research output

• A framework and method for object-oriented information systems analysis and design

  van de Weg, R. L. W. & Engmann, R. G. R., 1992, Information systems concepts: improving the understanding, Proc. IFIP TC8/WG 8.1 Working Conf., Alexandria (Egypt). North Holland, p. 123-146 24 p.

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

• A fractal fragmentation model for rockfalls

  Ruiz-Carulla, R., Corominas, J. & Mavrouli, O. C., 2017, In: Landslides. 14, 3, p. 875-889 15 p.

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

• A fractal analysis method to characterise rock joint morphology

  Guida, G., Casini, F. & Viggiani, G. M. B., 6 Sep 2021, In: IOP conference series: Earth and environmental science. 833, 1, 7 p., 012067.

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

  Open Access

  File

• AFPM 2016 Abstract Book

  Grijpma, D. W. & ten Hoopen, H. W. M., 2016, Enschede: University of Twente.

  Research output: Book/Report › Book editing › Popular

• AFPM 2011 Abstract Book

  Grijpma, D. W., Lendlein, A. & ten Hoopen, H. W. M., 2011, Enschede: UT Universiteit Twente, Biomaterials Science and Technology/TNW. 113 p.

  Research output: Book/Report › Book editing › Popular

• Afpersing door Oost-Europeanen

  Meershoek, G., 1996, Nijverdal: Internationaal Politie Instituut Twente (IPIT). 38 p.

  Research output: Book/Report › Report › Professional

• A four-quadrant CMOS analog multiplier

  Bult, K. & Wallinga, H., 1985, p. 296-301.

  Research output: Contribution to conference › Paper › Academic

  Open Access

  File
  128 Citations (Scopus)

  174 Downloads (Pure)

• A Four-phase Approach to a Timetabling Problem in Secondary Schools

  de Haan, P., Landman, R., Post, G. & Ruizenaar, H., 2006, Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling (PATAT). Burke, E. K. & Rudová, H. (eds.). Brno, The Czech Republic: Faculty of Informatics, Masaryk University, p. 423-425 3 p.

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

  Open Access

  File
  107 Downloads (Pure)

• A four particle velocity sensor device

  Yntema, D. R., Druyvesteyn, W. F. & Elwenspoek, M., 2006, In: Journal of the Acoustical Society of America. 119, 2, p. 943-951 9 p.

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

  Open Access

  File
  19 Citations (Scopus)

  440 Downloads (Pure)

• A Fourier spectral solver for confined Navier-Stokes flow

  Keetels, G. H., Clercx, H. J. H. & van Heijst, G. J. F., 2008, In: International journal for multiscale computational engineering. 6, 1, p. 53-63 11 p.

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

• A Fourier Domain Optical Coherence Tomography integrated into a slitlamp: a novel technique combining anterior and posterior segment OCT

  Stehouwer, M., Verbraak, F. D., de Vries, H. & van Leeuwen, T. G., 2010, In: Eye. 24, p. 980-984 5 p.

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

  1 Downloads (Pure)

• A Four-Amino Acid Linker between Repeats in the α-Synuclein Sequence Is Important for Fibril Formation

  Shvadchak, V. & Subramaniam, V., 2014, In: Biochemistry (USA). 53, 2, p. 279-281 7 p.

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

• A forward Look

  Sarewitz, D. & Rip, A., 2012, In: Minerva. 50, 2, p. 143-148

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

• A forward-body-bias tuned 450MHz Gm-C 3rd-order low-pass filter in 28nm UTBB FD-SOI with >1dBVp IIP3 over a 0.7-to-1V supply

  Lechevallier, J. B., Struiksma, R. E., Sherry, H., Cathelin, A., Klumperink, E. A. M. & Nauta, B., 23 Feb 2015, IEEE International Solid- State Circuits Conference, ISSCC 2015. Picataway, NJ: IEEE, p. 96-98 3 p.

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

  Open Access

  File
  16 Citations (Scopus)

  96 Downloads (Pure)

• A forthcoming key press can be selected while earlier ones are executed

  Verwey, W. B., 1995, In: Journal of motor behavior. 27, 3, p. 275-284

  Research output: Contribution to journal › Article › Academic

  Open Access

  File
  34 Citations (Scopus)

  10 Downloads (Pure)

• A formula for determination of the roughness height for turbulent heat transfer between the land surface and the atmosphere over bare soil surfaces

  Su, Z., Zhang, R., Sun, X., Zhu, Z. & Liu, S., 24 Nov 2003, IGARSS 2003: Proceedings 2003 IEEE International Geoscience and Remote Sensing Symposium. Piscataway, NJ: IEEE, p. 3202-3204 3 p.

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

• A formal theory of sets in Object Oriented Contexts

  Balsters, H. & de Vreeze, C. C., 1990, In: Memoranda informatica. 0, 74, p. - 12 p.

  Research output: Contribution to journal › Article › Professional

• A formal theory of conceptual modeling universals

  Guizzardi, G., Wagner, G. & van Sinderen, M. J., 2004, First International Workshop on Philosophy and Informatics, WSPI 2004. Büchel, G., Klein, B. & Roth-Berghofer, T. (eds.). Germany: Deutsche Forschnungszentrum fur Kunstliche Intelligenz Report, p. 10 10 p. (CEUR Workshop Proceedings; vol. 112).

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

  File
  83 Downloads (Pure)

• A Formal Study of the Privacy Concerns in Biometric-Based Remote Authentication Schemes

  Tang, Q., Bringer, J., Chabanne, H. & Pointcheval, D., Apr 2008, Information Security Practice and Experience, 4th International Conference, ISPEC 2008. Chen, L., Mu, Y. & Susilo, W. (eds.). London: Springer, p. 56-70 15 p. (Lecture Notes in Computer Science; vol. 4991, no. 08332).

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

  File
  42 Citations (Scopus)

  359 Downloads (Pure)

• A Formal Specification and Validation of a Safety Critical Railway Control System

  Gnesi, S., Latella, D., Lenzini, G., Amendola, A., Abbaneo, C. & Marmo, P., Apr 2000. 25 p.

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

  File
  7 Downloads (Pure)

• A Formal Specification and Validation of a Control System in Presence of Byzantine Errors

  Gnesi, S., Latella, D., Lenzini, G., Abbaneo, C., Amendola, A. & Marmo, P., Mar 2000, Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 – April 2, 2000, Proceedings. Graf, S. & Schwartzbach, M. (eds.). Berlin, Heidelberg: Springer, p. 535-549 15 p. (Lecture Notes in Computer Science; vol. 1785).

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

• A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models

  Eshuis, H. & Wieringa, R. J., Feb 2001, Centre for Telematics and Information Technology (CTIT). 44 p. (CTIT Technical Report Series; no. 01-04)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  1394 Downloads (Pure)

• A formal semantic model to fit SIL for transformational design

  Huijs, C. & Krol, T., 19 Dec 1994, The 20th Euromicro Conference. Liverpool, United Kingdom, p. 100-107

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

  1 Citation (Scopus)

• A Formal Security Analysis of an OSA/Parlay Authentication Interface

  Corin, R., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (CTIT Technical Report Series; no. TR-CTIT-05-62)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  2 Citations (Scopus)

  72 Downloads (Pure)

• A Formal Security Analysis of an OSA/Parlay Authentication Interface

  Corin, R., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., Jun 2005, Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings. Steffen, M. & Zavattaro, G. (eds.). Berlin, Heidelberg: Springer, p. 131-146 16 p. (Lecture Notes in Computer Science; vol. 3535).

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

  Open Access

  File
  9 Downloads (Pure)

• A Formal Product-Line Engineering Approach for Schedulers

  Orhan, G., Aksit, M. & Rensink, A., Nov 2017, SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22).

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

  Open Access

• A Formal Model of a Car Periphery Supervision System in UPPAAL

  Gebremichael, B., Krilavicius, T. & Usenko, Y. S., 2004, Proc. of Workshop on Discrete Event Systems (WODES'04). Reims, France, p. - 438 p.

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

• A Formal Model for Code Generation

  Veldhuijzen van Zanten, G. E. & Veldhuijzen van Zanten, G. E., 24 Sep 1992, Enschede: Twente University Press (TUP). 149 p.

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

• A formal MDA approach for mobile health systems

  Jones, V., Rensink, A., Ruys, T., Brinksma, E. & van Halteren, A., Sep 2004, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. Akehurst, D. H. (ed.). University of Kent, p. 28-35 8 p. (Technical Report; no. 17-04).

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

  Open Access

  File
  25 Downloads (Pure)

• A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

  Law, Y. W., Corin, R. J., Etalle, S. & Hartel, P. H., Mar 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-03-07)

  Research output: Book/Report › Report › Other research output

  File
  24 Citations (Scopus)

  60 Downloads (Pure)

• A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

  Law, Y. W., Corin, R., Etalle, S. & Hartel, P. H., Sep 2003, Personal Wireless Communications: IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003. Proceedings. Conti, M., Giordano, S., Gregori, E. & Olariu, S. (eds.). Berlin: Springer, p. 27-39 13 p. (Lecture Notes in Computer Science; vol. 2775).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
  41 Downloads (Pure)

• A Formalization of Triggering Rules

  Balsters, H., Fokkinga, M. M. & van Rein, H., 1996, Enschede: Universiteit Twente.

  Research output: Book/Report › Report › Professional

• A Formalization of the LLL Basis Reduction Algorithm

  Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 4 Jul 2018, Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895).

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

  Open Access

  File
  4 Citations (Scopus)

  83 Downloads (Pure)

• A formalization of the Berlekamp-Zassenhaus factorization algorithm

  Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2017, CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery (ACM), p. 17-29 13 p.

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

• 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
  312 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)