Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

M. Sc. Sebastian Küpper

Fakultät für Chemie

Anschrift
Universitätsstr 2
45117 Essen
Raum
S05 V01 F11
Telefon
+49 201 183 7352
E-Mail
sebastian.kuepper.89@uni-due.de
Webseite
https://www.uni-due.de/schluecker-lab/mitarbeiter.shtml

Funktionen

  • Wissenschaftliche/r Mitarbeiter/in, Prof. Schlücker

Aktuelle Veranstaltungen

Keine aktuellen Veranstaltungen.

Vergangene Veranstaltungen (max. 10)

Keine vergangenen Veranstaltungen.

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Artikel in Zeitschriften

  • Hülsbusch, Mathias; König, Barbara; Küpper, Sebastian; Stoltenow, Lars
    Conditional Bisimilarity for Reactive Systems
    In: Logical Methods in Computer Science Jg. 18 (2022) Nr. 1, S. 6:1 - 6:41
    Online Volltext: dx.doi.org/ (Open Access)
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra
    Conditional transition systems with upgrades
    In: Science of Computer Programming Jg. 186 (2020) 102320
    Online Volltext: dx.doi.org/ (Open Access)
  • Grzeschik, Roland; Schäfer, Daniel; Holtum, Tim; Küpper, Sebastian; Hoffmann, Axel; Schlücker, Sebastian
    On the overlooked critical role of the pH value on the kinetics of the 4-Nitrophenol NaBH4-reduction catalyzed by noble-metal nanoparticles (Pt, Pd, and Au)
    In: Journal of Physical Chemistry C: Nanomaterials and Interfaces Jg. 124 (2020) Nr. 5, S. 2939 - 2944
    Online Volltext: dx.doi.org/
  • Beohar, Harsh; Küpper, Sebastian;
    Bisimulation Maps in Presheaf Categories
    35th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019; London; United Kingdom; 4 - 7 June 2019,
    In: Electronic Notes in Theoretical Computer Science Jg. 347 (2019) S. 5 - 24
    Online Volltext: dx.doi.org/ (Open Access)
  • Küpper, Sebastian; Kumar, Vikas; Schlücker, Sebastian
    Vibrational Spectroscopic Characterization of 2-(2,4-Dinitrobenzyl)-pyridine (α-DNBP) in Solution by Polarization-Resolved Spontaneous Raman Scattering and Broadband CARS
    In: Journal of Physical Chemistry A: Molecules, Clusters, and Aerosols Jg. 123 (2019) Nr. 29, S. 6291 - 6297
    Online Volltext: dx.doi.org/
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wissmann, Thorsten
    A coalgebraic treatment of conditional transition systems with upgrades
    In: Logical Methods in Computer Science Jg. 14 (2018) Nr. 1, S. 19
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Küpper, Sebastian
    A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
    In: Soft Computing Jg. 22 (2018) Nr. 4, S. 1103 - 1120
    Online Volltext: dx.doi.org/
  • Sander Bruggink, H. J.; König, Barbara; Küpper, Sebastian
    Robustness and closure properties of recognizable languages in adhesive categories
    In: Science of Computer Programming Jg. 104 (2015) S. 71 - 98
    Online Volltext: dx.doi.org/
  • Groß-Heitfeld, Christoph; Linders, Jürgen; Appel, Ralph; Selbach, Florian; Mayer, Christian
    Polyalkylcyanoacrylate nanocapsules : variation of membrane permeability by chemical cross-linking
    In: Journal of Physical Chemistry B: Condensed Matter, Materials, Surfaces, Interfaces & Biophysical Chemistry Jg. 118 (2014) Nr. 18, S. 4932 - 4939
    Online Volltext: dx.doi.org/

    • Beiträge in Sammelwerken und Tagungsbänden

  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Mika-Michalski, Christina
    Predicate and Relation Liftings for Coalgebras with Side Effects : An Application in Coalgebraic Modal Logic
    In: Coalgebraic Methods in Computer Science: Proceedings / 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 / Hansen, Helle Hvid; Zanasi, Fabio (Hrsg.) 2022, S. 1 - 22
    Online Volltext: dx.doi.org/ (Open Access)
  • Hülsbusch, Mathias; König, Barbara; Küpper, Sebastian; Stoltenow, Lars
    Conditional bisimilarity for reactive systems
    In: 5th International Conference on Formal Structures for Computation and Deduction: FSCD 2020, June 29-July 6, 2020, Paris, France (virtual conference) / International Conference on Formal Structures for Computation and Deduction ; FSCD ; June 29 - July 6, 2020, Paris / Ariola, Zena M. (Hrsg.) 2020, S. 10
    Online Volltext: dx.doi.org/ Online Volltext
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra
    Conditional transition systems with upgrades
    In: The 11th International Symposium on Theoretical Aspects of Software Engineering: Proceedings / 11th International Symposium on Theoretical Aspects of Software Engineering (TASE) , 13–15 September 2017, Sophia Antipolis, France / Deantoni, Julien (Hrsg.) 2017
    Online Volltext: dx.doi.org/ (Open Access)
  • Beohar, Harsh; Küpper, Sebastian
    On path-based coalgebras and weak notions of bisimulation
    In: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) / CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia / Bonchi, Filippo; König, Barbara (Hrsg.) 2017, S. 6
    Online Volltext: dx.doi.org/
  • König, Barbara; Küpper, Sebastian; Mika-Michalski, Christina
    PAWS : A tool for the analysis of weighted systems
    In: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems / Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden, 23rd April 2017 / Wiklicky, Herbert; de Vink, Erik (Hrsg.) 2017, S. 75 - 91
    Online Volltext: dx.doi.org/ (Open Access)
  • Bonchi, Filippo; König, Barbara; Küpper, Sebastian
    Up-To Techniques for Weighted Systems
    In: Tools and Algorithms for the Construction and Analysis of Systems: Proceedings, Part I / 23rd International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, 22-29. April 2017, Uppsala, Sweden / Legay, Axel; Margaria, Tiziana (Hrsg.) 2017, S. 535 - 552
    Online Volltext: dx.doi.org/