E-LIB Suche - Ergebnisse für: Steindorfer, Michael A.

1

Daylight space debris laser ranging:

Steindorfer, Michael A ; Kirchner, Georg ; Koidl, Franz...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7403592/. , 2020

2

Laser Ranging to Satellites and Space Debris:

Kirchner Georg ; Steindorfer Michael ; Wang Peiyuan.
https://www.epj-conferences.org/articles/epjconf/pdf/2020/19/epjconf_europhoton2020_08003.pdf. , 2020

Link: https://doi.org/10.1051/..

3

Satellite-relayed intercontinental quantum network:

Liao, Sheng-Kai ; Cai, Wen-Qi ; Handsteiner, Johannes...
http://arxiv.org/abs/1801.04418. , 2018

Link: http://arxiv.org/abs/180..

4

PIE: A Domain-Specific Language for Interactive Software De..:

Konat, Gabriël ; Steindorfer, Michael J ; Erdweg, Sebastian.
http://arxiv.org/abs/1803.10197. , 2018

Link: http://arxiv.org/abs/180..

5

Towards Zero-Overhead Disambiguation of Deep Priority Confl..:

Amorim, Luís Eduardo de Souza ; Steindorfer, Michael J ; Visser, Eelco
http://arxiv.org/abs/1803.10215. , 2018

Link: http://arxiv.org/abs/180..

6

To-many or to-one? all-in-one! efficient purely functional ..:

Steindorfer, Michael J ; Vinju, JJ Jurgen , 2018

Link: http://repository.tue.nl..

7

Towards a Feature Model of Trie-Based Collections:

Steindorfer, Michael J
arxiv:arXiv:1608.01036. , 2016

Link: https://zenodo.org/recor..

8

Fast and Lean Immutable Multi-Maps on the JVM based on Hete..:

Steindorfer, Michael J ; Vinju, Jurgen J
http://arxiv.org/abs/1608.01036. , 2016

Link: http://arxiv.org/abs/160..

9

Optimizing hash-array mapped tries for fast and lean immuta..:

Steindorfer, Michael J ; Vinju, JJ Jurgen , 2015

Link: http://repository.tue.nl..

10

Stateful Testing: Finding More Errors in Code and Contracts:

Wei, Yi ; Roth, Hannes ; Furia, Carlo A...
http://arxiv.org/abs/1108.1068. , 2011

Link: http://arxiv.org/abs/110..

11

Extraction, storage and retrieval of partial code snippets:

Steindorfer, Michael Johannes
vignette : https://netlibrary.aau.at/titlepage/urn/urn:nbn:at:at-ubk:1-18251/128. , 2012

Link: https://resolver.obvsg.a..

12

usethesource/rascal: v0.28.11:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.28.11. , 2023

Link: https://zenodo.org/recor..

13

usethesource/rascal: v0.32.0:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.32.0. , 2023

Link: https://zenodo.org/recor..

14

bfjanssen/nabl: Thesis Boris Janssen:

Hendrik van Antwerpen ; A.S. Zwaan ; Gabriël Konat...
https://github.com/bfjanssen/nabl/tree/thesis. , 2023

Link: https://zenodo.org/recor..

15

usethesource/rascal: v0.31.0:

Paul Klint ; Jurgen J. Vinju ; Davy Landman...
https://github.com/usethesource/rascal/tree/v0.31.0. , 2023

Link: https://zenodo.org/recor..