The Arts and Computational Culture: Real and Virtual Worlds von Giannini, Tula, Bowen, Jonathan P

Volltext

Museums and Digital Culture: From Reality to Digitality in the Age of COVID-19 von Giannini, Tula, Bowen, Jonathan P.

Volltext

Septin-Driven Coordination of Actin and Microtubule Remodeling Regulates the Collateral Branching of Axons von Hu, Jianli, Bai, Xiaobo, Bowen, Jonathan R., Dolat, Lee, Korobova, Farida, Yu, Wenqian, Baas, Peter W., Svitkina, Tatyana, Gallo, Gianluca, Spiliotis, Elias T.

Volltext

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday von Bowen, Jonathan P, Li, Qin, Xu, Qiwen

Volltext

A Septin Double Ring Controls the Spatiotemporal Organization of the ESCRT Machinery in Cytokinetic Abscission von Karasmanis, Eva P., Hwang, Daniel, Nakos, Konstantinos, Bowen, Jonathan R., Angelis, Dimitrios, Spiliotis, Elias T.

Volltext

Global Cultural Conflict and Digital Identity: Transforming Museums von Giannini, Tula, Bowen, Jonathan P

Volltext

UTP, Circus, and Isabelle von Woodcock, Jim, Cavalcanti, Ana, Foster, Simon, Oliveira, Marcel, Sampaio, Augusto, Zeyda, Frank

Volltext

Specifying and Reasoning About Shared-Variable Concurrency von Hayes, Ian J., Jones, Cliff B., Meinicke, Larissa A.

Volltext

Septins promote stress fiber-mediated maturation of focal adhesions and renal epithelial motility von Dolat, Lee, Hunyara, John L, Bowen, Jonathan R, Karasmanis, Eva Pauline, Elgawly, Maha, Galkin, Vitold E, Spiliotis, Elias T

Volltext

The Value of Companion Dogs as a Source of Social Support for Their Owners: Findings From a Pre-pandemic Representative Sample and a Convenience Sample Obtained During the COVID-19... von Bowen, Jonathan, Bulbena, Antonio, Fatjó, Jaume

Volltext

A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming von Mu, Rundong, Li, Qin

Volltext

Domain Modelling: A Foundation for Software Development von Bjørner, Dines

Volltext

Time: It is only Logical von Mallet, Frédéric

Volltext

Characterizations of Parallel Real-Time Workloads von Jiang, Xu, Sun, Jinghao, Yi, Wang

Volltext

KnowLang – A Formal Specification Model for Self-adaptive Systems von Hinchey, Mike, Vassev, Emil

Volltext

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents von Roscoe, A. W., Antonino, Pedro, Lawrence, Jonathan

Volltext

Jifeng He at Oxford and Beyond: An Appreciation von Bowen, Jonathan P., Zhu, Huibiao

Volltext

Towards Efficient Data-Flow Test Data Generation von Su, Ting, Zhang, Chengyu, Yan, Yichen, Fan, Lingling, Liu, Yang, Fu, Zhoulai, Su, Zhendong

Volltext

Consciousness by Degree von Chen, Yifeng, Sanders, J. W.

Volltext

Assume-Guarantee Reasoning for Additive Hybrid Behaviour von Cuijpers, Pieter J. L., Hansen, Jonas, Larsen, Kim G.

Volltext