Martin Lundfall

According to our database, Martin Lundfall authored at least 2 papers between 2017 and 2024.

Collaborative distances:

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

2024

Hevm, a Fast Symbolic Execution Framework for EVM Bytecode.

Dxo, Mate Soos, Zoe Paraskevopoulou, Martin Lundfall, Mikael Brockman

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2017

Predicting Motor Intentions with Closed-Loop Brain-Computer Interfaces.

Matthias Schultze-Kraft, Mario Neumann, Martin Lundfall, Patrick Wagner, Daniel Birman, John-Dylan Haynes, Benjamin Blankertz

Proceedings of the Brain-Computer Interface Research - A State-of-the-Art Summary 6, 2017