Andreas Fürst

According to our database, Andreas Fürst authored at least 13 papers between 2009 and 2025.

Collaborative distances:

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

2025

Towards scientific machine learning for granular material simulations - challenges and opportunities.

Marc Fransen, Andreas Fürst, Deepak Tunuguntla, Daniel N. Wilke, Benedikt Alkin, Daniel Barreto, Johannes Brandstetter, Miguel Angel Cabrera, Xinyan Fan, Mengwu Guo, Bram Kieskamp, Krishna Kumar, John Morrissey, Jonathan Nuttall, Jin Y. Ooi, Luisa Orozco, Stefanos-Aldo Papanicolopulos, Tongming Qu, Dingena Schott, Takayuki Shuku, WaiChing Sun, Thomas Weinhart, Dongwei Ye, Hongyang Cheng

CoRR, April, 2025

LaM-SLidE: Latent Space Modeling of Spatial Dynamical Systems via Linked Entities.

Florian Sestak, Artur P. Toshev, Andreas Fürst, Günter Klambauer, Andreas Mayr, Johannes Brandstetter

CoRR, February, 2025

2024

Universal Physics Transformers.

Benedikt Alkin, Andreas Fürst, Simon Schmid, Lukas Gruber, Markus Holzleitner, Johannes Brandstetter

CoRR, 2024

Universal Physics Transformers: A Framework For Efficiently Scaling Neural Operators.

Benedikt Alkin, Andreas Fürst, Simon Schmid, Lukas Gruber, Markus Holzleitner, Johannes Brandstetter

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Contrastive Tuning: A Little Help to Make Masked Autoencoders Forget.

Johannes Lehner, Benedikt Alkin, Andreas Fürst, Elisabeth Rumetshofer, Lukas Miklautz, Sepp Hochreiter

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

CLOOB: Modern Hopfield Networks with InfoLOOB Outperform CLIP.

Andreas Fürst, Elisabeth Rumetshofer, Johannes Lehner, Viet T. Tran, Fei Tang, Hubert Ramsauer, David P. Kreil, Michael Kopp, Günter Klambauer, Angela Bitto, Sepp Hochreiter

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

CLOOB: Modern Hopfield Networks with InfoLOOB Outperform CLIP.

Andreas Fürst, Elisabeth Rumetshofer, Viet Tran, Hubert Ramsauer, Fei Tang, Johannes Lehner, David P. Kreil, Michael Kopp, Günter Klambauer, Angela Bitto-Nemling, Sepp Hochreiter

CoRR, 2021

2016

Large-scale system development using Abstract Data Types and refinement.

Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki

Sci. Comput. Program., 2016

2015

Formal development of a train control system using Event-B.

Andreas Fürst

PhD thesis, 2015

2014

Code Generation for Event-B.

Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Formal System Modelling Using Abstract Data Types in Event-B.

Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Abstract Data Types in Event-B - An Application of Generic Instantiation

David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato

CoRR, 2012

2009

Event-B Patterns and Their Tool Support.

Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009