Morgan Thomas

According to our database1, Morgan Thomas authored at least 11 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
3
1
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PromptSMILES: prompting for scaffold decoration and fragment linking in chemical language models.
J. Cheminformatics, December, 2024

Comparative Study of Allosteric GPCR Binding Sites and Their Ligandability Potential.
J. Chem. Inf. Model., 2024

ACEGEN: Reinforcement Learning of Generative Chemical Agents for Drug Discovery.
J. Chem. Inf. Model., 2024

2023
Arithmetization of predicates into Halo 2 using application specific trace types.
IACR Cryptol. ePrint Arch., 2023

Laser Fault Injection Vulnerability Assessment and Mitigation with Case Study on PG-TVD Logic Cells.
Proceedings of the IEEE International Test Conference, 2023

2022
Orbis Specification Language: a type theory for zk-SNARK programming.
IACR Cryptol. ePrint Arch., 2022

Arithmetization of Σ¹₁ relations in Halo 2.
IACR Cryptol. ePrint Arch., 2022

Arithmetization of Σ¹₁ relations with polynomial bounds in Halo 2.
IACR Cryptol. ePrint Arch., 2022

Look Ahead CLS in Pipelined SAR ADCs.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2022

2018
Approximating Cartesian Closed Categories in NF-Style Set Theories.
J. Philos. Log., 2018

2015
A Generalization of the Routley-Meyer Semantic Framework.
J. Philos. Log., 2015


  Loading...