Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Valentina Pitoni
A Temporal Module for Logical Frameworks
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Related publications
Module Interconnection Frameworks for a Real-Time Spreadsheet
Temporal Connectives and Logical Form
Annual Meeting of the Berkeley Linguistics Society
Temporal Relations in Texts and Time Logical Inferences
Unifying the Mechanism of Mitotic Exit Control in a Spatio-Temporal Logical Model
Attention Module-Based Spatial–temporal Graph Convolutional Networks for Skeleton-Based Action Recognition
Journal of Electronic Imaging
Electronic Engineering
Molecular Physics,
Computer Science Applications
Electrical
Atomic
Optics
Logical Information Theory: New Logical Foundations for Information Theory
Logic Journal of the IGPL
Philosophy
A Logical Semantics for Feature Structures
A Logical Framework for Evolution of Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Logical Framework for Reasoning About Risk
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
