Department of Mathematics and Computer Science

Research Output

Filter
Conference contribution

/facet : A browser for heterogeneous Semantic Web repositories

Hildebrand, M., Ossenbruggen, van, J. R. & Hardman, H. L., 2006, The Semantic Web - ISWC 2006 (Proceedings 5th International Conference, Athens GA, USA, November 5-9, 2006). Cruz, I., Decker, S. & Allemang, D. (eds.). Berlin: Springer, p. 272-285 (Lecture Notes in Computer Science; vol. 4273).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

99 Citations (Scopus)
2 Downloads (Pure)

(co-)evolution in MDSE ecosystems

Mengerink, J. G. M., 2014, Benevol 2014 (Seminar on Software Evolution in Belgium and the Netherlands, Amsterdam, The Netherlands, November 27-28, 2014). Bruntink, M. & Storm, T. (eds.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 1-2

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
128 Downloads (Pure)

(In)consistency of extensions of higher order logic and type theory

Geuvers, J. H., 2007, Revised Selected Papers of the International Workshop on Types for Proofs and Programs (TYPES 2006) 18-21 April 2006, Nottingham, United Kingdom. Altenkirsch, T. & McBride, C. (eds.). Berlin: Springer, p. 140-159 (Lecture Notes in Computer Science; vol. 4502).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
70 Downloads (Pure)

(In)equivalence of discrete time LPV state-space and input/output representations

Toth, R., Heuberger, P. S. C. & Hof, Van den, P. M. J., 2007, Proceedings of the 26th Benelux Meeting on Systems and Control, 13-15 March 2007, Lommel, Belgium. p. 34-34

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Downloads (Pure)

(Relational) programming laws in the boom hierarchy of types

Hoogendijk, P. F., 1993, Mathematics of Program Construction (Proceedings 2nd International Conference, Oxford, UK, June 29-July 2, 1992). Bird, R. S., Morgan, C. & Woodcock, J. (eds.). Berlin: Springer, p. 163-190 (Lecture Notes in Computer Science; vol. 669).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

{0,1,*} distance problems in combinatorics

van Lint, J. H., 1985, Surveys in combinatorics 1985 : invited papers for the tenth British Combinatorial Conference, Glasgow, UK, July 22-26, 1985). Anderson, I. (ed.). Cambridge: Cambridge University Press, p. 113-135 (London Mathematical Society Lecture Note Series; vol. 103).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
69 Downloads (Pure)

$GL_4$-orbits in a 16-dimensional module over chararteristic 3

Cohen, A. M. & Wales, D. B., 1997, Proceedings of the Organic Math Workshop (Vancouver, Canada, December 1995), Canadian Mathematical Society Conference Proceedings, 20 (electronic). p. 155-173

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

$H_\infty$ control with state feedback

Stoorvogel, A. A., 1990, Robust Control of Linear Systems and Nonlinear Control (Proceedings of the International Symposium on Mathematical Theory of Networks and Systems, MTNS-89, Amsterdam, The Netherlands, June 19-23, 1989). Kaashoek, M. A. (ed.). Basel: Birkhäuser Verlag, Vol. 2. p. 347-354 (Progress in Systems and Control Theory; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

$H_2$ and $H_\infty$ performance with regulation constraints

Stoorvogel, A. A. & Saberi, A., 1997, Proceedings 13th IFAC World Congress (San Francisco, USA, June 30-July 5, 1996), CD-ROM. Gertler, J. J., Cruz, J. B. & Peshkin, M. (eds.). Pergamon, p. 261-266

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

$H_2$ optimal controllers with measurement feedback for discrete-time systems - flexibility in closed-loop pole placement

Saberi, A., Sannuti, P. & Stoorvogel, A. A., 1996, Proceedings 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 2006). Institute of Electrical and Electronics Engineers, p. 2330-2335 6 p. 573127

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

$l_1$ state estimation for linear systems using non-linear observers

Stoorvogel, A. A., 1996, Proceedings 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 1996). Institute of Electrical and Electronics Engineers, p. 2407-2411 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

µCRL : a toolset for analysing algebraic specifications

Blom, S. C. C., Fokkink, W. J., Groote, J. F., Langevelde, van, I., Lisser, B. & Pol, van de, J. C., 2001, Computer Aided Verification (Proceedings 13th International Conference, CAV 2001, Paris, July 18-22, 2001). Berry, G., Comon, H. & Finkel, A. (eds.). Berlin: Springer, p. 250-254 (Lecture Notes in Computer Science; vol. 2102).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

88 Citations (Scopus)

11,700 km transmission at 4.8 bit/4D-sym via four-dimensional geometrically-shaped polarization-ring-switching modulation

