Jim E. Newton

Publications

115

Citations

H-Index

2017

Active since

Affiliations

École Pour l'Informatique et les Techniques Avancées(Current)

Jim E. Newton is an author at École Pour l'Informatique et les Techniques Avancées specializing in formal methods, numerical analysis, and discrete mathematics.

ORCID

Top concepts

FuzzingEngineeringData ScienceGraph TheoryFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisCircuit Complexity

Publications per year

2017–2019

Publications

Programmatic Manipulation of Common Lisp Type Specifiers

Jim E. Newton, Didier Verna, Maximilien Colange · Ulster University Research Portal (Ulster University) · 2017 · 102 citations · Full text

A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams

Jim E. Newton, Didier Verna · ACM Transactions on Computational Logic · 2019 · 13 citations

Circuit Complexity, Numerical Analysis, Mathematical Programming +25

Rows per page

1–2 of 2