Agathe Merceron

Majd Edriss

Proceedings of the DeLFI 2018, 2018

On the Emergence of Typical Behaviours in LMS.

[BibT_eX]

[DOI]

Christopher Krauss

Proceedings of the Proceedings der Pre-Conference-Workshops der 16. E-Learning Fachtagung Informatik co-located with 16th e-Learning Conference of the German Computer Society (DeLFI 2018), 2018

2017

Analyzing undergraduate students' performance using educational data mining.

[BibT_eX]

[DOI]

Comput. Educ., 2017

Teaching Advanced Web Technologies with a Mobile Learning Companion Application.

[BibT_eX]

[DOI]

Proceedings of the 16th World Conference on Mobile and Contextual Learning, 2017

Can Typical Behaviors Identified in MOOCs be Discovered in Other Courses?

[BibT_eX]

[DOI]

Christopher Krauss

Proceedings of the 10th International Conference on Educational Data Mining, 2017

Ein Chatbot für die Erstellung von Übungsaufgaben im ELearning.

[BibT_eX]

[DOI]

Proceedings of the Bildungsräume 2017: DeLFI 2017, 2017

Eine Middleware Infrastruktur für das Teilen von Lerndaten und Diensten zwischen Bildungseinrichtungen.

[BibT_eX]

[DOI]

François Dubois

Proceedings of the Bildungsräume 2017: DeLFI 2017, 2017

2016

Learning Analytics: From Big Data to Meaningful Data.

[BibT_eX]

[DOI]

Paulo Blikstein

George Siemens

J. Learn. Anal., February, 2016

Supervised Speech Act Classification of Messages in German Online Discussions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

Digitale Infrastruktur und Learning Analytics im Co-Design.

[BibT_eX]

[DOI]

Proceedings of the Proceedings der Pre-Conference-Workshops der 14. E-Learning Fachtagung Informatik co-located with 14th e-Learning Conference of the German Computer Society (DeLFI 2016), 2016

2015

Wearable Learning for Healthy Ageing through Creative Learning: A Conceptual Framework in the project "Fitness MOOC" (fMOOC).

[BibT_eX]

[DOI]

IxD&A, 2015

Investigating performance of students: a longitudinal study.

[BibT_eX]

[DOI]

Raheela Asif

Mahmood Khan Pathan

Proceedings of the Fifth International Conference on Learning Analytics And Knowledge, 2015

Designing for User Engagement in Wearable-technology Enhanced Learning for Healthy Ageing.

[BibT_eX]

[DOI]

Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

Pedagogy sharing in the PROMIS project.

[BibT_eX]

[DOI]

Heike Ripphausen-Lipa

Kestutis Kapocius

Arto Toppinen

Proceedings of the IEEE Global Engineering Education Conference, 2015

Teacher-Student Classroom Interactions: A Computational Approach.

[BibT_eX]

[DOI]

Arnon Hershkovitz

Amran Shamaly

Proceedings of the 8th International Conference on Educational Data Mining, 2015

Smart Learning: Der digitale Lernbegleiter für die berufliche Bildung.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2015, 2015

Educational Data Mining / Learning Analytics: Methods, Tasks and Current Trends.

[BibT_eX]

[DOI]

Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015), 2015

OSAI: Ein Tool zur Themenanalyse in Lernraum-Foren.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2015, 2015

2014

Connecting Analysis of Speech Acts and Performance Analysis - An Initial Study.

[BibT_eX]

[DOI]

Proceedings of the Workshops at the LAK 2014 Conference co-located with 4th International Conference on Learning Analytics and Knowledge (LAK 2014), 2014

Lehren mit Learning Analytics - erste Erfahrungen mit dem Tool LeMolena.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2014, 2014

Investigating Performances's Progress of Students.

[BibT_eX]

[DOI]

Raheela Asif

Mahmood K. Pathan

Proceedings of DeLFI Workshops 2014 co-located with 12th e-Learning Conference of the German Computer Society (DeLFI 2014), 2014

2013

The Learning an Alytics Application LeMo - Rationalsand First Results.

[BibT_eX]

[DOI]

Int. J. Comput., 2013

LeMo: A learning analytics application focussing on user path analysis and interactive visualization.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems, 2013

