Walid Gomaa

MaRDI QIDQ1761707zbMATH OpenDBLPORCIDWikidataFDO

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
Characterizing polynomial time computability of rational and real functions	2021-01-26	Paper
On the extension of computable real functions	2021-01-19	Paper
On the complexity of bounded time and precision reachability for piecewise affine systems Theoretical Computer Science	2018-06-05	Paper
On the query complexity of real functionals 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
On the complexity of bounded time reachability for piecewise affine systems Lecture Notes in Computer Science	2015-10-28	Paper
Analytical properties of resource-bounded real functionals Journal of Complexity	2014-07-31	Paper
Computability and Complexity over the Product Topology of Real Numbers	2014-05-07	Paper
An approach to human-level commonsense reasoning Paraconsistency: Logic and Applications	2013-04-02	Paper
A survey of recursive analysis and Moore's notion of real computation Natural Computing	2012-11-15	Paper
Descriptive complexity of finite abelian groups International Journal of Algebra and Computation	2011-01-13	Paper
Polynomial time computation in the context of recursive analysis Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Active logic semantics for a single agent in a static world Artificial Intelligence	2009-07-17	Paper
Expressibility in _1¹	2008-08-25	Paper
scientific article; zbMATH DE number 2043391 (Why is no real title available?)	2004-02-16	Paper

Research outcomes over time

This page was built for person: Walid Gomaa