Michael Winter

Wolfram Kahl

José Oliveira

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fixed point calculi; idempotent semirings; quantales, allegories, and dynamic algebras; cylindric algebras, and about their application in areas such as verification, analysis and development of programs and algorithms, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics.

15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

Relational and Algebraic Methods in Computer Science

Luis M. Camarinha-Matos

Ricardo Almeida

This book constitutes the refereed proceedings of the 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, held in Costa de Caparica, Portugal, in May 2019. The 36 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers present selected results produced in engineering doctoral programs and focus on technological innovation for industry and serivce systems. Research results and ongoing work are presented, illustrated and discussed in the following areas: collaborative systems, collaboration and resilient systems, decision and optimization systems, assistive systems, smart environments, smart manufacturing, water monitoring systems, communication systems, and energy systems.

10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings

José Oliveira

About

Books

Join the club