Leandro G. Gomes

MaRDI QIDQ2050967zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Spacetimes with homogeneous and isotropic expansion Classical and Quantum Gravity	2026-02-10	Paper
BiGKAT: an algebraic framework for relational verification of probabilistic programs	2025-12-04	Paper
Towards determinism in PDL: relations and proof theory Journal of Logic and Computation	2025-10-15	Paper
Breaking the cosmological principle into pieces: a prelude to the intrinsically homogeneous and isotropic spacetimes Classical and Quantum Gravity	2024-06-24	Paper
Logics for Petri Nets with Propagating Failures	2024-03-14	Paper
Weighted synchronous automata Mathematical Structures in Computer Science	2023-04-19	Paper
On the intrinsically flat cosmological models in a lattice Classical and Quantum Gravity	2022-12-07	Paper
A semantics and a logic for \textit{Fuzzy Arden Syntax} Soft Computing	2022-11-21	Paper
On Kleene algebras for weighted computation Lecture Notes in Computer Science	2022-11-04	Paper
Generalising KAT to Verify Weighted Computations Scientific Annals of Computer Science	2022-07-19	Paper
The nonlinear patterns of the cosmic anisotropy: the spatially flat perfect fluid universes Classical and Quantum Gravity	2022-01-24	Paper
The oscillatory anisotropy in the spatially flat cosmological models Annals of Physics	2021-09-01	Paper
Intrinsically symmetric cosmological model in the presence of dissipative fluids International Journal of Modern Physics D	2021-08-10	Paper
Introducing synchrony in fuzzy automata	2021-01-19	Paper
On the construction of multi-valued concurrent dynamic logics	2020-07-08	Paper
On the construction of multi-valued concurrent dynamic logics (available as arXiv preprint)	2020-07-08	Paper
Bianchi-I cosmology from causal thermodynamics Classical and Quantum Gravity	2017-04-05	Paper
On the local form of static plane symmetric spacetimes in the presence of matter Classical and Quantum Gravity	2015-11-26	Paper
Hot scalar radiation setting bounds on the curvature coupling parameter Classical and Quantum Gravity	2015-06-09	Paper
Multisymplectic and polysymplectic structures on fiber bundles Reviews in Mathematical Physics	2013-12-19	Paper
Some maximal isotropic distributions and their relation to field theory	2009-09-04	Paper

Research outcomes over time

This page was built for person: Leandro G. Gomes