Informatik-Seminar

Winter 2024/25

1. Empirical Study of Usage and Performance of Java Collections
   Costa et al., ICPE 2017
 
Link zum Paper


2. A Mathematical Model of the Finding of Usability Problems 
   Nielsen and Landauer, INTERCHI 1993

Link zum Paper

3. Geffert Normalformen

V. Geffert hat in seiner Arbeit Normal forms for phrase-structure grammars. RAIRO Informatique theorique et Applications/Theoretical Informatics and Applications 25, 473-498 (1991) erklärt, wie alle rekursiv aufzählbaren Sprachen mit "nur sehr wenigen nicht-kontextfreien Regeln" und mit "nur sehr wenigen Nichtterminalen" beschrieben werden können.

4. Separatortheoreme f\"ur Graphen aus Schnittmodellen

J. Fox und J. Pach haben in ihrer Arbeit
Separator theorems and Turan-type results for planar
intersection graphs. Advances in Mathematics 219, 1070-1080 (2008) beschrieben, dass es Separatortheoreme wie das bekannte von Lipton und Tarjan allgemeiner für Graphen gibt, die mit Schnittmodellen beschrieben werden können.

5. On 3-Coloring Circle Graphs 

Link zum Paper


6. Minimum-cost paths for electric carsi

Link zum Paper


7. Anarchy in the APSP: Algorithm and Hardness for Incorrect Implementation of Floyd-Warshall

Link zum Paper

8.  Efficient Planarity Testing (John Hopcroft and Robert Tarjan)
Journal of the ACM, Vol. 21, No. 4, 1974

Link zum Paper

9.Zachary Eberhart, Collin McMillan:
   Generating Clarifying Questions for Query Refinement in Source Code Search. 

Link zum Paper


10. Carlos Gemmel et al.: 
    GRILLBot: A flexible conversational agent for solving complex real-world tasks. 

Link zum Paper

11. The Error Landscape: Characterizing the Mistakes of Novice Programmers.
Smith, R., & Rixner, S. (2019, February). In Proceedings of the 50th ACM technical symposium on computer science education (pp. 538-544).

12. Mathematical Versus Computational Thinking with a Computer in the Background.
Syslo, M. M. (2024, October). In International Conference on Creative Mathematical Sciences Communication (pp. 147-161). Cham: Springer Nature Switzerland.

13. Das Windows Subsystem for Linux

Link zum Paper

 
14.  Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems

Link zum Paper

15. Eyes on the Task 
    Gaze Analysis of Situated Visualization for Collaborative Tasks 

Link zum Paper