Pedro Ribeiro

Available identifiers

zbMath Open ribeiro.pedroMaRDI QIDQ1405434

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pedro Ribeiro