Andreas Fürst

According to our database, Andreas Fürst authored at least 10 papers between 2012 and 2024.

Collaborative distances:

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

2024

Universal Physics Transformers.

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

CoRR, 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

2013

Event-B patterns and their tool support.

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

Softw. Syst. Model., 2013

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