Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Activities

Evaluation committee for John Knudsen (External organisation)

Brian Nielsen (Member)
30 Sep 200910 Dec 2009

Activity: MembershipsMembership of review committee

Towards the Realization of Transaction Time Database Systems

Christian Søndergaard Jensen (Lecturer)
20 Feb 1991

Activity: Talks and presentationsTalks and presentations in private or public companies

Indexing the Current and Anticipated Future Positions of Moving Objects

Christian Søndergaard Jensen (Lecturer)
8 Jul 2002

Activity: Talks and presentationsTalks and presentations in private or public companies

Capture of Network-Constrained Moving Objects-A Foundation for Mobile Services

Christian Søndergaard Jensen (Lecturer)
19 Nov 2003

Activity: Talks and presentationsTalks and presentations in private or public companies

Data Management for Moving Objects

Christian Søndergaard Jensen (Lecturer)
20 Nov 2003

Activity: Talks and presentationsTalks and presentations in private or public companies

Mobile E-Services

Christian Søndergaard Jensen (Lecturer)
18 Dec 2001

Activity: Talks and presentationsTalks and presentations in private or public companies

Management of Temporal Data-with Focus on the Support for 'now'

Christian Søndergaard Jensen (Lecturer)
7 Sep 2000

Activity: Talks and presentationsTalks and presentations in private or public companies

Truth, Provability and Metamathematics

Radu Iulian Mardare (Lecturer)
Nov 2012

Activity: Talks and presentationsTalks and presentations in private or public companies

Data Warehousing and Temporal Data Management

Christian Søndergaard Jensen (Other)
1 Oct 2001 → …

Activity: Talks and presentationsExternal teaching and course activities at other universities

Data Warehousing

Christian Søndergaard Jensen (Lecturer)
4 Apr 2000

Activity: Talks and presentationsTalks and presentations in private or public companies

Temporal Specialization

Christian Søndergaard Jensen (Lecturer)
31 Jan 1992

Activity: Talks and presentationsTalks and presentations in private or public companies

Linkoping University, Department of Computer and Information Science (External organisation)

Christian Søndergaard Jensen (Member)
1 Jan 1999 → …

Activity: MembershipsMembership of review committee

Corps of evaluators, Frodskaparsetur Føroya (External organisation)

Christian Søndergaard Jensen (Member)
1 Jan 199131 Dec 2008

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

National Danish Database Workshop

Christian Søndergaard Jensen (Organizer)
15 Jun 199816 Jun 1998

Activity: Attending an eventConference organisation or participation

NWPT07 : The 19th Nordic Workshop on Programming Theory

Kim Guldstrand Larsen (Participant)
10 Oct 200712 Oct 2007

Activity: Attending an eventConference organisation or participation

1st International Conference on Runtime Verification : PC Member

Brian Nielsen (Organizer)
11 Jan 20104 Nov 2010

Activity: Attending an eventConference organisation or participation

CEUR Workshop Proceedings (Journal)

Jan Stage (Editor)
24 Aug 2009 → …

Activity: Editorial work and peer reviewJournal editorCommunication

Research Overview and Vacuuming of Temporal Databases

Christian Søndergaard Jensen (Lecturer)
17 Jan 1994

Activity: Talks and presentationsTalks and presentations in private or public companies

The 7th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC-09)

Brian Nielsen (Organizer)
19 Feb 200931 Aug 2009

Activity: Attending an eventConference organisation or participation

Embedded Systems Workshop : ESI en STW Progress

Kim Guldstrand Larsen (Participant)
17 Oct 200720 Oct 2007

Activity: Attending an eventConference organisation or participation

Modeling, Testing, and Validation 2007

Brian Nielsen (Other)
16 Apr 200717 Apr 2007

Activity: Talks and presentationsExternal teaching and course activities at other universities

Generalized Updates in R-Trees

Christian Søndergaard Jensen (Lecturer)
16 Jan 2004

Activity: Talks and presentationsTalks and presentations in private or public companies

Scandinavian Conference on Information Systems

Jacob Nørbjerg (Organizer)
10 Aug 201413 Aug 2014

Activity: Attending an eventConference organisation or participation

Test, Modeling, and Verification of Embedded Systems

Brian Nielsen (Other)
17 Aug 200618 Aug 2006

Activity: Talks and presentationsExternal teaching and course activities at other universities

University of Stuttgart

Tobias Skovgaard Jepsen (Visiting researcher)
29 Sep 201921 Dec 2019

Activity: Visiting another research institution

