PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

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 Rodrigues University of Stuttgart

A Visual Analytics Approach for Word Relevances in Multiple Texts, , , and . (2017)

Timm Mebert University of Stuttgart

Dr. -Ing. Timm Kuhlmann University of Stuttgart

Nils Reiter

Timm Esper University of Stuttgart

 

Other publications of authors with the same name

Parameterisation of Three-Valued Abstractions., and . SBMF, volume 8941 of Lecture Notes in Computer Science, page 162-178. Springer, (2014)On Symmetries and Spotlights - Verifying Parameterised Systems., and . ICFEM, volume 6447 of Lecture Notes in Computer Science, page 534-548. Springer, (2010)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)Heuristic-Guided Abstraction Refinement for Concurrent Systems., , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 348-363. Springer, (2012)Parameterised three-valued model checking., and . Sci. Comput. Program., (2016)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)Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking., , and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 126-143. Springer, (2018)Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems.. TASE, page 18-25. IEEE Computer Society, (2014)Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking., and . SBMF, volume 9526 of Lecture Notes in Computer Science, page 19-35. Springer, (2015)