Skip to contents

Schürmann, Carsten [Author]

A high speed sensor system for tactile interaction research

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bielefeld University Library, 2013
Schürmann, Carsten [Author]

A high speed sensor system for tactile interaction research

View online
Schließen

Links

... to thesis via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

noah.nrw, 2013
Kirsten, Michael [Author] ; Beckert, Bernhard [Contributor]; Schürmann, Carsten [Contributor]

Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

KIT-Bibliothek, Karlsruhe, 2023-01-25
Schürmann, Carsten [Author]; Wang, Jian [Author]

Measuring voter lines

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Copenhagen, Denmark: IT University of Copenhagen, November 2015

Published in: IT University technical report series ; 191
Spiekermann, Klaus [Author]; Schürmann, Carsten [Author] ; Einig, Klaus [Other] Bundesinstitut für Bau-, Stadt- und Raumforschung

Räumliche Wirkungen von Verkehrsprojekten : Ex-post-Analysen im stadtregionalen Kontext

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bonn: Bundesinstitut für Bau-, Stadt- und Raumforschung (BBSR) im Bundesamt für Bauwesen und Raumordnung (BBR), 2011

Published in: Bundesinstitut für Bau-, Stadt- und Raumforschung: BBSR-Online-Publikation ; 20110020
Beauquier, Maxime [Author]; Schürmann, Carsten [Author]

A bigraph reactive systems realtion model

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Copenhagen, Denmark: IT University of Copenhagen, June 2010

Published in: IT University technical report series ; 126
Autexier, Serge [Author]; Schürmann, Carsten [Author]

Disproving False Conjectures

View online
Schließen

Links

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarländische Universitäts- und Landesbibliothek, 2003
Schürmann, Carsten [Author]; Panebianco, Stefano [Author]

The Egnatia Motorway - a chance for Northern Greece to catch up?

View online
Schließen

Links

... to conference proceeding

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Louvain-la-Neuve: European Regional Science Association (ERSA), 2002
Schürmann, Carsten [Author]; Talaat, Ahmed [Author]

The European peripherality index

View online
Schließen

Links

... to conference proceeding

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Louvain-la-Neuve: European Regional Science Association (ERSA), 2002
Schack-Nielsen, Anders [Author]; Schürmann, Carsten [Author]

The [lambda sigma]-calculus and strong normalization

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Copenhagen, Denmark: IT University of Copenhagen, December 2011

Published in: IT University technical report series ; 150
Schack-Nielsen, Anders [Author]; Schürmann, Carsten [Author]

Linear contextual modal type theory

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Copenhagen, Denmark: IT University of Copenhagen, December 2011

Published in: IT University technical report series ; 151
Zillmer, Sabine [Author]; Stumm, Thomas [Author]; Schürmann, Carsten [Author] ; Europäische Kommission Generaldirektion Regionalpolitik und Stadtentwicklung Unit Interreg, Cross-Border Cooperation, Internal Borders

Cross-border public services : CPS inventory analysis and policy recommendations : Contract: 2020CE160AT084 - [1st edition]

View online
Schließen

Access

... to E-book (freely accessible)

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Luxembourg: Publications Office of the European Union, May 2022
Beckert, Bernhard [Author]; Goré, Rajeev [Author]; Schürmann, Carsten [Author]

Analysing Vote Counting Algorithms Via Logic. And its Application to the CADE Election System

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Verlag, 2013-01-01
Schürmann, Carsten [Author]; Moeckel, Rolf [Author]; Wegener, Michael [Author]

Microsimulation of urban land use

View online
Schließen

Links

... to conference proceeding

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Louvain-la-Neuve: European Regional Science Association (ERSA), 2002
Schürmann, Carsten [Author]; Spiekermann, Klaus [Author]; Wegener, Michael [Author]

Trans-European transport networks and regional economic development

View online
Schließen

Links

... to conference proceeding

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Louvain-la-Neuve: European Regional Science Association (ERSA), 2002
Zillmer, Sabine [Contributor]; Lüer, Christian [Contributor]; Stumm, Thomas [Contributor]; Schürmann, Carsten [Contributor] ; European Commission Directorate-General for Regional and Urban Policy, Spatial Foresight, TRT, TCP International, Eureconsult

Study on providing public transport in cross-border regions : mapping of existing services and legal obstacles : toolbox - [1st edition]

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Luxembourg: Publications Office, 2022
Beckert, Bernhard [Author]; Kirsten, Michael [Author]; Klebanov, Vladimir [Author]; Schürmann, Carsten [Author]

Automatic Margin Computation for Risk-Limiting Audits

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2017-01-01
Beckert, Bernhard [Author]; Bormer, Thorsten [Author]; Goré, Rajeev [Author]; Kirsten, Michael [Author]; Schürmann, Carsten [Author]

An Introduction to Voting Rule Verification

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

AI Access, 2017-01-01
Carbone, Marco [Author]; Lindley, Sam [Author]; Montesi, Fabrizio [Author]; Schürmann, Carsten [Author]; Wadler, Philip [Author] ; Marco Carbone and Sam Lindley and Fabrizio Montesi and Carsten Schürmann and Philip Wadler [Contributor]

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Carbone, Marco [Author]; Montesi, Fabrizio [Author]; Schürmann, Carsten [Author]; Yoshida, Nobuko [Author] ; Marco Carbone and Fabrizio Montesi and Carsten Schürmann and Nobuko Yoshida [Contributor]

Multiparty Session Types as Coherence Proofs

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication