WorldCat Identities

Glesner, Sabine 1971-

Overview
Works: 14 works in 17 publications in 2 languages and 43 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Contributor
Publication Timeline
.
Most widely held works by Sabine Glesner
CISMo: Change Impact Analysen für Software-Modelle Schlußbericht : im Rahmen des BMBF Förderprogramms KMU-INNOVATIV by Heiko Dörr( )

1 edition published in 2016 in German and held by 7 WorldCat member libraries worldwide

Names, types, and static semantic analysis by Andreas Heberle( Book )

1 edition published in 1997 in English and held by 5 WorldCat member libraries worldwide

Generating semantic analysis using constraint programming by Sabine Glesner( Book )

1 edition published in 1997 in English and held by 5 WorldCat member libraries worldwide

Optimierende Compiler: Vertrauen ist gut, Verifikation ist besser! by Sabine Glesner( Book )

2 editions published in 2005 in German and held by 5 WorldCat member libraries worldwide

An introduction to (co)algebras and (co)induction and their application to the semantics of programming languages by Sabine Glesner( Book )

2 editions published in 2005 in English and held by 5 WorldCat member libraries worldwide

Natürliche Semantik für imperative und objektorientierte Programmiersprachen by Sabine Glesner( Book )

1 edition published in 1999 in German and held by 4 WorldCat member libraries worldwide

Verification of optimizing compilers by Sabine Glesner( Book )

2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide

Generating semantic analysis using constraint programming( )

1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide

Names, types, and static semantic analysis( )

1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide

Supercomputing( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Dagstuhl perspectives( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Flexible process-aware information systems( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Supercomputing. XML data management. [Ed.-in-chief: S. Glesner]( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007), Braga, Portugal, 25 March 2007 by COCV 2007( )

1 edition published in 2008 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.92 (from 0.75 for Proceeding ... to 0.95 for Verificati ...)

Associated Subjects
Alternative Names
Glesner, S. 1971-

Glesner, Sabine Anne Maria 1971-

Sabine Glesner deutsche Informatikerin und Hochschullehrerin

Sabine Glesner German computer scientist and professor

Languages
English (13)

German (4)