PhD in Computer Science @ University of UdinePhD in Computer Science @ University of Udine

  • Home
  • Regulation
  • Director
  • Faculty
  • Courses
  • PhD Schools
  • Theses repository

Primary links

  • Home
  • Regulation
  • Director
  • Faculty
  • Courses
  • PhD Schools
  • Theses repository

Students

  • Current Students
  • Alumni
  • News & Blog
  • Seminars

User login

  • Request new password
Home

Seminars

you must be logged-in to have full access to seminar attachments

Bio-PEPA. A framework for the modelling and analysis of biological systems

The Complexity of the Protein Folding Problem

The complementation problem for automata on infinite trees

On some infinite-state systems with a decidable MSO-theory obtained by transformation

  • « first
  • ‹ previous
  • …
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • next ›
  • last »

Syndicate content

Recent Seminars

  • Bio-PEPA. A framework for the modelling and analysis of biological systems
    Wed 04 Nov 09 - 10:00 - 11:00
  • The Complexity of the Protein Folding Problem
    Fri 23 Oct 09 - 12:00 - 12:30
  • The complementation problem for automata on infinite trees
    Fri 23 Oct 09 - 11:30 - 12:00
  • On some infinite-state systems with a decidable MSO-theory obtained by transformation
    Fri 23 Oct 09 - 11:00 - 11:30
  • ‹‹
  • 13 of 15
  • ››
see more
Syndicate content