Skip to main navigation
Skip to search
Skip to main content
York Research Database Home
Help & FAQ
Home
Researchers
Departments and Units
Publications
Projects
Activities
Datasets
Prizes
Search by expertise, name or affiliation
Frank Zeyda
Dr
Former affiliations
Research Associate
,
Computer Science
Research Fellow
,
Computer Science
Overview
Network
Publications
(32)
Research output
14
Article
10
Conference contribution
4
Paper
2
Working paper
2
More
1
Chapter
1
Chapter (peer-reviewed)
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2018
Isabelle/UTP: Mechanised Theory Engineering for the UTP
Foster, S. D.
,
Zeyda, F.
, Nemouchi, Y.,
De Oliveira Salazar Ribeiro, P. F.
& Wolff, B.,
4 Apr 2018
, (Unpublished)
162 p.
Research output
:
Working paper
File
Theory of Designs in Isabelle/UTP
Foster, S. D.
, Nemouchi, Y. &
Zeyda, F.
,
6 Apr 2018
, (Unpublished)
47 p.
Research output
:
Working paper
File