Benutzerbeiträge von „Jutta.muelle@kit.edu“
3. Mai 2018
- 12:5412:54, 3. Mai 2018 Unterschied Versionen +1.333 Bytes Modellierung und Verifikation von Mehrgüterauktionen als Workflows am Beispiel eines Auktionsdesigns Keine Bearbeitungszusammenfassung aktuell
27. April 2018
- 15:4015:40, 27. Apr. 2018 Unterschied Versionen +176 Bytes N Modellierung und Verifikation von Mehrgüterauktionen als Workflows am Beispiel eines Auktionsdesigns Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Simon Dürr |email=simon.duerr8@googlemail.com |vortragstyp=Masterarbeit |betreuer=Jutta Mülle |termin=Institutsseminar/2018-05-18 |ku…“
9. März 2018
- 12:3312:33, 9. Mär. 2018 Unterschied Versionen +877 Bytes Creating Study Plans by Generating Workflow Models from Constraints in Temporal Logic Keine Bearbeitungszusammenfassung aktuell
5. Januar 2018
- 11:0411:04, 5. Jan. 2018 Unterschied Versionen +173 Bytes N Creating Study Plans by Generating Workflow Models from Constraints in Temporal Logic Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Marcel Groß |email=uddnw@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jutta Mülle |termin=Institutsseminar/2018-03-16 |kurzf…“
13. November 2017
- 09:5509:55, 13. Nov. 2017 Unterschied Versionen −12 Bytes Data-Flow Correctness and Compliance Verification for Data-Aware Workflows in Energy Markets Keine Bearbeitungszusammenfassung
10. November 2017
- 13:0513:05, 10. Nov. 2017 Unterschied Versionen −27 Bytes Data-Flow Correctness and Compliance Verification for Data-Aware Workflows in Energy Markets Keine Bearbeitungszusammenfassung
- 13:0413:04, 10. Nov. 2017 Unterschied Versionen +1.550 Bytes N Data-Flow Correctness and Compliance Verification for Data-Aware Workflows in Energy Markets Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Milena Nedelcheva |email=nedelcheva@outlook.com |vortragstyp=Diplomarbeit |betreuer=Jutta Mülle |termin=Institutsseminar/2017-11-24 |k…“
10. September 2017
- 03:1703:17, 10. Sep. 2017 Unterschied Versionen +2 Bytes Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht Keine Bearbeitungszusammenfassung
- 03:1603:16, 10. Sep. 2017 Unterschied Versionen −1 Byte Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht Keine Bearbeitungszusammenfassung
- 03:1503:15, 10. Sep. 2017 Unterschied Versionen 0 Bytes Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht Keine Bearbeitungszusammenfassung
- 03:1403:14, 10. Sep. 2017 Unterschied Versionen +21 Bytes Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht Keine Bearbeitungszusammenfassung
- 03:1003:10, 10. Sep. 2017 Unterschied Versionen +1.266 Bytes Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht Keine Bearbeitungszusammenfassung