Skip to main navigation
Skip to search
Skip to main content
Research Explorer The University of Manchester Home
Home
Profiles
Research units
Research output
Projects
Impacts
Activities
Press/Media
Prizes
Equipment
Datasets
Student theses
Search by expertise, name or affiliation
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Cordeiro, Lucas
(PI)
Brown, Gavin
(CoI)
Freitas, Andre
(CoI)
Luján, Mikel
(CoI)
Mustafa, Mustafa
(CoI)
Formal Methods
Department of Computer Science
Machine Learning and Robotics
Information Management
Advanced Processor Technology
Systems and Software Security
Centre for Digital Trust and Society
Overview
Fingerprint
Research output
(50)
Research output
Research output per year
2021
2021
2022
2023
2024
2024
23
Conference contribution
23
Article
1
Paper
1
Poster
2
More
1
Letter
1
Review article
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Letter
Search results
2021
Similarity-based equational inference in physics
Meadows, J.
&
Freitas, A.
,
28 Oct 2021
,
In:
Physical Review Research.
3
,
4
Research output
:
Contribution to journal
›
Letter
›
peer-review
Open Access
Tasks
100%
Similarities
100%
Computer Algebra System
100%
Symbolics
50%
State Transition
50%