publicações selecionadas
-
artigo académico
- Trainability issues in quantum policy gradients. Machine Learning: Science and Technology. 2024
- Policy gradients using variational quantum circuits. Quantum Machine Intelligence. 2023
- Quantum privacy-preserving service for secure lane change in vehicular networks. IET Quantum Communication. 2023
- Modelling and control of manufacturing systems subject to context recognition and switching. International Journal of Production Research. 2022
- A tribute to José Manuel Valença. Journal of Logical and Algebraic Methods in Programming. 2022
- A semantics and a logic for Fuzzy Arden Syntax. Soft Computing. 2021
- Fuzzy Automata as Coalgebras. Biomedicine. 2021
- Quantum Tree-Based Planning. IEEE Access. 2021
- Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer. Complexity. 2020
- Data governance: Organizing data for trustworthy Artificial Intelligence. Government Information Quarterly. 2020
- A component-based framework for certification of components in a cloud of HPC services. International Journal on Software Tools for Technology Transfer. 2020
- Introducing Synchrony in Fuzzy Automata. Electronic Notes in Theoretical Computer Science. 2020
- A logic for the stepwise development of reactive systems. Theoretical Computer Science. 2018
- Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science. 2018
- A taxonomy for planning and designing smart mobility services. Government Information Quarterly. 2018
- Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science. 2018
- A method for rigorous design of reconfigurable systems. International Journal on Software Tools for Technology Transfer. 2016
- Continuity as a computational effect. Journal of Logical and Algebraic Methods in Programming. 2016
- Proof theory for hybrid(ised) logics. International Journal on Software Tools for Technology Transfer. 2016
- A perspective on architectural re-engineering. International Journal on Software Tools for Technology Transfer. 2015
- On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015
- Refinement in hybridised institutions. Formal Aspects of Computing. 2015
- Towards an engine for coordination-based architectural reconfigurations. Computer Science and Information Systems. 2015
- A Hilbert-Style Axiomatisation for Equational Hybrid Logic. Journal of Logic Language and Information. 2014
- A Coalgebraic Perspective on Logical Interpretations. Studia Logica. 2013
- On the reconfiguration of software connectors. Proceedings of the ACM Symposium on Applied Computing. 2013
- A Calculus for Generic, QoS-Aware Component Composition. Mathematics in Computer Science. 2012
- Bringing class diagrams to life. Innovations in Systems and Software Engineering. 2010
- Slicing for architectural analysis. International Journal on Software Tools for Technology Transfer. 2010
- A Single Complete Relational Rule for Coalgebraic Refinement. Electronic Notes in Theoretical Computer Science. 2009
- A perspective on service orchestration. International Journal on Software Tools for Technology Transfer. 2009
- Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electronic Notes in Theoretical Computer Science. 2009
- Refinement by Interpretation in a General Setting. Electronic Notes in Theoretical Computer Science. 2009
- Refinement via interpretation. SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. 2009
- An Exercise on Transition Systems. Electronic Notes in Theoretical Computer Science. 2008
- On the discovery of business processes orchestration patterns. Proceedings - 2008 IEEE Congress on Services, SERVICES 2008. 2008
- Towards a Coordination Model for Interactive Systems. Electronic Notes in Theorectical Computer Science. 2008
- UML model refactoring as refinement: A coalgebraic perspective. Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2008. 2008
- An Orchestrator for Dynamic Interconnection of Software Components. Electronic Notes in Theoretical Computer Science. 2007
- Configurations of Web Services. Electronic Notes in Theoretical Computer Science. 2007
- Component Identification Through Program Slicing. Electronic Notes in Theoretical Computer Science. 2006
- Components as coalgebras: The refinement dimension. Theoretical Computer Science. 2006
- Transposing partial components-An exercise on coalgebraic refinement. Theoretical Computer Science. 2006
- A coalgebraic semantic framework for component-based development in UML. Electronic Notes in Theoretical Computer Science. 2005
- Architectural prototyping: From CCS to. Net. Electronic Notes in Theoretical Computer Science. 2005
- State-based components made generic. Electronic Notes in Theoretical Computer Science. 2003
- Process calculi à la bird-meertens. Electronic Notes in Theoretical Computer Science. 2001
-
artigo de conferência
- Capturing Qubit Decoherence through Paraconsistent Transition Systems 2023
- A logic for paraconsistent transition system. Electronic Proceedings in Theoretical Computer Science. 2022
- Generalised quantum tree search 2021
- Towards a register-based census in Oman 2020
- Communities of Practice as a tool to support the GCIO function 2018
- Transforming Legal Documents for Visualization and Analysis 2018
- Layered logics, coalgebraically 2017
- A Refinement Relation for Families of Timed Automata. International Journal on Software Tools for Technology Transfer. 2017
- Administrative Burden Reduction Over Time: Literature Review, Trends and Gap Analysis 2017
- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. International Journal on Software Tools for Technology Transfer. 2017
- Composing Families of Timed Automata. International Journal on Software Tools for Technology Transfer. 2017
- Digital Governance for Sustainable Development 2017
- On Kleene Algebras for Weighted Computation. International Journal on Software Tools for Technology Transfer. 2017
- Applying the 3C Model to FLOSS Communities. International Journal on Software Tools for Technology Transfer. 2016
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. International Journal on Software Tools for Technology Transfer. 2016
- Electronic governance in Portugal: A silent pioneer 2016
- Hybrid Automata as Coalgebras. International Journal on Software Tools for Technology Transfer. 2016
- A Logic for Robotics?. AIP Conference Proceedings. 2015
- A Dynamic Logic for Every Season. International Journal on Software Tools for Technology Transfer. 2014
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. International Journal on Software Tools for Technology Transfer. 2014
- Quantitative analysis of Reo-based service coordination 2014
- A pilot project on non-conventional learning. Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. 2013
- An Institution for Alloy and Its Translation to Second-Order Logic. Advances in Intelligent Systems and Computing. 2013
- Bisimilarity and refinement for hybrid(ised) logics. Electronic Proceedings in Theoretical Computer Science. 2013
- Boilerplates for reconfigurable systems: A language and its semantics. International Journal on Software Tools for Technology Transfer. 2013
- Giving Alloy a family 2013
- Hybridisation at Work. International Journal on Software Tools for Technology Transfer. 2013
- When Even the Interface Evolves... 2013
- A Preliminary Analysis of Learning Awareness in FLOSS Projects. International Journal on Software Tools for Technology Transfer. 2012
- Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government 2012
- Reconfiguration mechanisms for service coordination. International Journal on Software Tools for Technology Transfer. 2012
- Software components as invariant-typed arrows (Keynote Talk). International Journal on Software Tools for Technology Transfer. 2012
- A language for behavioural modelling of architectural patterns 2011
- Bigraphical modelling of architectural patterns. International Journal on Software Tools for Technology Transfer. 2011
- Hybrid specification of reactive systems: An institutional approach. International Journal on Software Tools for Technology Transfer. 2011
- Hybridization of institutions. International Journal on Software Tools for Technology Transfer. 2011
- Logic training through algorithmic problem solving. International Journal on Software Tools for Technology Transfer. 2011
- Refinement by interpretation in pi-institutions. Electronic Proceedings in Theoretical Computer Science. 2011
- Shacc: A functional prototyper for a component calculus. International Journal on Software Tools for Technology Transfer. 2011
- The role of coordination analysis in software integration projects. International Journal on Software Tools for Technology Transfer. 2011
- Towards the introduction of QoS information in a component model 2010
- A coordination model for interactive components. International Journal on Software Tools for Technology Transfer. 2009
- A relational model for confined separation logic 2008
- A type-level approach to component prototyping 2007
- On refinement of software architectures. International Journal on Software Tools for Technology Transfer. 2005
- On refinement of generic state-based software components. International Journal on Software Tools for Technology Transfer. 2004
- Specifying software connectors. International Journal on Software Tools for Technology Transfer. 2004
- Coinductive interpreters for process calculi. International Journal on Software Tools for Technology Transfer. 2002
- Components as processes: An exercise in coalgebraic modeling. IFIP Advances in Information and Communication Technology. 2000
- CAMILA: Prototyping and Refinement of Constructive Specifications. International Journal on Software Tools for Technology Transfer. 1997
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. International Journal on Software Tools for Technology Transfer. 2019
- Reactive Models for Biological Regulatory Networks. International Journal on Software Tools for Technology Transfer. 2019
- A Note on Reactive Transitions and Reo Connectors. International Journal on Software Tools for Technology Transfer. 2018
- Networks of Universities as a Tool for GCIO Education. International Journal on Software Tools for Technology Transfer. 2017
- Reuse and Integration of Specification Logics: The Hybridisation Perspective. Advances in Intelligent Systems and Computing. 2016
- Integrating formal and informal learning through a FLOSS-based innovative approach. International Journal on Software Tools for Technology Transfer. 2013
- Calculating invariants as coreflexive bisimulations. International Journal on Software Tools for Technology Transfer. 2008
- Modelling is for reasoning 2007
-
documento
- Paraconsistent transition systems. Electronic Proceedings in Theoretical Computer Science. 2023
- Quantum bayesian decision‑making. Foundations of Science. 2023
- Structured specification of paraconsistent transition systems. International Journal on Software Tools for Technology Transfer. 2023
- Coalgebra for the working software engineer. Journal of Applied Logics. 2022
- Weighted synchronous automata. Mathematical Structures in Computer Science. 2022
- Towards a specification theory for fuzzy modal logic 2021
- A framework for intelligent policy decision making based on a government data hub 2020
- Software engineering for 'quantum advantage' 2020
- Combining advantages from parameters in modeling and control of discrete event systems. IEEE International Conference on Emerging Technologies and Factory Automation - ETFA. 2019
- Deep learning powered question-answering framework for organizations digital transformation 2019
- Generalising KAT to verify weighted computations. Scientific Annals of Computer Science. 2019
- A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC services 2017
- Modeling families of public licensing services: a case study. FME Workshop on Formal Methods in Software Engineering. 2017
- On infinitary equational hybrid logic 2017
- An enhanced model for stochastic coordination. Electronic Proceedings in Theoretical Computer Science. 2016
- Formal aspects of component software (FACS 2010 selected and extended papers). International Journal on Software Tools for Technology Transfer. 2014
- Introducing hierarquical hybrid logic 2014
- ReCooPla: a DSL for coordination-based reconfiguration of software architectures. OASIcs: OpenAccess Series in Informatics. 2014
- Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface. International Journal on Software Tools for Technology Transfer. 2014
- Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface. International Journal on Software Tools for Technology Transfer. 2014
- The role of logical interpretations on program development. Logical Methods in Computer Science. 2014
- FLOSS communities as learning networks. International Journal of Information and Education Technology. 2013
- Verifying bigraphical models of architectural reconfigurations 2013
- Analysing tactics in architectural patterns. IEEE Annual IEEE Software Engineering Workshop. 2012
- Models as arrows: the role of dialgebras 2011
- On requirements engineering for reactive systems: a formal methodology 2011
- Reasoning about complex requirements in a uniform setting 2011
- Revisiting context-aware component interconnection. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 2011
- Towards rigorous analysis of open source software 2011
- Certification of open-source software : a role for formal methods?. Computer Systems Science and Engineering. 2010
- QoS-aware component composition 2010
- Should mathematics remain invisible? 2010
- A coalgebraic semantic framework for reasoning about interaction designs 2009
- Which mathematics for the Information Society?. International Journal on Software Tools for Technology Transfer. 2009
- A coalgebraic semantic framework for reasoning about UML: sequence diagrams. International Conference on Quality Software. 2008
- COORDINSPECTOR : a tool for extracting coordination data from legacy code 2008
- Extracting and verifying coordination models from source code 2008
- Higher-order lazy functional slicing. Journal of Universal Computer Science. 2007
- Generic process algebra: a programming challenge. Journal of Universal Computer Science. 2006
- Program slicing by calculation. Journal of Universal Computer Science. 2006
- From algebras to objects: generation and composition. Journal of Universal Computer Science. 2005
- Camila revival: VDM meets haskell 2005
- On semantics and refinement of UML statecharts: a coalgebraic view 2004
- Prototyping behavioural specifications in the net framework 2004
- Towards a relational model for component interconnection 2004
- On the specification of a component repository 2003
- Towards a calculus of state-based software components. Journal of Universal Computer Science. 2003
- Components as coalgebras 2001
- Polytipic recursion patterns 2000
- Prototyping processes 1999
- CAMILA: formal software engineering supported by functional programming 1997