Frank Zeyda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2009–2017
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SEFM | Formalising Cosimulation Models. | Frank Zeyda, Julien Ouy, Simon Foster, Ana Cavalcanti |
| 2016 | ICTAC | Unifying Heterogeneous State-Spaces with Lenses. | Simon Foster, Frank Zeyda, Jim Woodcock |
| 2015 | SMC | An Empirical Analysis of Neurofeedback Using PID Control Systems. | Frank Zeyda, Gabor Aranyi, Fred Charles, Marc Cavazza |
| 2014 | FM | A Modular Theory of Object Orientation in Higher-Order UTP. | Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio |
| 2011 | ICFEM | The Safety-Critical Java Mission Model: A Formal Account. | Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
| 2010 | ICTAC | Preference and Non-deterministic Choice. | Bill Stoddart, Frank Zeyda, Steve Dunne |
| 2009 | IFM | Mechanised Translation of Control Law Diagrams into Circus. | Frank Zeyda, Ana Cavalcanti |