Sebastian Küpper und Barbara König - Info zur Person

(1 - 19 von 26

)

Midlands Graduate School Christmas Seminars 2020

www.cs.le.ac.uk

... (conditional transition systems if time permits). This is part of a joint work with Barbara König, Christina Mika-Michalski, and Sebastian KÜpper. › events

Dr. Thorsten Wißmann - T.CS

www8.cs.fau.de

2018 [8] A coalgebraic treatment of conditional transition systems with upgrades (Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann ...

Publications | REPAS | Catuscia Palamidessi

www.lix.polytechnique.fr

ESOP 2017: ; Filippo Bonchi, Barbara König, Sebastian Küpper: Up-To Techniques for Weighted Systems. TACAS (1) 2017: ; Vincent Danos, ...

Theoretische Informatik: Publications

www.ti.inf.uni-due.de

Barbara König, Sebastian Küpper, and Christina Mika. Paws: A tool for the analysis of weighted systems.In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), to appear.

[ ] A coalgebraic treatment of conditional transition...

arxiv.org

Authors:Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann. (Submitted on 15 Dec (v1), last revised 15 Dec (this ...

[ ] PAWS: A Tool for the Analysis of Weighted Systems

arxiv.org

Authors:Barbara König, Sebastian Küpper, Christina Mika. (Submitted on 13 Jul 2017). Abstract: PAWS is a tool to analyse the behaviour of weighted automata ...

[ ] Conditional Bisimilarity for Reactive Systems

arxiv.org

von M Hülsbusch · — Authors:Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow · Download PDF. Abstract: Reactive systems à la Leifer and Milner, ... › cs

[ v1] PAWS: A Tool for the Analysis of Weighted Systems

arxiv.org

Title:PAWS: A Tool for the Analysis of Weighted Systems. Authors:Barbara König, Sebastian Küpper, Christina Mika. (Submitted on 13 Jul 2017).

Science of Computer Programming | Vol 186, 1 February |...

www.sciencedirect.com

Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva. Article : Download PDF. Article preview. Special section on The 12th International ... › vol

Electronic Communications of the EASST - TU Berlin

journal.ub.tu-berlin.de

von S Küpper · · Zitiert von: 2 — Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories. Sebastian Küpper, Barbara König, H.J. Sander Bruggink ... › view

Science of Computer Programming - ScienceDirect.com

www.sciencedirect.com

— H.J. Sander Bruggink, Barbara König, Sebastian Küpper. Pages : Download PDF. Article preview. Previous vol/issue. › vol

dblp: Barbara König 0001

dblp.dagstuhl.de

List of computer science publications by Barbara König

Program, July 3rd | 10th IJCAR and 5th FSCD Colocated in Paris

www.fscd-ijcar-2020.org

· Concurrency - 14:30: Paul Brunet, David Pym - 15:00: Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow - 15:30: Ankush Das, Frank Pfenning

Accepted Papers and Short Contributions – CMCS 2022

www.coalg.org

Samson Abramsky, Tomáš Jakl and Thomas Paine · Harsh Beohar, Barbara König, Sebastian Küpper and Christina Mika-Michalski · Florian Frank, Stefan Milius and ... › cmcs22

Accepted papers | TASE 2017

tase2017.unice.fr

Sebastian Küpper, Barbara König, Alexandra Silva and Harsh Beohar. Conditional Transition Systems with Upgrades. Yueling Zhang, Jianwen Li, Min Zhang, ...

References

cgi.cse.unsw.edu.au

Filippo Bonchi, Barbara König & Sebastian Küpper (2017): Up-To Techniques for Weighted Systems. In: Proc. of TACAS '17, Part I. Springer, pp. 535–552, doi: ... › ...

www.springerprofessional.de › up-to-techniques-for-weighted-systemsUp-To Techniques for Weighted Systems - Springer Professional

www.springerprofessional.de

Autoren: Filippo Bonchi, Barbara König, Sebastian Küpper. Verlag: Springer Berlin Heidelberg. Erschienen in: Tools and Algorithms for the Construction and ...

Person "Küpper" (14)
Vorname "Sebastian" (47648)
Name "Küpper" (1133)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sebastian Küpper und Barbara König Person-Info

Midlands Graduate School Christmas Seminars 2020

Dr. Thorsten Wißmann - T.CS

Publications | REPAS | Catuscia Palamidessi

Theoretische Informatik: Publications

[ ] A coalgebraic treatment of conditional transition...

[ ] PAWS: A Tool for the Analysis of Weighted Systems

[ ] Conditional Bisimilarity for Reactive Systems

[ v1] PAWS: A Tool for the Analysis of Weighted Systems

Science of Computer Programming | Vol 186, 1 February |...

Electronic Communications of the EASST - TU Berlin

Science of Computer Programming - ScienceDirect.com

dblp: Barbara König 0001

Program, July 3rd | 10th IJCAR and 5th FSCD Colocated in Paris

Accepted Papers and Short Contributions – CMCS 2022

Accepted papers | TASE 2017

References

www.springerprofessional.de › up-to-techniques-for-weighted-systemsUp-To Techniques for Weighted Systems - Springer Professional

[PDF] Conditional transition systems with upgrades | Semantic Scholar

a coalgebraic treatment of conditional transition systems with ...

Alle Infos zum Namen "Sebastian Küpper"