Training sessions in a Master degree "Informatics as a Second Competence".

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2013

Visual Exploration of Interactions and Performance with LeMo.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Educational Data Mining, 2013

Learning Analytics und Visualisierung mit dem LeMo-Tool.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2013, 2013

2012

Faculty Development and Quality Assurance in the EU ERAMIS Project.

[BibT_eX]

[DOI]

Int. J. Eng. Pedagog., 2012

Investigating the core group effect in usage of resources with analytics.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Learning Analytics and Knowledge, 2012

Prototyp einer plattformunabhängigen Learning Analytics Applikation - fokussiert auf Nutzungsanalyse und Pfadanalyse.

[BibT_eX]

[DOI]

ELES, 2012

Faculty development in the EU ERAMIS project.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2012

European-Russian-central asian network of Master's degree "Informatics as a Second Competence".

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2012

Learning Paths in a Non-Personalizing e-Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Educational Data Mining, 2012

2011

Investigating Usage of Resources in LMS with Specific Association Rules.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Educational Data Mining, 2011

2010

Vicinity Respecting Homomorphisms for Abstracting System Requirements.

[BibT_eX]

[DOI]

Jörg Desel

Trans. Petri Nets Other Model. Concurr., 2010

When Data Exploration and Data Mining meet while Analysing Usage Data of a Course.

[BibT_eX]

[DOI]

André Krüger

Benjamin Wolf

Proceedings of the Educational Data Mining 2010, 2010

A Data Model to Ease Analysis and Mining of Educational Data.

[BibT_eX]

[DOI]

André Krüger

Benjamin Wolf

Proceedings of the Educational Data Mining 2010, 2010

Leichtere Datenanalyse zur Optimierung der Lehre am Beispiel Moodle.

[BibT_eX]

[DOI]

André Krüger

Benjamin Wolf

Proceedings of the DeLFI 2010, 2010

2009

Design patterns to support teaching of automata theory.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

2008

Interestingness Measures for Associations Rules in Educational Data.

[BibT_eX]

[DOI]

Kalina Yacef

Proceedings of the Educational Data Mining 2008, 2008

2006

Parametric Verification of a Group Membership Algorithm.

[BibT_eX]

[DOI]

Ahmed Bouajjani

Theory Pract. Log. Program., 2006

2005

Educational Data Mining: a Case Study.

[BibT_eX]

[DOI]

Kalina Yacef

Proceedings of the Artificial Intelligence in Education, 2005

2001

Component-based Verification in a Synchronous Setting.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2001

Specifying and verifying reactive systems in a multi-language environment.

[BibT_eX]

[DOI]

Monika Müllerburg

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

The logic tutor.

[BibT_eX]

[DOI]

Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2001

Proving "no Cliques" in a Protocol.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000

Refinement and Modular Verification with Observers.

[BibT_eX]

[DOI]

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

1998

Verifying a Time-Triggered Protocol in a Multi-language Environment.

[BibT_eX]

[DOI]

Monika Müllerburg

Proceedings of the Computer Safety, 1998

1996

Formal Verification as a Design Tool - The Transponder Lock Example.

[BibT_eX]

[DOI]

Reinhard Budde

Karl-Heinz Sylla

Proceedings of the 15th International Conference on Computer Safety, 1996

1995

Systematic testing and formal verification to validate reactive programs.

[BibT_eX]

[DOI]

Softw. Qual. J., 1995

1989

Vicinity respecting net morphisms.

[BibT_eX]

[DOI]

Jörg Desel

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

P/T-systems as abstractions of C/E-systems.

[BibT_eX]

[DOI]

Jörg Desel

Proceedings of the Advances in Petri Nets 1989, 1988

1986

Fan processes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1987, 1986

1984

Frozen tokens and D-continuity: A study in relating system properties to process properties.

[BibT_eX]

[DOI]

Eike Best

Proceedings of the Advances in Petri Nets 1984, 1984

Concurrency axioms and D-continuous posets.

[BibT_eX]

[DOI]

Eike Best

Proceedings of the Advances in Petri Nets 1984, 1984

1983

Discreteness, k-density and d-continuity of occurrence nets.

[BibT_eX]

[DOI]

Eike Best