Publication

Invisible XML coming into focus In Proceedings

T. Hillman (Tomos), J. Lumley (John), S. Pemberton (Steven), C. M. Sperberg-McQueen, B. Tovey-Walsh (Bethan) and N. Tovey-Walsh (Norm)

Budget-feasible mechanism design for non-monotone submodular objectives: Offline and online Article

G. Amanatidis (Georgios), P.S. Kleer (Pieter) and G. Schäfer (Guido)

Blockchain technologies empowering peer-to-peer trading in multi-energy systems: From advanced technologies towards applications Editorial

W. Hua (Weiqi), F. Luo (Fengji), L. Du (Liang), S. Chen (Sijie), T. Kim (Taesic), T. Morstyn (Thomas), V. Robu (Valentin) and Y. Zhou (Yue)

A formal framework for distributed cyber-physical systems Article

B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)

From symbolic constraint automata to Promela Article

H. Feng (Hui), M.M. Bonsangue (Marcello) and B. Lion (Benjamin)

MMSys '22: Proceedings of the 13th ACM Multimedia Systems Conference Proceedings

Branching pomsets for choreographies In Proceedings

L.J. Edixhoven (Luc), S.-S.T.Q. Jongmans (Sung), J.M.P. Proença (Jose) and G. Cledou (Guillermina)

Intel names Hardware Security award winners - Businesswire - 10-08-2022 Magazine Article