Fabian Fritz

According to our database, Fabian Fritz authored at least 5 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

LagrangeBench: A Lagrangian Fluid Mechanics Benchmarking Suite.

Artur P. Toshev, Gianluca Galletti, Fabian Fritz, Stefan Adami, Nikolaus A. Adams

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

On Using Pre-Trained Embeddings for Detecting Anomalous Sounds with Limited Training Data.

Kevin Wilkinghoff, Fabian Fritz

Proceedings of the 31st European Signal Processing Conference, 2023

2011

Developing Camille, a text editor for Rodin.

Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt

Softw. Pract. Exp., 2011

Automated property verification for large scale B models with ProB.

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Formal Aspects Comput., 2011

2009

Automated Property Verification for Large Scale B Models.

Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge

Proceedings of the FM 2009: Formal Methods, 2009