191 Infos zu Kathrin Geilmann

1 Aktuelle Nachrichten

Autor: Kathrin Geilmann (Gast) Datum: ...

1 Profile in Sozialen Netzwerken

Tool that imports citation data from DBLP for use by CrossTeX - el33th4x0r/crosstex-dbgen

4 Persönliche Webseiten

Collectives on Stack Overflow. Find centralized, trusted content and collaborate around the technologies you use most. Learn more. Teams. Q&A for work. Connect and share knowledge within a single location that is structured and easy to search. Learn more. Kathrin Geilmann. Member for 11 months.

E-Mail-Adresse: -kl.de: Telefon + : Fax + : Postanschrift: TU Kaiserslautern Fachbereich Informatik, Gebäude 34

Bachelor Seminar : Winter Term preliminary and final slides have to be send to your supervisor and to Kathrin Geilmann as a PDF-File before the deadline.

Kathrin Geilmann, Arnd Poetzsch-Heffter. In: International ... Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer. In: Science of ...

2 Projekte

Re: xmms-plugin From: <columbus@hi...> :03:55. Hi! Kathrin Geilmann "geilmann@..." wrote: > I have a problem with the xmms-plugin 1.0.

> Kathrin Geilmann "geilmann@..." wrote: >> I have a problem with the xmms-plugin I wrote the following .lirc >> file which worked fine with version 0.9 of the plugin

8 Bücher zum Namen

Publications of Author. Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer Infering Ownership Types for Encapsulated Object-Oriented Program Components.

Papers (bib) · Papers table · All Papers (bib) · Recently Added · Recently Modified · Authors · Attributes · Values · Search for Papers · Reports ...

Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer Science of Computer Programming. pages 218–247. volume 78. number

46 Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, and Jan Sch ̈afer JErlang: Erlang with Joins Hubert ...

11 Wissenschaftliche Publikationen

Webseiten der Georg-August-Universität Göttingen

List of computer science publications by Kathrin Geilmann

Dipl.-Inform. Kathrin Geilmann. offiziell/informationen.txt · Zuletzt geändert: :41 (Externe Bearbeitung)

Kathrin Geilmann: René Thiemann: 16:00-17:00: Terminierungsanalyse von funktionalen Programmen mit Lazy Evaluation: Joachim Wieland: René Thiemann: 17:15-18:15:

3 Allgemeine Veröffentlichungen

Lorenzo Bettini (18); Ferruccio Damiani (18); Marco De Luca (18); Kathrin Geilmann (19); Jan Schäfer (19). Author Affiliations Dipartimento di Informatica ...

Diesen Titel erhalten Sie in einer Bibliothek! Coordination models and languages : 12th international conference, COORDINATION 2010, Amsterdam, the...

Modular analyses of object-oriented programs need clear encapsulation boundaries between program components. The reference semantics of object-oriented...

132 Meinungen & Artikel

: Kathrin Geilmann de comp os unix linux hardware Adrian

: Kathrin Geilmann ... oecher talk Jong-Won Shin wrote:

: Kathrin Geilmann ... oecher talk Jong-Won Shin wrote: Hallo Zusammen

Von: Kathrin Geilmann () [Profil] Datum:

28 Webfunde aus dem Netz

Combining traits with boxes and ownership types in a Java-like settingLorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer. SCP, 78(2): , ...

CNKI学术搜索是一个基于海量资源的跨学科、跨语种、跨文献类型的学术资源搜索平台，其资源库涵盖各类学术期刊、论文、报纸、专利、标准、年鉴、工具书等，旨在为国内外研究人员提供全面、权威、系统的知识网络。

Kathrin Geilmann (unregistered). Apparently, this user prefers to keep an air of mystery about them. 0 answers. 1 question. ~2k people reached. Member for

We make Stack Overflow and 170+ other community-powered Q&A sites.

Viewing messages posted by 'Kathrin Geilmann <k.geilmann () firemail ! de>' (2 msg) [2] [Bug ] crash in group de.test kde-bugs- ...

Aus dem eBook: Coordination Models and Languages von Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer: The box model is a …

Modular analyses of object-oriented programs need clear encapsulation boundaries between program components. The reference semantics of

[Marble-devel] Improve OSX build process: build a marble framework Kathrin Geilmann geilmann at cs.uni-kl.de Tue Jun :49:05 UTC 2012

... Martine Hardy (1959) 337 Kathrin Geilmann (1980) :13:11.6Planungsbüro BFT (1) Mechthilde Goerke (1966) 224 Petra Beerbaum (1964) 371 Simone Müller ...

[Marble-devel] Review Request: Build the library as marblewidget.framework on OSX Kathrin Geilmann geilmann at cs.uni-kl.de Thu Jun :25:47 UTC 2012

A Calculus for Boxes and Traits in a Java-Like Setting. Lorenzo Bettini 1 Ferruccio Damiani 1 Marco Luca 1Kathrin Geilmann 2 Jan Schäfer 2

A Calculus for Boxes and Traits in a Java-Like Setting. Lorenzo Bettini 1 Ferruccio Damiani 1 Marco Luca 1Kathrin Geilmann 2 Jan Schäfer 2

1 A Calculus for Boxes and Traits in a Java-like Setting Lorenzo Bettini 1, Ferruccio Damiani 1, Marco De Luca 1, Kathrin Geilmann 2, and Jan Schäfer

... doesn't work at logout kde-bugs-di David Pashley [5] [Bug ] crash in group de.test kde-bugs-di Kathrin Geilmann Top · Prev Next · Last ...

Kathrin Geilmann 2. Author. Jan Schäfer Lorenzo Bettini, Ferruccio Damiani, Marco Luca, Kathrin Geilmann, Jan Schäfer. A Calculus for ...

Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer JErlang: Erlang with Joins. Hubert Plociniczak, Susan Eisenbach.

A Calculus for Boxes and Traits in a Java-Like Setting. Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer | OriginalPaper ...

Kathrin Geilmann. Department of Computer Science, University of Kaiserslautern, Germany. autor. Jan Schäfer. Department of Computer Science, University of ...

... and Viviane Jonckers -- A calculus for boxes and traits in a Java-like setting / Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, and Jan ...

Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer: Infering Ownership Types for Encapsulated Object-Oriented Program Components. Program Analysis ...