Pedro Ribeiro

Available identifiers

Publication	Date of Publication	Type
Modelling and Verification of Timed Robotic Controllers	2022-11-04	Paper
Correction to: ``Sound reasoning in \textit{tock}-CSP	2022-05-17	Paper
Sound reasoning in \textit{tock}-CSP	2022-04-01	Paper
Spectral and Steady-State Properties of Random Liouvillians	2019-05-06	Paper
Angelic processes for CSP via the UTP	2019-01-02	Paper
Another Proof of the Famous Formula for the Zeta Function at Positive Even Integers	2018-11-09	Paper
A 2D Hopfield neural network approach to mechanical beam damage detection	2017-08-10	Paper
A Stepwise Approach to Linking Theories	2017-04-04	Paper
Angelicism in the Theory of Reactive Processes	2016-06-22	Paper
UTP Designs for Binary Multirelations	2015-01-13	Paper
G-Tries: a data structure for storing and finding subgraphs	2014-02-19	Paper
Entanglement and Hilbert space geometry for systems with a few qubits	2008-01-18	Paper
Coupled, thermoelastic, large amplitude vibrations of Timoshenko beams	2006-10-10	Paper
A p‐version, first order shear deformation, finite element for geometrically non‐linear vibration of curved beams	2005-12-08	Paper
A hierarchical finite element for geometrically non-linear vibration of thick plates	2003-08-25	Paper
A hierarchical finite element for geometrically non-linear vibration of doubly curved, moderately thick isotropic shallow shells	2003-08-06	Paper

This page was built for person: Pedro Ribeiro