Patrick Schultz | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

David I. Spivak
21 publications
Ramana Kumar
12 publications
James Koppel
6 publications
Ryan Wisnesky
6 publications
Gregory Malecha
2 publications
Philip Zucker
2 publications
Gopal Sarma
1 publication
Eric Drexler
1 publication
Cody Roux
1 publication

research

∙ 01/12/2023

Algebraic Model Management: A Survey

We survey the field of model management and describe a new model managem...

0 Patrick Schultz, et al. ∙

research

∙ 04/01/2021

Formal Methods for the Informal Engineer: Workshop Recommendations

Formal Methods for the Informal Engineer (FMIE) was a workshop held at t...

12 Gopal Sarma, et al. ∙