Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Semantics Engineering & Materials Science
Graph in graph theory Mathematics
Costs Engineering & Materials Science
Testing Engineering & Materials Science
Experiments Engineering & Materials Science
Markov processes Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

No photo of Mehmet Akşit

Mehmet Akşit

19882015
No photo of Vincent Bloemen

Vincent Bloemen

20142017
No photo of Hendrik Brinksma

Hendrik Brinksma

19872017

Research Output 1988 2018

Color degree and monochromatic degree conditions for short properly colored cycles in edge-colored graphs

Fujita, S., Li, R. & Zhang, S. 1 Mar 2018 In : Journal of graph theory. 87, 3, p. 362-373 12 p.

Research output: Scientific - peer-reviewArticle

Cycle
Degree condition
Edge-colored graph
Vertex of a graph
Complete bipartite graph

Contract-based specification of embedded control systems

Oguz, O. 16 Feb 2018 Enschede. 216 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Specifications
Model checking
Hybrid systems
Embedded systems
Algebra

Properly colored cycles in edge-colored graphs

Li, R. 18 Jan 2018 Enschede. 153 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Cycle
Edge-colored graph
Directed graph
Graph in graph theory
Degree condition

Activities 1998 2016

Design and implementation of digital communication systems for victim-offender mediation

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
31 Aug 2016

Activity: Oral presentation

Design and implementatie van digitale communicatie systemen in slachtoffer-daderbemiddeling

Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Zebel, S. (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
16 Dec 2016

Activity: Invited talk

Slachtoffer-dader bemiddeling na strafbare feiten: onderzoek en innovatie

Zebel, S. (Speaker), Lisanne Ivanka Sylvia Antoinette van den Berg (Speaker), Stoelinga, M. I. A. (Speaker), Haverkort, B. R. (Speaker), Giebels, E. (Speaker)
4 Oct 2016

Activity: Oral presentation