Monitor circuits for LTL with bounded and unbounded future B Finkbeiner, L Kuhtz International Workshop on Runtime Verification, 60-75, 2009 | 36 | 2009 |
LTL Path Checking Is Efficiently Parallelizable L Kuhtz, B Finkbeiner International Colloquium on Automata, Languages, and Programming, 235-246, 2009 | 35 | 2009 |
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 | 32 | 2014 |
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 | 27 | 2018 |
Chunk storage deduplication using graph structures L Kuhtz, JT Erickson, S Sengupta, V Sridharan, DOU Xianzheng, ... US Patent 10,210,170, 2019 | 22 | 2019 |
Monitoring and controlling access to electronic content RP D'souza, L Kuhtz US Patent 8,681,992, 2014 | 22 | 2014 |
Weak Kripke structures and LTL L Kuhtz, B Finkbeiner International Conference on Concurrency Theory, 419-433, 2011 | 20 | 2011 |
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 | 16 | 2012 |
Data mapping using trust services M Entin, D Denisov, L Kuhtz, I Gorbach, V Krishnan, A Shur US Patent 8,819,770, 2014 | 14 | 2014 |
Data mapping using trust services M Entin, D Denisov, L Kuhtz, I Gorbach, V Krishnan, A Shur US Patent 8,819,770, 2014 | 14 | 2014 |
Model checking finite paths and trees L Kuhtz | 12 | 2010 |
An improved algorithm for approximating the chromatic number of Gn, p A Coja-Oghlan, L Kuhtz Information processing letters 99 (6), 234-238, 2006 | 7 | 2006 |
Mediator monitoring and controlling access to electronic content RP D'souza, L Kuhtz US Patent 8,976,967, 2015 | 6 | 2015 |
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 | 5 | 2015 |
Mediator device monitoring and controlling access to electronic content RP D'souza, L Kuhtz US Patent 9,209,972, 2015 | 4 | 2015 |
Colouring G_{n, p} and spectral techniques L Kuhtz https://www.react.uni-saarland.de/publications/K04b.pdf, 2004 | 2 | 2004 |
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 | | |