Benjamin Lux

Orcid: 0000-0003-0564-4836

According to our database¹, Benjamin Lux authored at least 4 papers between 2005 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

Supply curves of electricity-based gaseous fuels in the MENA region.

[BibT_eX]

[DOI]

Comput. Ind. Eng., 2021

Carbon-neutral energy systems and the importance of flexibility options: A case study in China.

[BibT_eX]

[DOI]

Comput. Ind. Eng., 2021

2007

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

2005

Application of design for verification with concurrency controllers to air traffic control software.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Benjamin Lux

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...