van der Heide, S., Chen, B., van den Hout, M., Liga, G., Koonen, T., Hafermann, H., Alvarado, A. & Okonkwo, C., 1 Jul 2019, OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019. Piscataway: Institute of Electrical and Electronics Engineers, 3 p. 8817687

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Downloads (Pure)

112 Gb/s PAM-4 transmission over 1.5 km with an EAM in generic integration platform

Trajkovic, M., Benyahya, K., Simonneau, C., Blache, F., Debregeas, H., Provost, J. G., Williams, K. A. & Leijtens, X. J. M., 1 Jul 2019, OECC/PSC 2019 - 24th OptoElectronics and Communications Conference/International Conference Photonics in Switching and Computing 2019. Piscataway: Institute of Electrical and Electronics Engineers, 3 p. 8817746

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

13th International Workshop on Business Process Intelligence (BPI 2017)

van Dongen, B. F., De Weerdt, J., Burattin, A. & Claes, J., 2018, Business Proces Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Paper. Teniente, E. & Weidlich, M. (eds.). Springer, p. 161-164 4 p. (Lecture Notes in Business Information Processing; vol. 308).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
16 Downloads (Pure)

24-dimensional rate-flexible carrierless and amplitude phase modulation for 100G IM-DD transmission using 850nm VCSEL

Lu, X., Zibar, D. & Monroy, I. T., 14 Nov 2018, 2018 European Conference on Optical Communication, ECOC 2018. Piscataway: Institute of Electrical and Electronics Engineers, 3 p. 8535573

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

2D/3D switchable displays

Dekker, T., Zwart, de, S. T., Willemsen, O. H., Hiddink, M. G. H. & IJzerman, W. L., 2006, Liquid Crystal Materials, Devices, and Applications XI. Chien, L-C. (ed.). Bellingham: SPIE, p. 61350K- (Proceedings of SPIE; vol. 6135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
3 Downloads (Pure)

2D/3D switchable displays

Dekker, T., Zwart, de, S. T. & IJzerman, W. L., 2006, 5th International Meeting on Information Display (Seoul, South Korea, July 19-23, 2005). p. 31-35

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

2D/3D switchable displays

Willemsen, O. H., Zwart, de, S. T., IJzerman, W. L., Hiddink, M. G. H. & Dekker, T., 2006, Photonics in multimedia, Strasbourg, France. Tervonen, A., Kujawinska, M., Ijzerman, W. & Smet, de, H. (eds.). SPIE, p. 61960H- (Proceedings of SPIE; vol. 6196).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)

2L670: A flexible adaptive hypertext courseware system

De Bra, P. M. E. & Calvi, L., 1998, Proceedings of the 9th ACM Conference on Hypertext and Hypermedia (Pittsburgh PA, USA, June 20-24, 1998). Association for Computing Machinery, Inc, p. 283-284

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

3D computational steering with parametrized geometric objects

Mulder, J. D. & Wijk, van, J. J., 1995, Proceedings IEEE Visualization '95 (Atlanta GA, USA, October 29-November 3, 1995). IEEE Computer Society, p. 304-311

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)

3D digital dossiers: a new way of presenting cultural heritage on the web

