Organizational unit: FB 08 Physik, Mathematik und Informatik / Data source: DBLP

1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

Autoren:: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias
Veröffentlichungsdatum:: 2023
Type:: Journal article

2. SAUCE: A web application for interactive teaching and learning of parallel programming

Autoren:: Hundt, Christian; Schlarb, Moritz; Schmidt, Bertil
Veröffentlichungsdatum:: 2017
Type:: Journal article

3. Privately Querying Privacy: Privacy Estimation with Guaranteed Privacy of User and Database Party.

Autoren:: Hildebrandt, Anna Katharina; Althaus, Ernst; Hildebrandt, Andreas
Editoren:: D'Angelo, Gianlorenzo; Michail, Othon
Veröffentlichungsdatum:: 2021
Type:: Conference

4. Most Diverse Near-Shortest Paths.

Autoren:: Häcker, Christian; Bouros, Panagiotis; Chondrogiannis, Theodoros; Althaus, Ernst
Editoren:: Meng, Xiaofeng; Wang, Fusheng; Lu, Chang-Tien; Huang, Yan; Shekhar, Shashi; Xie, Xing
Veröffentlichungsdatum:: 2021
Type:: Conference

5. CPL: A Core Language for Cloud Computing - Technical Report.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Type:: Journal article

6. Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).

Autoren:: Storm, Tijs van der; Erdweg, Sebastian
Veröffentlichungsdatum:: 2015
Type:: Journal article

7. Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Veröffentlichungsdatum:: 2014
Type:: Journal article

8. Capture-Avoiding and Hygienic Program Transformations.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Editoren:: Jones, Richard E
Veröffentlichungsdatum:: 2014
Type:: Conference

9. Bootstrapping domain-specific meta-languages in language workbenches.

Autoren:: Konat, Gabriël; Erdweg, Sebastian; Visser, Eelco
Editoren:: Fischer, Bernd; Schaefer, Ina
Veröffentlichungsdatum:: 2016
Type:: Conference

10. A variability-aware module system.

Autoren:: Kästner, Christian; Ostermann, Klaus; Erdweg, Sebastian
Editoren:: Leavens, Gary T; Dwyer, Matthew B
Veröffentlichungsdatum:: 2012
Type:: Conference

11. Language composition untangled.

Autoren:: Erdweg, Sebastian; Giarrusso, Paolo G; Rendel, Tillmann
Editoren:: Sloane, Anthony; Andova, Suzana
Veröffentlichungsdatum:: 2012
Type:: Conference

12. Layout-sensitive language extensibility with SugarHaskell.

Autoren:: Erdweg, Sebastian; Rieger, Felix; Rendel, Tillmann; Ostermann, Klaus
Editoren:: Voigtländer, Janis
Veröffentlichungsdatum:: 2012
Type:: Conference

13. Growing a language environment with editor libraries.

Autoren:: Erdweg, Sebastian; Kats, Lennart CL; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus; Visser, Eelco
Editoren:: Denney, Ewen; Schultz, Ulrik Pagh
Veröffentlichungsdatum:: 2011
Type:: Conference

14. i3QL: language-integrated live data views.

Autoren:: Mitschke, Ralf; Erdweg, Sebastian; Köhler, Mirko; Mezini, Mira; Salvaneschi, Guido
Editoren:: Black, Andrew P; Millstein, Todd D
Veröffentlichungsdatum:: 2014
Type:: Conference

15. Efficient development of consistent projectional editors using grammar cells.

Autoren:: Voelter, Markus; Szabó, Tamás; Lisson, Sascha; Kolb, Bernd; Erdweg, Sebastian; Berger, Thorsten
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Type:: Conference

16. A framework for extensible languages.

Autoren:: Erdweg, Sebastian; Rieger, Felix
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Type:: Conference

17. A co-contextual formulation of type rules and its application to incremental type checking.

Autoren:: Erdweg, Sebastian; Bracevac, Oliver; Kuci, Edlira; Krebs, Matthias; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Type:: Conference

18. Software Evolution to Domain-Specific Languages.

Autoren:: Fehrenbach, Stefan; Erdweg, Sebastian; Ostermann, Klaus
Editoren:: Erwig, Martin; Paige, Richard F; Wyk, Eric Van
Veröffentlichungsdatum:: 2013
Type:: Conference

19. Layout-Sensitive Generalized Parsing.

