( en | de | ru )

 

Disambiguation of "Timm, Nils"

Author of the publication

copydeleteadd this publication to your clipboard
CSI: PC2 - A High Performance Biometrie System

, , , , , , , , , , , , and . Informatiktage, volume S-6 of LNI, page 209-212. GI, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nils Timm

Nepomuk Felix Nilson

Kombinierte Bestimmung des immunreaktiven Trypsins und des Pankreatitis assoziierten Proteins als mögliche neue Methode des Neugeborenenscreenings auf Mukoviszidose: eine Machbarkeitsstudie. Uni Dresden, (2009)

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Enno Nilson

Pål Nilsson

 

Other publications of authors with the same name

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking., and . FTSCS, volume 1008 of Communications in Computer and Information Science, page 139-157. Springer, (2018)Three-valued bounded model checking with cause-guided abstraction refinement., and . Sci. Comput. Program., (2019)An evaluation of approaches to model checking real-time task schedulability analysis., , and . Int. J. Softw. Tools Technol. Transf., 25 (1): 115-128 (February 2023)Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems., , and . Sci. Comput. Program., (June 2023)Model checking safety and liveness via k-induction and witness refinement with constraint generation., , , and . Sci. Comput. Program., (2020)Spotlight Abstraction in Model Checking Real-Time Task Schedulability., , and . SPIN, volume 12864 of Lecture Notes in Computer Science, page 63-80. Springer, (2021)Synthesis of Cost-Optimal Multi-Agent Systems for Resource Allocation., and . FROM, volume 369 of EPTCS, page 67-82. (2022)Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems., , , and . EUMAS, volume 11450 of Lecture Notes in Computer Science, page 30-47. Springer, (2018)Model Checking and Strategy Synthesis for Multi-agent Systems for Resource Allocation., and . SBMF, volume 13130 of Lecture Notes in Computer Science, page 53-69. Springer, (2021)AutomaTutor: An Educational Mobile App for Teaching Automata Theory., , and . SBMF, volume 14414 of Lecture Notes in Computer Science, page 131-140. Springer, (2023)