IDEA4CPS Workshop

Mikkel Hansen (Participant)
30 Nov 20152 Dec 2015

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

Computer Engineering Laboratory, IMAG Institute, University of Grenoble (External organisation)

Christian Søndergaard Jensen (Member)
1 Jun 2000 → …

Activity: MembershipsMembership of review committee

IEEE International Conference on Data Engineering

Christian Søndergaard Jensen (Participant)
1 Apr 19983 Apr 1998

Activity: Attending an eventConference organisation or participation

AnnMarie Ericsson (External organisation)

Brian Nielsen (Member)
1 Mar 200916 Jun 2009

Activity: MembershipsMembership of review committee

Introduction to Logic and Model Theory

Radu Iulian Mardare (Lecturer)
Nov 2011Dec 2011

Activity: Talks and presentationsTalks and presentations in private or public companies

MOTIVES 07 : Testing and verification for embedded systems.

Kim Guldstrand Larsen (Participant)
19 Feb 200723 Feb 2007

Activity: Attending an eventConference organisation or participation

IT University of Copenhagen (External organisation)

Christian Søndergaard Jensen (Member)
1 Sep 200031 May 2001

Activity: MembershipsMembership of review committee

Model-Based Testing of Real-Time Systems

Brian Nielsen (Lecturer)
30 Nov 2007

Activity: Talks and presentationsTalks and presentations in private or public companies

International Design for All Conference

Christian Thomsen (Speaker)
13 Sep 200615 Sep 2006

Activity: Talks and presentationsTalks and presentations in private or public companies

5th Workshop on Advances in Model Based Testing (A-MOST 2009)

Brian Nielsen (Organizer)
1 Sep 20084 Apr 2009

Activity: Attending an eventConference organisation or participation

Database Administration

Christian Søndergaard Jensen (Other)
11 Oct 19907 Nov 1990

Activity: Talks and presentationsExternal teaching and course activities at other universities

Temporal Database Management

Christian Søndergaard Jensen (Lecturer)
15 Oct 1995

Activity: Talks and presentationsTalks and presentations in private or public companies

Data Management for Mobile Services in the Real World

Christian Søndergaard Jensen (Lecturer)
26 Jul 2003

Activity: Talks and presentationsTalks and presentations in private or public companies

Indexing of On-Line Moving Objects and Other M-Challenges

Christian Søndergaard Jensen (Lecturer)
12 May 2000

Activity: Talks and presentationsTalks and presentations in private or public companies

Center for Intelligent Transport Systems, Aalborg University (External organisation)

Christian Søndergaard Jensen (Member)
1 Jan 2004 → …

Activity: MembershipsMembership of committees, commissions, boards, councils, associations, organisations, or similar

Lektorbedømmelsesudvalg, Stillingsnr 073007, Syddansk Universitet (External organisation)

Brian Nielsen (Member)
25 Jun 200721 Sep 2007

Activity: MembershipsMembership of review committee

ACM SIGMOD Digital Review (Journal)

Christian Søndergaard Jensen (Editor)
1 May 1999 → …

Activity: Editorial work and peer reviewJournal editorCommunication

Navigo Systems A/S

Christian Søndergaard Jensen (Consultant)
1 Jul 2000 → …

Activity: Public/private sector consultancy and other employmentConsultancy

Model-based Testing and Validation of Real-Time Systems

Brian Nielsen (Lecturer)
26 Jun 2006

Activity: Talks and presentationsTalks and presentations in private or public companies

22 IFIP Conference on International Conference on Testing Software and Systems

Brian Nielsen (Organizer)
11 Jan 20101 Nov 2010

Activity: Attending an eventConference organisation or participation

Unit testing and coverage analysis

Brian Nielsen (Other)
29 May 2006

Activity: Talks and presentationsExternal teaching and course activities at other universities

Data Modeling and Nearest-Neighbor Querying for Network-Constrained Moving Objects

Christian Søndergaard Jensen (Lecturer)
15 Jul 2002

Activity: Talks and presentationsTalks and presentations in private or public companies

Dralle ApS

Christian Søndergaard Jensen (Consultant)
1 Aug 2002 → …

Activity: Public/private sector consultancy and other employmentConsultancy

International Symposium on Mathematical Foundations of Computer Science (Event)

Kim Guldstrand Larsen (Peer reviewer), Hans L. Bodlaender (Editor), Jean-François Raskin (Editor)
21 Aug 201725 Aug 2017

Activity: Editorial work and peer reviewSeries editorResearch