Eliëns, A., Wang, Y., Riel, van, C. & Scholte, T., 2007, Proceedings 12th International Conference on 3D Web Technology (Wed3D'07, Perugia, Italy, April 2007). New York: Association for Computing Machinery, Inc, p. 157-160

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

3D IBFV : hardware-accelerated 3D flow visualization

Telea, A. C. & Wijk, van, J. J., 2003, Proceedings IEEE Visualization 2003 (Seattle WA, USA, October 19-24, 2003). Piscataway CA: Institute of Electrical and Electronics Engineers, p. 233-240

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

46 Citations (Scopus)
1 Downloads (Pure)

3D multigrid on partially ordered sets of grids

Hemker, P. W., Koren, B. & Noordmans, J., 1997, Proceedings of the 28th Computational Fluid Dynamics; 3-7 March 1997, Von Karman Institute for Fluid Dynamics Rhode-Saint Genese. Deconinck, H. (ed.). Rhode-Saint-Genèse: Von Karman Institute for Fluid Dynamics, (VKI LS; vol. 1997-02).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3D multigrid on partially ordered sets of grids

Hemker, P. W., Koren, B. & Noordmans, J., 1998, Multigrid Methods V (Proceedings of the Fifth European Multigrid Conference, Stuttgart, Germany, October 1-4, 1996). Hackbusch, W. & Wittum, G. (eds.). Berlin: Springer, p. 107-124 (Lecture Notes in Computational Science and Engineering; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3D saddle point detection and applications in cardiac imaging

Fuster, A., Pelt, van, R. F. P., Fick, R. H. J., Claassen, G. G. H., Haar Romeny, ter, B. M., Assen, van, H. C. & Florack, L. M. J., 2012, IEEE International Symposium on Biomedical Imaging (ISBI 2012, Barcelona, Spain, May 2-5, 2012). Institute of Electrical and Electronics Engineers, p. 808-811

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

3rd International Workshop on Data-and Artifact-Centric BPM (DAB 2014): Introduction to DAB2014

Fahland, D., Limonad, L. & Vaculín, R., 1 Jan 2015, Business Process Management Workshops BPM 2014 International Workshops, Revised Papers. Fahland, D., Limonad, L. & Vaculin, R. (eds.). Springer, p. xxiii-xxiv (Lecture Notes in Business Information Processing; vol. 202).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

55GHz EAM bandwidth and beyond in InP active-passive photonic integration platform

Trajkovic, M., Blache, F., Debregeas, H., Augustin, L. M., Haan, E. D., Williams, K. A. & Leijtens, X. J. M., 6 Aug 2018, 2018 Conference on Lasers and Electro-Optics, CLEO 2018 - Proceedings. Institute of Electrical and Electronics Engineers, 8427071

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
5 Downloads (Pure)

5G mm wave networks leveraging enhanced fiber-wireless convergence for high-density environments: the 5G-PHOS approach

Papaioannou, S., Kalfas, G., Vagionas, C., Maniotis, P., Miliou, A., Pleros, N., Neto, L. A., Chanclor, P., Haj-Ali, M., Bakopoulos, P., Caillaud, C., Debregeas, H., Sirbu, M. B., Eichhammer, Y., Theodoropoulou, E., Lyberopoulos, G., Kartsakli, E., Vardakas, J., Torfs, G., Yin, X. & 15 others, Tsagkaris, K., Demestichas, P., Giannoulis, G., Avramopoulos, H., Lentaris, G., Varvarigos, E., Tafur Monroy, I., Dayan, E., Leiba, Y., Dimogiannis, I., Kontogiannis, A., Magri, R., Tartaglia, A., Roeloffzen, C. G. H. & Oldenbeuving, R. M., 14 Aug 2018, 2018 IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2018. Piscataway: IEEE Computer Society, 8436713

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

64Gb/s electro absorption modulator operation in InP-based active-passive generic integration platform

Trajkovic, M., Blache, F., Jorge, F., Mekhazni, K., Provost, J. G., Debregeas, H., den Haan, E., Augustin, L. M., Williams, K. & Leijtens, X., 14 Nov 2018, 2018 European Conference on Optical Communication, ECOC 2018. Piscataway: Institute of Electrical and Electronics Engineers, 3 p. 8535339

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

9th Workshop for PhD Students in Object Oriented Systems

Rashid, A., Parsons, D. & Telea, A. C., 1999, Object-Oriented Technology, ECOOP'99 Workshop Reader (ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999). Moreira, A. & Demeyer, S. (eds.). Berlin: Springer, p. 116-135 (Lecture Notes in Computer Science; vol. 1743).

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

A. Isebree Moens and D.J. Korteweg : on the speed of propagation of waves in elastic tubes

Tijsseling, A. S. & Anderson, A., 2012, Proceedings of the 11th International Conference on Pressure Surges (Lisbon, Portugal, October 24-26, 2012). Anderson, S. (ed.). BHR Group Limited, p. 227-245

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

A 0.34-571nW all-dynamic versatile sensor interface for temperature, capacitance, and resistance sensing

Xin, H., Andraud, M., Baltus, P. G. M., Cantatore, E. & Harpe, P. J. A., Sep 2019, ESSCIRC 2019 - IEEE 45th European Solid State Circuits Conference. Piscataway: Institute of Electrical and Electronics Engineers, p. 161-164 4 p. 8902918

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Downloads (Pure)

A 3-approximation algorithm for computing partitions with minimum stabbing number of rectilinear simple polygons

Abam, M. A., Aronov, B., Berg, de, M. T. & Khosravi Dehkordi, A., 2011, Abstracts 27th European Workshop on Computational Geometry (EuroCG 2011, Morschach, Switzerland, March 28-30, 2011). Zürich: ETH Zürich, p. 103-106

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
22 Downloads (Pure)

A 3-D indoor positioning method using a single compact base station

Dijk, E. O., Berkel, van, C. H., Aarts, R. M. & Loenen, van, E. J., 2004, Proceedings Second IEEE International Conference on Pervasive Computing and Communications (PerCom 2004, Orlando FL, USA, March 14-17, 2004). Los Alamitos CA: IEEE Computer Society, p. 101-110

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

20 Citations (Scopus)

A 52 µW heart-rate measurement interface fabricated on a flexible foil with A-IGZO TFTs

Zulqarnain, M., Stanzione, S., van der Steen, J. L. P. J., Gelinck, G. H., Myny, K., Abdinia, S. & Cantatore, E., 16 Oct 2018, ESSCIRC 2018 - IEEE 44th European Solid State Circuits Conference. Piscataway: Institute of Electrical and Electronics Engineers, p. 222-225 4 p. 8494298

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

A -81.6dBm sensitivity ultrasound transceiver in 65nm CMOS for symmetrical data-links

Berkol, G., Baltus, P. G. M., Harpe, P. J. A. & Cantatore, E., Sep 2019, ESSCIRC 2019 - IEEE 45th European Solid State Circuits Conference. PIscataway: Institute of Electrical and Electronics Engineers, p. 145-148 4 p. 8902921

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
32 Downloads (Pure)

Abadi & Lamport and Stark : Towards a proof theory for stuttering, dense domains and refinement mappings

Diepstraten, E. & Kuiper, R., 1990, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proceedings REX Workshop, Mook, The Netherlands, May 29-June 2, 1989). Bakker, de, J. W., Roever, de, W. P. & Rozenberg, G. (eds.). Berlin: Springer, p. 208-238 (Lecture Notes in Computer Science; vol. 430).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

A balancing act : analyzing a distributed lift system

Groote, J. F., Pang, J. & Wouters, A. G., 2001, Proceedings 2nd PROGRESS Workshop on Embedded Systems (Utrecht, The Netherlands, October 18, 2001). Karelse, F. (ed.). Utrecht: STW Technology Foundation, p. 59-66

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
46 Downloads (Pure)

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. (eds.). p. 35-48 (Electronic Notes in Theoretical Computer Science; vol. 242(1)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A Bayesian approach for disconnection management in mobile ad-hoc networks

Leoni, de, M., Mecella, M. & Russo, R., 2007, Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007, Paris, France, June 18-20, 2007). New York: IEEE Computer Society, p. 62-67

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)