Autoren:: Erdweg, Sebastian; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus
Editoren:: Czarnecki, Krzysztof; Hedin, Görel
Veröffentlichungsdatum:: 2012
Type:: Conference

20. Exploration of language specifications by compilation to first-order logic.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Raulf, Michael; Mezini, Mira
Editoren:: Cheney, James; Vidal, Germán
Veröffentlichungsdatum:: 2016
Type:: Conference

21. IncA: a DSL for the definition of incremental program analyses.

Autoren:: Szabó, Tamás; Erdweg, Sebastian; Voelter, Markus
Editoren:: Lo, David; Apel, Sven; Khurshid, Sarfraz
Veröffentlichungsdatum:: 2016
Type:: Conference

22. A sound and optimal incremental build system with dynamic dependencies.

Autoren:: Erdweg, Sebastian; Lichter, Moritz; Weiel, Manuel
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Type:: Conference

23. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2016
Type:: Conference

24. Using Vampire in Soundness Proofs of Type Systems.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2015
Type:: Conference

25. Variability-aware parsing in the presence of lexical macros and conditional compilation.

Autoren:: Kästner, Christian; Giarrusso, Paolo G; Rendel, Tillmann; Erdweg, Sebastian; Ostermann, Klaus; Berger, Thorsten
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Type:: Conference

26. A Systematic Approach to Abstract Interpretation of Program Transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Beyer, Dirk; Zufferey, Damien
Veröffentlichungsdatum:: 2020
Type:: Conference

27. A Tunable Coarse-Grained Parallel Algorithm for Irregular Dynamic Programming Applications.

Autoren:: Liu, Weiguo; Schmidt, Bertil
Editoren:: Bougé, Luc; Prasanna, Viktor K
Veröffentlichungsdatum:: 2004
Type:: Conference

28. Pattern Recognition in Bioinformatics, Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings

Autoren:
Editoren:: Rajapakse, Jagath C; Schmidt, Bertil; Volkert, L Gwenn
Veröffentlichungsdatum:: 2007
Type:: Conference

29. Protein Sequence Comparison on the Instruction Systolic Array.

Autoren:: Schmidt, Bertil; Schröder, Heiko; Schimmler, Manfred
Editoren:: Malyshkin, Victor E
Veröffentlichungsdatum:: 2001
Type:: Conference

30. Load Balancing for Hierarchical Grid Computing: A Case Study.

Autoren:: Chen, Chunxi; Schmidt, Bertil
Editoren:: Bougé, Luc; Prasanna, Viktor K
Veröffentlichungsdatum:: 2004
Type:: Conference

31. Parallel Construction of Large Suffix Trees on a PC Cluster.

Autoren:: Chen, Chunxi; Schmidt, Bertil
Editoren:: Cunha, José C; Medeiros, Pedro D
Veröffentlichungsdatum:: 2005
Type:: Conference

32. Scanning Biosequence Databases on a Hybrid Parallel Architecture.

Autoren:: Schmidt, Bertil; Schröder, Heiko; Schimmler, Manfred
Editoren:: Sakellariou, Rizos; Keane, John A; Gurd, John R; Freeman, Len
Veröffentlichungsdatum:: 2001
Type:: Conference

33. $ν$-net: Deep Learning for Generalized Biventricular Cardiac Mass and Function Parameters.

Autoren:: Winther, Hinrich B; Hundt, Christian; Schmidt, Bertil; Czerner, Christoph; Bauersachs, Johann; Wacker, Frank K; Vogel-Claussen, Jens
Veröffentlichungsdatum:: 2017
Type:: Journal article

34. Morphological Hough Transform on the Instruction Systolic Array.

Autoren:: Schmidt, Bertil; Schimmler, Manfred; Schröder, Heiko
Editoren:: Lengauer, Christian; Griebl, Martin; Gorlatch, Sergei
Veröffentlichungsdatum:: 1997
Type:: Conference

35. Topic Introduction.

Autoren:: Ahmad, Ishfaq; Jonker, Pieter; Schmidt, Bertil; Uhl, Andreas
Editoren:: Kosch, Harald; Böszörményi, László; Hellwagner, Hermann
Veröffentlichungsdatum:: 2003
Type:: Conference

36. GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment.

Autoren:: Hundt, Christian; Schmidt, Bertil; Schömer, Elmar; Göttler, Herbert; Dang, Hoang-Vu
Editoren:: Cho, Yookun; Shin, Sung Y; Kim, Sang-Wook; Hung, Chih-Cheng; Hong, Jiman
Veröffentlichungsdatum:: 2014
Type:: Conference

