Dr. Lars Kuhtz
Dr. Lars Kuhtz
Senior Software Engineer, Kadena
Verified email at kadena.io - Homepage
Title
Cited by
Cited by
Year
LTL Path Checking Is Efficiently Parallelizable
L Kuhtz, B Finkbeiner
International Colloquium on Automata, Languages, and Programming, 235-246, 2009
332009
Monitor circuits for LTL with bounded and unbounded future
B Finkbeiner, L Kuhtz
International Workshop on Runtime Verification, 60-75, 2009
292009
Trust services for securing data in the cloud
I Gorbach, V Krishnan, A Shur, D Denisov, L Kuhtz, S Adabala, ...
US Patent 9,894,040, 2018
212018
Weak Kripke structures and LTL
L Kuhtz, B Finkbeiner
International Conference on Concurrency Theory, 419-433, 2011
182011
Monitoring and controlling access to electronic content
RP D'souza, L Kuhtz
US Patent 8,681,992, 2014
142014
Model checking finite paths and trees
L Kuhtz
122010
Efficient parallel path checking for linear-time temporal logic with past and bounds
L Kuhtz, B Finkbeiner
Logical Methods in Computer Science 8 (4:10), 1-24, 2012
112012
Data mapping using trust services
M Entin, D Denisov, L Kuhtz, I Gorbach, V Krishnan, A Shur
US Patent 8,819,770, 2014
102014
Data mapping using trust services
M Entin, D Denisov, L Kuhtz, I Gorbach, V Krishnan, A Shur
US Patent 8,819,770, 2014
102014
Trust services data encryption for multiple parties
I Gorbach, V Krishnan, R Bezirganyan, A Shur, D Denisov, L Kuhtz
US Patent App. 13/657,246, 2014
92014
Tilt sensor and method of making same
R Figueria, T Pinto
US Patent 6,943,339, 2005
92005
An improved algorithm for approximating the chromatic number of Gn, p
A Coja-Oghlan, L Kuhtz
Information processing letters 99 (6), 234-238, 2006
62006
Mediator monitoring and controlling access to electronic content
RP D'souza, L Kuhtz
US Patent 8,976,967, 2015
52015
Mediator device monitoring and controlling access to electronic content
RP D'souza, L Kuhtz
US Patent 9,209,972, 2015
22015
Securely filtering trust services records
I Gorbach, V Krishnan, A Shur, D Denisov, L Kuhtz, S Mehta, M Galata
US Patent 8,959,351, 2015
22015
Colouring G_{n, p} and spectral techniques
L Kuhtz
https://www.react.uni-saarland.de/publications/K04b.pdf, 2004
22004
Securely filtering trust services records
I Gorbach, V Krishnan, A Shur, D Denisov, L Kuhtz, S Mehta, M Galata
US Patent 9,647,837, 2017
2017
Weak Kripke Structures and LTL
B Finkbeiner, L Kuhtz
2011
TLDA und Petrinetze
L Kuhtz
http://www.informatik.hu-berlin.de/top/download/publications/Kuhtz2004_sa.ps, 2004
2004
EFFICIENT PARALLEL PATH CHECKING FOR LINEAR-TIME TEMPORAL LOGIC WITH PAST AND BOUNDS (PREPRINT)
L KUHTZ, B FINKBEINER
The system can't perform the operation now. Try again later.
Articles 1–20