A Bayesian approach to object recognition

Lieshout, van, M. N. M., 1991, Geometrical problems of image processing (Proceedings 5th Workshop, Georgenthal, Germany, March 11-15, 1991). Eckhardt, U., Hübler, A., Nagel, W. & Werner, G. (eds.). Berlin: Akademie Verlag, p. 185-190 (Research in Informatics; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A Bayesian model for anomaly detection in SQL databases for security systems

Drugan, M. M., 9 Feb 2017, 2016 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2016) Proceedings, , 6-9 December 2016, Athens, Greece. Red Hook: Curran Associates, 18 p. 7849905

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
169 Downloads (Pure)

A BDD-representation for the logic of equality and uninterpreted functions

Pol, van de, J. C. & Tveretina, O., 2005, Mathematical foundations of computer science : 30th international symposium, MFCS 2005, Gdansk, Poland, August 29-September 2, 2005 : proceedings. Jedrzejowicz, J. & Szepietowski, A. (eds.). Berlin: Springer, p. 769-780 (Lecture Notes in Computer Science; vol. 3618).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

A BDF-BEM scheme for modelling in viscous sintering

Vorst, van de, G. A. L. & Mattheij, R. M. M., 1992, Boundary Element Technology VII (Proceedings, Albuquerque NM, USA, June 3-5, 1992). Brebbia, C. A. & Ingber, M. S. (eds.). Southampton: Computational Mechanics Publications, p. 59-74

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A behavioral approach to $H_2$ optimal control

Weiland, S. & Stoorvogel, A. A., 2001, Proc. European Control Conference ECC 2001. p. 854-859

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A behavioral approach to LPV systems

Toth, R., Willems, J. C., Heuberger, P. S. C. & Hof, Van den, P. M. J., 2009, Proceedings of the European Control Conference, 23-26 August 2009, Budapest, Hungary. EUCA, p. 2015-2020

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
59 Downloads (Pure)

A behavioral approach to the $l_1$ optimal control problem

Stoorvogel, A. A. & Weiland, S., 1996, Proceedings of the 35th IEEE Conference on Decision and Control (Kobe, Japan, December 11-13, 1996). Institute of Electrical and Electronics Engineers, p. 1839-1844 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

A behavioral approach to the controlled system identification problem

Weiland, S. & Stoorvogel, A. A., 1999, Proceedings 38th IEEE Conference on Decision and Control (Phoenix AZ, USA, December 7-10, 1999). p. 90-95

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

A behavioral approach to the l-1 optimal control problem (invited)

Stoorvogel, A. A. & Weiland, S., 1996, Proc. 35th IEEE Conference on Decision and Control. p. 1839-1844

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review