Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Journal of logical and algebraic methods in programming, 2018-02, Vol.95, p.17-40
2018
Volltextzugriff (PDF)


Open Access
On Composing Communicating Systems
Electronic proceedings in theoretical computer science, 2022, Vol.365, p.53-68
2022
Volltextzugriff (PDF)

Logical methods in computer science, 2023-08, Vol.19, Issue 3 (3)
2023
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-08, Vol.223 (Proc. ICE 2016), p.67-82
2016
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2019, Vol.304 (Proc. ICE 2019), p.137-155
2019
Volltextzugriff (PDF)

Open Access
Honesty by Typing
Logical methods in computer science, 2017-04, Vol.12, Issue 4
2017
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2018, Vol.279 (Proc. ICE 2018), p.37-51
2018
Volltextzugriff (PDF)

Open Access
Interface Automata for Choreographies
Electronic proceedings in theoretical computer science, 2019, Vol.304 (Proc. ICE 2019), p.1-19
2019
Volltextzugriff (PDF)

Science of computer programming, 2021-02, Vol.202
2021
Volltextzugriff (PDF)

A tool chain for choreographic design
Science of computer programming, 2021-02, Vol.202, p.102535, Article 102535
2021
Volltextzugriff (PDF)

Open Access
Tool Supported Analysis of IoT
Electronic proceedings in theoretical computer science, 2017-11, Vol.261 (Proc. ICE 2017), p.37-56
2017
Volltextzugriff (PDF)


Open Access
Realisability of pomsets
Journal of logical and algebraic methods in programming, 2019-11, Vol.108, p.69-89
2019
Volltextzugriff (PDF)

Open Access
On Sessions and Infinite Data
Logical methods in computer science, 2017-01, Vol.13, Issue 2
2017
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2017-08, Vol.254 (Proc. PrePost 2017), p.69-80
2017
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-02, Vol.203 (Proc. PLACES 2015), p.85-98
2016
Volltextzugriff (PDF)

Trustworthy Global Computing, 2015, Vol.8902, p.51-66
2015
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2013-10, Vol.131 (Proc. ICE 2013), p.68-84
2013
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2012-12, Vol.104 (Proc. ICE 2012), p.67-82
2012
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2014-10, Vol.166 (Proc. ICE 2014), p.67-85
2014
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.785-798
2023
Volltextzugriff (PDF)

Programming Languages with Applications to Biology and Security, 2015, Vol.9465, p.142-161
2015
Volltextzugriff (PDF)

Trustworthy Global Computing, 2015, Vol.8902, p.159-175
2015
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2023-10, Vol.135, p.100890, Article 100890
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt