Publications 2007

Contributions to Books / Journals

Book Chapter (Original Paper)

• Moser, Georg; Dershowitz, Nachum (2007): The Hydra Battle Revisited.
  In: Comon-Lundh, H.; Kirchner, C.; Kirchner, H. (Eds.): Rewriting, Computation and Proof. Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 4600)., ISBN 978-3540731467, pp. 1 - 27.
  
  

Lectures 2007

Presentations at Conferences, Symposia, etc.

Conference Lecture (Invited Lecture)

• Lecturer(s): Moser, Georg: Proving Termination of Scheme Programs by Rewriting.
  Moscow-Vienna Workshop on Logic and Computation 2007, Wien, 2007-07-02. (Web link)
  
  

Guest Lectures

Guest Lecture

• Lecturer(s): Moser, Georg: The Hydra Battle and Cichon's Principle.
  Kobe University, Kobe, 2007-11-20.
  
  
• Lecturer(s): Moser, Georg: Complexity Analysis by Rewriting.
  JAIST (Japan Advanced Institute for Science and Technology), Kanazawa, 2007-11-07.
  
  

Projects, scholarships and other third-party funds 2007

Research Projects

• Moser, Georg: Derivationskomplexitätsanalyse.
  Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
  2007-10-01 - 2011-08-31
  
  

Academic Activities and Achievements 2007

Supervision of Student Theses

• Moser, Georg: Schnabl, Andreas: Context Dependent Interpretations (2007).
  
  
• Moser, Georg: Neurauter, Friedrich: Preserving Regularity via Logic Programs (2007).