86 Infos zu Steffen Märcker

3 Aktuelle Nachrichten

APELL Anfang Dezember veröffentlichten wir einen Aufruf ehemaliger DDR-Bürgerrechtler zum Protest gegen die NSA. Seitdem haben uns mehrere hundert Zuschriften...

Trotz Stasi-Vergangenheit lässt uns der NSA-Skandal kalt. Die taz rief ehemalige DDR-Bürgerrechtler zum Protest auf. Mehrere Hundert haben inzwischen...

... Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp

2 Profile in Sozialen Netzwerken

Add Ruby-like suffix conditionals to Visualworks Smalltalk. - GitHub - randycoulman/SuffixConditionals: Add Ruby-like suffix conditionals to Visualworks...

Talks about: model (2) probabilist (1) markovian (1) standard (1) probabl (1) reason (1) object (1) effici (1) condit (1) comput (1). Person: Steffen Märcker ...

1 Persönliche Webseiten

Kontaktinformationen: Kung Fu - Verein Leipzig e.V.

10 Bücher zum Namen

Filters: Author is Steffen Märcker [Clear All Filters] C. Baier, et al., “Locks: Picking key methods for a scalable quantitative analysis”, Journal of Computer ...

This Festschrift volume, published in honor of Symeon Bozapalidis on the occasion of his retirement after more than 35 years of teaching activity, focuses on...

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Kl ̈uppelholz, Steffen Märcker, and David M ̈uller. Advances in ...

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate...

1 Dokumente

Marcus Daum, Joachim Klein, Steffen Märcker, and. Sascha Wunderlich. Modelling and Model Transformation. Target Oriented Relational Model Finding .

22 Wissenschaftliche Publikationen

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, and Marcus Völp

List of computer science publications by Steffen Märcker

Steffen Märcker Matthias Bortfeld Sören Weißenborn Roland Brunec Conrad Koch Michael Seiltz Richard Socher module rechte util Test, Designbericht & Dokumentation

Steffen Märcker. Büro: Raum 3008Dresden; Postanschrift: TU Dresden, Fakultät Informatik, Dresden ... Es fehlt: tübingen ‎max ‎niemeyer ‎verlag

3 Allgemeine Veröffentlichungen

Characterization by Weighted LogicsManfred Droste, Doreen Götze, Steffen Märcker, ...

Probabilistic model checking is a well-established method for the automated quantitative system analysis. It has been used in various application areas such as...

4 Meinungen & Artikel

Steffen Märcker. Steffen Märcker online. Unregistered User. Groups: Anyone. Send Email to Steffen Märcker. Posts in Smalltalk Show. All, Apps ...

I recently releasedSuffixConditionalsfor Visualworks Smalltalk. In the release announcement I said:

CollabNet, Facilitating Collaborative Software Development

paulinerkirche.org - Zur Wiederbebauung des Leipziger Universitätsgeländes Augustusplatz, Grimmaische, Universitätsstraße, Schillerstraße

39 Webfunde aus dem Netz

‪Faculty of Computer Science, TU Dresden‬ - ‪‪296-mal zitiert‬‬ - ‪formal verification‬ - ‪quantitative analysis‬ - ‪model checking‬ - ‪logics‬ - ‪automata...

‪TU Dresden‬ - ‪‪引用: 15,735 件‬‬ - ‪Theoretical Computer Science‬ - ‪Model Checking‬ - ‪Modeling and Analysis of Probabilistic Systems‬ - ‪Automata Theory‬ -...

Steffen Märcker wrote: - Hi, sagt mal, in welchem Format sind E-Mails normalerweise kodiert? oder ? ciao, Steffen - Das kannst du …

Ok, tut mir leid, ich wollt dich und Rob nicht beleidigen... ;-) Ciao, Steffen Am Sun, 07 Dec :43:08 +0100 hat Steffen Märcker <merkste@...> geschrieben: ...

Uni Leipzig - Informatik 1. Semester zum Winter

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

Steffen Märcker, Christel Baier, Joachim Klein and Sascha Klüppelholz. Focused Certification of an Industrial Compilation and Static Verification Toolchain.

Autoren: Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller. Verlag: Springer ...

... Maringolo, Alejandro Infante, Philippe Back, Stefan Reichhart, Ronie Salgado, Steffen Märcker, Offray Vladimir Luna Cárdenas, Alena Beyer, Steven Kelly.

European Association for Theoretical Computer Science

[BDE+12b] Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus ...

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and ...

posted on , 18:01 by Justus A. Kromer Steffen Märcker Steffen Lange Christel Baier Benjamin M. Friedrich. (A) Chemoattractant molecules bind to ...

[BDE+15] Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews and Marcus Völp.

[KML+18] Justus A. Kromer, Steffen Märcker, Steffen Lange, Christel Baier and Benjamin M. Friedrich. Decision making improves sperm chemotaxis in the ...

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews & Marcus Völp (2012): ...

[KBC+18] Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker and David Müller. Advances in ...

The port was initially done by Steffen Märcker using Pharo2VW: https://github.com/ObjectProfile/Pharo2VW. Please see bundle PetitParser2 for ...

Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, ...

Simple implementation of optimal decision making.