Sebastian Küpper und Refinement Algorithms - Info zur Person

(1 - 8 von 8

)

Conference Programme - EasyConferences.eu

www.easyconferences.eu

Sebastian Küpper and Barbara König. … Partition Refinement Algorithms for. Coalgebras and an Instantiation to Weighted Automata. 12:30-14:00 Lunch. › tcs2014 › uploads

… Partition Refinement Algorithms for Coalgebras HAL

hal.science

von B König · · Zitiert von: 21 — Barbara König, Sebastian Küpper. … Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. › hal

… Partition Refinement Algorithms for SpringerLink

link.springer.com

von B König · · Zitiert von: 21 — Sebastian Küpper Universität Duisburg-EssenGermany. Conference paper. 2 Citations · 7 Mentions; 626 Downloads. Part of the Lecture Notes in Computer ... › chapter

… Partition Refinement Algorithms for Coalgebras and an...

link.springer.com

Coalgebra offers a general framework for modelling different types of state-based systems. Our aim is to present … algorithms to decide behavioural...

Accepted Papers at TCS 2014, Track A - EasyConferences.eu

www.easyconferences.eu

Termination Analysis for Graph Transformation Systems; Sebastian Küpper and Barbara König. … Partition Refinement Algorithms for Coalgebras and an ... › a...

… Partition Refinement Algorithms for HAL-Rennes 2

hal.univ-rennes2.fr

von B König · · Zitiert von: 23 — … Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. Barbara König 1Sebastian Küpper 1. Details. › hal

… Partition Refinement Algorithms for HAL Inserm

www.hal.inserm.fr

von B König · · Zitiert von: 23 — … Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. Barbara König 1Sebastian Küpper 1 › hal

… Partition Refinement Algorithms for Coalgebras HAL

hal.archives-ouvertes.fr

von B König · · Zitiert von: 23 — Barbara König, Sebastian Küpper. … Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. › ha...

Alle Infos zum Namen "Sebastian Küpper"

Verwandte Suchanfragen zu Sebastian Küpper

Barbara König
Alexandra Silva

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 Refinement Algorithms Person-Info