publicações selecionadas
-
artigo académico
- Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials. Quantum. 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
- Guarded weighted synchronous automata. Mathematical Structures in Computer Science. 2022
- Modelling and control of manufacturing systems subject to context recognition and switching. International Journal of Production Research. 2022
- Coalgebra for the working software engineer. Journal of Applied Logics - IfCoLog Journal . 2022
- Quantum Bayesian decision-making. Foundations of Science. 2021
- Generalising KAT to Verify Weighted Computations. Scientific Annals of Computer Science. 2019
- A Research Agenda on Quantum Algoritmics. ERCIM NEWS. 2018
- An Enhanced Model for Stochastic Coordination. Electronic Proceedings in Theoretical Computer Science. 2016
- A logic for n-dimensional hierarchical refinement. Electronic Proceedings in Theoretical Computer Science. 2015
- IMCReo: interactive Markov chains for Stochastic Reo. J. Internet Serv. Inf. Secur.. 2015
- Reasoning about software reconfigurations: The behavioural and structural perspectives. Computational Methods in Applied Sciences. 2015
- Self-adaptation by coordination-targeted reconfigurations. Journal of Software Engineering Research and Development. 2015
- The Role of Logic Interpretation in Program Development . Logical Methods in Computer Science. 2014
- On the reconfiguration of software connectors. Proceedings of the ACM Symposium on Applied Computing. 2013
- Certification of open-source software: A role for formal methods?. Computer Systems Science and Engineering. 2010
- Special issue: Open source certification. Computer Systems Science and Engineering. 2010
- Preface. Electronic Communications of the EASST. 2009
- Refinement via interpretation. SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods. 2009
- On the discovery of business processes orchestration patterns. Proceedings - 2008 IEEE Congress on Services, SERVICES 2008. 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
- Higher-order lazy functional slicing. Journal of Universal Computer Science. 2007
- Selected papers from SBLP 2007: The 11th brazilian symposium on programming languages J.UCS special issue. 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
- Selected papers from SBLP 2006: The 10th Brazilian Symposium on Programming Languages J.UCS Special Issue. Journal of Universal Computer Science. 2006
- From algebras to objects: Generation and composition. Journal of Universal Computer Science. 2005
- A relational model for component interconnection. Journal of Universal Computer Science. 2004
- Towards a calculus of state-based software components. Journal of Universal Computer Science. 2003
-
artigo de conferência
- Stepwise Development of Paraconsistent Processes 2023
- Structured Specification of Paraconsistent Transition Systems} 2023
- Capturing Qubit Decoherence through Paraconsistent Transition Systems 2023
- A logic for paraconsistent transition system 2022
- Towards a specification theory for fuzzy modal logic 2021
- Generalised quantum tree search 2021
- Software engineering for ‘quantum advantage’ 2020
- Towards a register-based census in Oman 2020
- Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems. IEEE International Conference on Emerging Technologies and Factory Automation - ETFA. 2019
- 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 Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services 2017
- A Refinement Relation for Families of Timed Automata. Computational Methods in Applied Sciences. 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. Computational Methods in Applied Sciences. 2017
- Completeness and Decidability Results for Hybrid(ised) Logics 2017
- Composing Families of Timed Automata. Computational Methods in Applied Sciences. 2017
- Digital Governance for Sustainable Development 2017
- Modeling Families of Public Licensing Services: A Case Study. FME Workshop on Formal Methods in Software Engineering. 2017
- On Kleene Algebras for Weighted Computation. Computational Methods in Applied Sciences. 2017
- An Ontology for Licensing Public Transport Services 2016
- Applying the 3C Model to FLOSS Communities. Computational Methods in Applied Sciences. 2016
- Asymmetric Combination of Logics is Functorial: A Survey 2016
- Collaborative Environments in Software Engineering Teaching: A FLOSS Approach 2016
- Digital Government and Administrative Burden Reduction 2016
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. Computational Methods in Applied Sciences. 2016
- Electronic governance in Portugal: A silent pioneer 2016
- Hybrid Automata as Coalgebras. Computational Methods in Applied Sciences. 2016
- A Logic for Robotics?. AIP Conference Proceedings. 2015
- Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language 2015
- A Dynamic Logic for Every Season. Computational Methods in Applied Sciences. 2014
- A self-adaptation strategy for service-based architectures 2014
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. Computational Methods in Applied Sciences. 2014
- Paradigm integration in a specification course 2014
- Quantitative analysis of Reo-based service coordination 2014
- ReCooPLa: a DSL for Coordination-based Reconfiguration of Software Architectures 2014
- A pilot project on non-conventional learning. Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. 2013
- Analysis of FLOSS Communities as Learning Contexts 2013
- Bisimilarity and refinement for hybrid(ised) logics. Electronic Proceedings in Theoretical Computer Science. 2013
- Boilerplates for reconfigurable systems: A language and its semantics. Computational Methods in Applied Sciences. 2013
- Giving Alloy a family 2013
- Hybridisation at Work. Computational Methods in Applied Sciences. 2013
- Verifying bigraphical models of architectural reconfigurations 2013
- When Even the Interface Evolves... 2013
- A Preliminary Analysis of Learning Awareness in FLOSS Projects. Computational Methods in Applied Sciences. 2012
- Analysing Tactics in Architectural Patterns 2012
- Exploiting the FLOSS paradigm in collaborative e-learning-application to e-Government 2012
- FLOSS in technology-enhanced learning 2012
- Mathematical Literacy as a Condition for Sustainable Development 2012
- Reconfiguration mechanisms for service coordination. Computational Methods in Applied Sciences. 2012
- Software components as invariant-typed arrows (Keynote Talk). Computational Methods in Applied Sciences. 2012
- A language for behavioural modelling of architectural patterns 2011
- Bigraphical modelling of architectural patterns. Computational Methods in Applied Sciences. 2011
- Hybrid specification of reactive systems: An institutional approach. Computational Methods in Applied Sciences. 2011
- Hybridization of institutions. Computational Methods in Applied Sciences. 2011
- Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011
- Refinement by interpretation in pi-institutions. Electronic Proceedings in Theoretical Computer Science. 2011
- Shacc: A functional prototyper for a component calculus. Computational Methods in Applied Sciences. 2011
- The role of coordination analysis in software integration projects. Computational Methods in Applied Sciences. 2011
- QoS-aware Component Composition 2010
- Revisiting context-aware component interconnection 2010
- Should mathematics remain invisible? 2010
- Towards the introduction of QoS information in a component model 2010
- A coordination model for interactive components. Computational Methods in Applied Sciences. 2009
- Refinement via interpretation 2009
- Which Mathematics for the Information Society? 2009
- A coalgebraic semantic framework for reasoning about UML sequence diagrams 2008
- A relational model for confined separation logic 2008
- CoordInspector: A Tool for Extracting Coordination Data from Legacy Code 2008
- On The Discovery of Business Processes Orchestration Patterns 2008
- UML Model Refactoring as Refinement: A Coalgebraic Perspective 2008
- A type-level approach to component prototyping 2007
- On refinement of software architectures. Computational Methods in Applied Sciences. 2005
- Slicing Functional Programs by Calculation 2005
- A perspective on component refinement 2004
- On semantics and refinement of UML statecharts: A coalgebraic view 2004
- Specifying software connectors 2004
- Coinductive Interpreters for Process Calculi 2002
- Components as processes: An exercise in coalgebraic modeling. IFIP Advances in Information and Communication Technology. 2000
- Prototyping Processes 1999
- CAMILA: Prototyping and Refinement of Constructive Specifications. Computational Methods in Applied Sciences. 1997
-
artigo de revista
- A semantics and a logic for Fuzzy Arden Syntax. Soft Computing. 2021
- Fuzzy Automata as Coalgebras. Biology. 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. Computational Methods in Applied Sciences. 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. Computational Methods in Applied Sciences. 2016
- Continuity as a computational effect. Journal of Logical and Algebraic Methods in Programming. 2016
- Proof theory for hybrid(ised) logics. Computational Methods in Applied Sciences. 2016
- A perspective on architectural re-engineering. Computational Methods in Applied Sciences. 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
- 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. Computational Methods in Applied Sciences. 2010
- A Single Complete Relational Rule for Coalgebraic Refinement. Electronic Notes in Theoretical Computer Science. 2009
- A perspective on service orchestration. Computational Methods in Applied Sciences. 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
- An Exercise on Transition Systems. Electronic Notes in Theoretical Computer Science. 2008
- Towards a Coordination Model for Interactive Systems. Electronic Notes in Theorectical Computer Science. 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
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Computational Methods in Applied Sciences. 2019
- Reactive Models for Biological Regulatory Networks. Computational Methods in Applied Sciences. 2019
- A Note on Reactive Transitions and Reo Connectors. Computational Methods in Applied Sciences. 2018
- Networks of Universities as a Tool for GCIO Education. Computational Methods in Applied Sciences. 2017
- Reuse and Integration of Specification Logics: The Hybridisation Perspective. AI Communications. 2016
- An Institution for Alloy and Its Translation to Second-Order Logic. AI Communications. 2013
- Integrating formal and informal learning through a FLOSS-based innovative approach. Computational Methods in Applied Sciences. 2013
- Coalgebraic Semantic Framework for Reasoning about Interaction Designs 2009
- Calculating invariants as coreflexive bisimulations. Computational Methods in Applied Sciences. 2008
- Modelling is for reasoning 2007
- On refinement of generic state-based software components. Computational Methods in Applied Sciences. 2004
-
documento
- Effectful Components and Program Equivalence 2020
- A type system for simple quantum processes 2020
- Proceedings of the 8th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2014, Guimaraes, Portugal, October 27-30, 2014 2014
- Selected and extended papers of the Brazilian Symposium on Programming Languages 2012 Preface. Computational Methods in Applied Sciences. 2014
- Selected contributions from the Open Source Software Certification (OpenCert) workshops Preface. Computational Methods in Applied Sciences. 2014
- Preface 2012
- Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings 2012
- Lince - Lightweight protototyping of hybrid programs (software)
-
livro