Abstract
The development of smart mobility initiatives requires specialized and contextualized policies addressing the needs and interests of many stakeholders involved. Since the development of such policies is challenging, there is a need to learn from the experience of many cities around the world offering efficient and successfully adopted smart mobility services. However, in practice, the information provided about such initiatives is shallow and unstructured. To address this issue, we study the state of the art in mobility services, reviewing scientific publications and 42 smart mobility services delivered by nine smart cities around the world, and we propose a taxonomy for planning and designing smart mobility services. The taxonomy provides a common vocabulary to discuss and share information about such services. It comprises eight dimensions: type of services, maturity level, users, applied technologies, delivery channels, benefits, beneficiaries, and common functionality. The contribution of the proposed taxonomy is to serve as a tool for guiding policy makers by identifying a spectrum of mobility services that can be provided, to whom, what technologies can be used to deliver them, and what is the delivered public value so to justify their implementation. In addition, the taxonomy can also assist researchers in further developing the domain. By identifying common functionality, it could also help Information Technology (IT) teams in building and maintaining smart mobility services. Finally, we further discuss usage scenarios of the taxonomy by policy makers, IT staff and researchers.

Abstract
D-down arrow is a new dynamic logic combining regular modalities with the binder constructor typical of hybrid logic, which provides a smooth framework for the stepwise development of reactive systems. Actually, the logic is able to capture system properties at different levels of abstraction, from high-level safety and liveness requirements, to constructive specifications representing concrete processes. The paper discusses its semantics, given in terms of reachable transition systems with initial states, its expressive power and a proof system. The methodological framework is in debt to the landmark work of D. Sannella and A. Tarlecki, instantiating the generic concepts of constructor and abstractor implementations by standard operators on reactive components, e.g. relabelling and parallel composition, as constructors, and bisimulation for abstraction.

Abstract
This note revisits layered logics from a coalgebraic point of view, and proposes a naturality condition to express the typical hierarchical requirement under which all abstract transitions should be traceable in more specialised layers. © Springer International Publishing AG 2018.

Abstract
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.

Abstract
Regulations, laws, norms, and other documents of legal nature are a relevant part of any governmental organisation. During digitisation and transformation stages towards a digital government model, information and communication technologies are explored to improve internal processes and working practices of government infrastructures. This paper introduces preliminary results on a research line devoted to developing visualisation techniques for enhancing the readability and comprehension of legal texts. The content of documents is conveyed to a well-defined model, which is enriched with semantic information extracted automatically. Then, a set of digital views are created for document exploration from both a structural and semantic point of view. Effective and easier to use digital interfaces can enable and promote citizens engagement in decision-making processes, provide information for the public, and also enhance the study and analysis of legal texts by lawmakers, legal practitioners, and assorted scholars. © 2018 Copyright is held by the owner/author(s). Publication rights licensed to ACM.

Abstract
A Community of Practice (CoP) allows practitioners of a clearly defined domain to share knowledge, experience, and best practices. It provides a social context for practitioners, often distributed across multiple organizations, and emerged over the last few decades as a fundamental mechanism for knowledge sharing, management, and generation within organizations. Best practices, innovations, and solutions to shared problems first emerge within CoPs. These are, and must be perceived as, an investment in organizations' future and competitiveness. Establishing a CoP is a straightforward process, the most challenging factor being the recruitment of members to attain critical mass. The challenge is to maintain the CoP active, with members contributing with high quality, innovative content. Increasing a CoP's medium / long-term survival probabilities requires careful planning to avoid incurring in some well-known pitfalls. This paper proposes and discusses a set of nine guidelines for establishing and maintaining a community of practice within the context of Electronic Governance (EGOV) and Government Chief Information Officers (GCIO). This research was motivated by the initiative of the government of a developing country. Results are based on a review of the relevant literature, together with the detailed analysis of interviews to members or coordinators of large communities of practice. This analysis was further validated against the opinions of public servants directly involved on EGOV-GCIO-related functions during two focus groups meetings. © 2018 Association for Computing Machinery.