37. Workshop on Using Emerging Parallel Architectures for Computational Science.

Autoren:: Schmidt, Bertil; Maskell, Douglas L
Editoren:: Allen, Gabrielle; Nabrzyski, Jaroslaw; Seidel, Edward; Albada, G Dick van; Dongarra, Jack J; Sloot, Peter MA
Veröffentlichungsdatum:: 2009
Type:: Conference

38. On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric.

Autoren:: Althaus, Ernst; Kupilas, Joschka; Naujoks, Rouven
Editoren:: Ogihara, Mitsunori; Tarui, Jun
Veröffentlichungsdatum:: 2011
Type:: Conference

39. A Polyhedral Approach to Surface Reconstruction from Planar Contours.

Autoren:: Althaus, Ernst; Fink, Christian
Editoren:: Cook, William J; Schulz, Andreas S
Veröffentlichungsdatum:: 2002
Type:: Conference

40. Computing Locally Coherent Discourses.

Autoren:: Althaus, Ernst; Karamanis, Nikiforos; Koller, Alexander
Editoren:: Scott, Donia; Daelemans, Walter; Walker, Marilyn A
Veröffentlichungsdatum:: 2004
Type:: Conference

41. Symbolic Worst Case Execution Times.

Autoren:: Althaus, Ernst; Altmeyer, Sebastian; Naujoks, Rouven
Editoren:: Cerone, Antonio; Pihlajasaari, Pekka
Veröffentlichungsdatum:: 2011
Type:: Conference

42. Fast and Accurate Bounds on Linear Programs.

Autoren:: Althaus, Ernst; Dumitriu, Daniel
Editoren:: Vahrenhold, Jan
Veröffentlichungsdatum:: 2009
Type:: Conference

43. LASA: A Tool for Non-heuristic Alignment of Multiple Sequences.

Autoren:: Althaus, Ernst; Canzar, Stefan
Editoren:: Elloumi, Mourad; Küng, Josef; Linial, Michal; Murphy, Robert F; Schneider, Kristan; Toma, Cristian
Veröffentlichungsdatum:: 2008
Type:: Conference

44. Computing H/D-exchange speeds of single residues from data of peptic fragments.

Autoren:: Althaus, Ernst; Canzar, Stefan; Emmett, Mark R; Karrenbauer, Andreas; Marshall, Alan G; Meyer-Bäse, Anke; Zhang, Huimin
Editoren:: Wainwright, Roger L; Haddad, Hisham
Veröffentlichungsdatum:: 2008
Type:: Conference

45. On Tamaki's Algorithm to Compute Treewidths.

Autoren:: Althaus, Ernst; Schnurbusch, Daniela; Wüschner, Julian; Ziegler, Sarah
Editoren:: Coudert, David; Natale, Emanuele
Veröffentlichungsdatum:: 2021
Type:: Conference

46. Convex Source Support and Its Application to Electric Impedance Tomography

Autoren:: Hanke, Martin; Hyvönen, Nuutti; Reusswig, Stefanie
Veröffentlichungsdatum:: 2008
Type:: Journal article

47. Deblurring Methods Using Antireflective Boundary Conditions

Autoren:: Christiansen, Martin; Hanke, Martin
Veröffentlichungsdatum:: 2008
Type:: Journal article

48. An Inverse Backscatter Problem for Electric Impedance Tomography

Autoren:: Hanke, Martin; Hyvönen, Nuutti; Reusswig, Stefanie
Veröffentlichungsdatum:: 2009
Type:: Journal article

49. An Area-Efficient Bit-Serial Integer Multiplier.

Autoren:: Schimmler, Manfred; Schmidt, Bertil; Lang, Hans-Werner; Heithecker, Sven
Editoren:: Arabnia, Hamid R; Yang, Laurence Tianruo
Veröffentlichungsdatum:: 2003
Type:: Conference

50. Design of a Bit-Serial Floating Point Unit for a Fine Grained Parallel Processor Array.

Autoren:: Schimmler, Manfred; Schmidt, Bertil; Lang, Hans-Werner
Editoren:: Arabnia, Hamid R; Mun, Youngsong
Veröffentlichungsdatum:: 2003
Type:: Conference

Search

Search Constraints

Search Results

Limit your search

Category

Publication type

Author

Publication year

Open Access Status

Reporting date

Organizational unit

Data source