Agents, Interaction and Complexity About us Our people Research projects Publications Join us Industry experts Agents, Interaction and Complexity Publications Search our publications to read more about our work in more depth. Bounded incentives in manipulating the Probabilistic Serial rule 2020 DOI: 10.1609/aaai.v34i02.5605 Type: conference Formalizing hierarchical scheduling for refinement of real-time systems Chenyang Zhu, Michael Butler & Corina Cirstea, 2020, Science of Computer Programming, 189 DOI: 10.1016/j.scico.2020.102390 Type: article Solving the fair electric load shedding problem in developing countries Olabambo Ifeoluwa Oluwasuji, Obaid Malik, Jie Zhang & Sarvapali Ramchurn, 2020, Autonomous Agents and Multi-Agent Systems, 34(1) DOI: 10.1007/s10458-019-09428-8 Type: article Repository for reusing artifacts of artificial neural networks Javad Ghofrani, Ehsan Kozegar, Mohammad Divband Soorati, Arezoo Bozorgmehr, Hongfei Chen & Maximilian Naake, 2020 DOI: 10.48550/arXiv.2003.13619 Type: other Real-time trigger-response properties for Event-B applied to the pacemaker Chenyang Zhu, Michael Butler & Corina Cirstea, 2020 Type: conference Pagination Previous page ‹ Previous … Page 45 Page 46 Page 47 Page 48 Page 49 Page 50 Page 51 Page 52 Page 53 … Next page Next ›