Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger |
Liveness of Parameterized Timed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.04176, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Claudio Antares Mezzina, Vasileios Koutavas |
A Safety and Liveness Theory for Total Reversibility (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.05555, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare |
Liveness-Based Garbage Collection for Lazy Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.05841, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 12(1), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida |
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.08843, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proving Liveness of Parameterized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.02350, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Petr Jancar |
Deciding structural liveness of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.02327, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado |
Fingerprint Liveness Detection Using Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 11(6), pp. 1206-1213, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Rohit Kumar Dubey, Jonathan Goh, Vrizlynn L. L. Thing |
Fingerprint Liveness Detection From Single Image Using Low-Level Features and Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 11(7), pp. 1461-1475, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yaohui Ding, Ajita Rattani, Arun Ross |
Bayesian Belief models for integrating match scores with liveness and quality measures in a fingerprint verification system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2016, Halmstad, Sweden, June 13-16, 2016, pp. 1-8, 2016, IEEE, 978-1-5090-1869-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Nazariy K. Shaydyuk, Timothy Cleland |
Biometric identification via retina scanning with liveness detection using speckle contrast imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCST ![In: IEEE International Carnahan Conference on Security Technology, ICCST 2016, Orlando, FL, USA, October 24-27, 2016, pp. 1-5, 2016, IEEE, 978-1-5090-1072-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Linghan Zhang, Sheng Tan, Jie Yang 0003, Yingying Chen 0001 |
VoiceLive: A Phoneme Localization based Liveness Detection for Voice Authentication on Smartphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, Vienna, Austria, October 24-28, 2016, pp. 1080-1091, 2016, ACM, 978-1-4503-4139-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Anthony W. Lin, Philipp Rümmer |
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II, pp. 112-133, 2016, Springer, 978-3-319-41539-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jakub Daniel, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Sergio Mover |
Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pp. 271-291, 2016, Springer, 978-3-319-41527-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wonjun Kim 0001 |
Towards real biometrics : An overview of fingerprint liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSIPA ![In: Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA 2016, Jeju, South Korea, December 13-16, 2016, pp. 1-3, 2016, IEEE, 978-9-8814-7682-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare |
Liveness-based garbage collection for lazy languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14 - 14, 2016, pp. 122-133, 2016, ACM, 978-1-4503-4317-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proving Liveness of Parameterized Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 185-196, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Andrew M. Webb, Chen Wang 0034, Andruid Kerne, Pablo César |
Distributed Liveness: Understanding How New Technologies Transform Performance Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing, CSCW 2016, San Francisco, CA, USA, February 27 - March 2, 2016, pp. 431-436, 2016, ACM, 978-1-4503-3592-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Özgür Kafali, Nirav Ajmeri, Munindar P. Singh |
Formal Understanding of Tradeoffs among Liveness and Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE Workshops ![In: 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, pp. 17-18, 2016, IEEE Computer Society, 978-1-5090-4121-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yuming Li, Lai-Man Po, Xuyuan Xu, Litong Feng, Fang Yuan |
Face liveness detection and recognition using shearlet based feature descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 2016 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016, Shanghai, China, March 20-25, 2016, pp. 874-877, 2016, IEEE, 978-1-4799-9988-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
Heuristics for Checking Liveness Properties with Partial Order Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pp. 340-356, 2016, 978-3-319-46519-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez |
On liveness enforcement of DSSP net systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016, pp. 3935-3941, 2016, IEEE, 978-1-5090-1837-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yi Xu 0006, True Price, Jan-Michael Frahm, Fabian Monrose |
Virtual U: Defeating Face Liveness Detection by Building Virtual Models from Your Public Photos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016., pp. 497-512, 2016, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Jianzheng Liu, Jucheng Yang 0001, Chao Wu, Yarui Chen |
A Liveness Detection Method Based on Blood Volume Pulse Probing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings, pp. 646-654, 2016, 978-3-319-46653-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Qin Lin, Weijun Li, Xin Ning, Xiaoli Dong, Peng Chen |
Liveness Detection Using Texture and 3D Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings, pp. 637-645, 2016, 978-3-319-46653-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lifang Wu, Yaowen Xu, Xiao Xu, Wei Qi, Meng Jian |
A Face Liveness Detection Scheme to Combining Static and Dynamic Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings, pp. 628-636, 2016, 978-3-319-46653-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Kamlesh Tiwari, Suresh Kumar Choudhary, Phalguni Gupta |
An Efficient Face Recognition System with Liveness and Threat Detection for Smartphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Intelligent Computing Theories and Application - 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II, pp. 397-406, 2016, Springer, 978-3-319-42293-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Susanna Spinsante, Laura Montanini, Veronica Bartolucci, Manola Ricciuti, Ennio Gambi |
Android-Based Liveness Detection for Access Control in Smart Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GOODTECHS ![In: Smart Objects and Technologies for Social Good - Second International Conference, GOODTECHS 2016, Venice, Italy, November 30 - December 1, 2016, Proceedings, pp. 116-124, 2016, Springer, 978-3-319-61948-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Mohamed Naoum, Outman El Hichami, Mohammed Al Achhab, Badr Eddine El Mohajir |
A probabilistic method for business process verification: Reachability, Liveness and deadlock detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIST ![In: 4th IEEE International Colloquium on Information Science and Technology, CiSt 2016, Tangier, Morocco, October 24-26, 2016, pp. 128-132, 2016, IEEE, 978-1-5090-0751-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Sayaka Shiota, Fernando Villavicencio, Junichi Yamagishi, Nobutaka Ono, Isao Echizen, Tomoko Matsui |
Voice Liveness Detection for Speaker Verification based on a Tandem Single/Double-channel Pop Noise Detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Odyssey ![In: Odyssey 2016: The Speaker and Language Recognition Workshop, Bilbao, Spain, June 21-24, 2016, pp. 259-263, 2016, ISCA. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoju Dong, Yuxi Fu, Daniele Varacca |
Place Bisimulation and Liveness for Open Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, pp. 1-17, 2016, 978-3-319-47676-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wangyang Yu, Guanjun Liu, Leifeng He |
A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpaCCS ![In: Security, Privacy, and Anonymity in Computation, Communication, and Storage - 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings, pp. 70-83, 2016, 978-3-319-49147-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Jukka Komulainen, Iryna Anina, Jukka Holappa, Elhocine Boutellaa, Abdenour Hadid |
On the robustness of audiovisual liveness detection to visual speech animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTAS ![In: 8th IEEE International Conference on Biometrics Theory, Applications and Systems, BTAS 2016, Niagara Falls, NY, USA, September 6-9, 2016, pp. 1-8, 2016, IEEE, 978-1-4673-9733-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Lingxiao He, Haiqing Li, Fei Liu 0031, Nianfeng Liu, Zhenan Sun, Zhaofeng He |
Multi-patch convolution neural network for iris liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTAS ![In: 8th IEEE International Conference on Biometrics Theory, Applications and Systems, BTAS 2016, Niagara Falls, NY, USA, September 6-9, 2016, pp. 1-7, 2016, IEEE, 978-1-4673-9733-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Eunsoo Park, Weonjin Kim, Qiongxiu Li, Jungmin Kim, Hakil Kim |
Fingerprint Liveness Detection Using CNN Features of Random Sample Patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSIG ![In: 2016 International Conference of the Biometrics Special Interest Group, BIOSIG 2016, Darmstadt, Germany, September 21-23, 2016, pp. 321-328, 2016, GI / IEEE, 978-3-88579-654-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yue Wang 0026, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki |
Task and Motion Policy Synthesis as Liveness Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016., pp. 536-, 2016, AAAI Press, 978-1-57735-757-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
14 | Munalih Ahmad Syarif, Latifah Mat Nen, Alwyn Goh, Kay Win Lee, Kang Siong Ng, Leslie Ching Ow Tiong |
Challenge response interaction for biometric liveness establishment and template protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: 14th Annual Conference on Privacy, Security and Trust, PST 2016, Auckland, New Zealand, December 12-14, 2016, pp. 698-701, 2016, IEEE, 978-1-5090-4379-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Wonjun Kim, Sungjoo Suh, Youngsung Kim, Changkyu Choi |
Fingerprint Liveness Detection Using Ensemble of Local Image Quality Assessments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visual Information Processing and Communication ![In: Visual Information Processing and Communication VII, San Francisco, California, USA, February 14-18, 2016, pp. 1-6, 2016, Society for Imaging Science and Technology. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Herbreteau, B. Srivathsan, Thanh-Tung Tran, Igor Walukiewicz |
Why Liveness for Timed Automata Is Hard, and What We Can Do About It. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India, pp. 48:1-48:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-027-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Görkem Kilinç Soylu |
Formal notions of non-interference and liveness for distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Peter Matthew |
Novel approaches to biometric security with an emphasis on liveness and coercion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Thanh-Tung Tran |
Verification of timed automata : reachability, liveness and modelling. (Vérification d'automates temporisés : sûreté, vivacité et modélisation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
14 | Andy Adler, Stephanie A. C. Schuckers |
Security and Liveness, Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Biometrics ![In: Encyclopedia of Biometrics, Second Edition, pp. 1335-1342, 2015, Springer US, 978-1-4899-7487-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Diego Gragnaniello, Giovanni Poggi, Carlo Sansone, Luisa Verdoliva |
Local contrast phase descriptor for fingerprint liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 48(4), pp. 1050-1058, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Diego Gragnaniello, Carlo Sansone, Luisa Verdoliva |
Iris liveness detection for mobile devices based on local descriptors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 57, pp. 81-87, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel, Görkem Kilinç 0001 |
Observable liveness of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 52(2-3), pp. 153-174, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | GaiYun Liu, Kamel Barkaoui |
Necessary and sufficient liveness condition of GS3PR Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 46(7), pp. 1147-1160, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | V. Deverakonda, R. S. Sreenivas |
On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 60(7), pp. 1915-1920, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | E. Salimi, R. S. Sreenivas |
On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 60(10), pp. 2825-2830, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dan You, Shouguang Wang, Mengchu Zhou |
Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 3 PR With ξ-Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 45(6), pp. 967-975, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | S. Chandrasekaran, N. Somnath, R. S. Sreenivas |
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 26(5), pp. 945-958, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Spiegelman, Idit Keidar |
On Liveness of Dynamic Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.07086, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Rodrigo Frassetto Nogueira, Roberto de Alencar Lotufo, Rubens Campos Machado |
Evaluating software-based fingerprint liveness detection using Convolutional Networks and Local Binary Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.00537, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Gian Luca Foresti |
Biometric Liveness Detection: Challenges and Research Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 13(5), pp. 63-72, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Oleg V. Komogortsev, Alexey Karpov 0002, Corey D. Holland |
Attack of Mechanical Replicas: Liveness Detection With Eye Movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 10(4), pp. 716-725, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Adam Czajka |
Pupil Dynamics for Iris Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 10(4), pp. 726-735, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sooyeon Kim, Yuseok Ban, Sangyoun Lee |
Face Liveness Detection Using Defocus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 15(1), pp. 1537-1563, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ana Filipa Sequeira, Jaime S. Cardoso 0001 |
Fingerprint Liveness Detection in the Presence of Capable Intruders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 15(6), pp. 14615-14638, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tom Schofield, David S. Kirk, Telmo Amaral, Marian Dörk, Mitchell Whitelaw, Guy Schofield, Thomas Ploetz |
Archival Liveness: Designing with Collections Before and During Cataloguing and Digitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Humanit. Q. ![In: Digit. Humanit. Q. 9(3), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
14 | Wonjun Kim, Sungjoo Suh, Jae-Joon Han |
Face Liveness Detection From a Single Image via Diffusion Speed Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 24(8), pp. 2456-2465, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Zahid Akhtar, Christian Micheloni, Gian Luca Foresti |
Correlation based fingerprint liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICB ![In: International Conference on Biometrics, ICB 2015, Phuket, Thailand, 19-22 May, 2015, pp. 305-310, 2015, IEEE, 978-1-4799-7824-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan |
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSDM ![In: Complex Systems Design & Management, Proceedings of the Sixth International Conference on Complex Systems Design & Management, CSD&M 2015, Paris, France, November 23-25, 2015, pp. 69-81, 2015, Springer, 978-3-319-26107-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yan Li 0075, Yingjiu Li, Qiang Yan 0001, Hancong Kong, Robert H. Deng |
Seeing Your Face Is Not Enough: An Inertial Sensor-Based Liveness Detection for Face Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, pp. 1558-1569, 2015, ACM, 978-1-4503-3832-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sayaka Shiota, Fernando Villavicencio, Junichi Yamagishi, Nobutaka Ono, Isao Echizen, Tomoko Matsui |
Voice liveness detection algorithms based on pop noise caused by human breath for automatic speaker verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2015, 16th Annual Conference of the International Speech Communication Association, Dresden, Germany, September 6-10, 2015, pp. 239-243, 2015, ISCA. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Krzysztof Adamiak, Dominik Zurek, Krzysztof Slot |
Liveness detection in remote biometrics based on gaze direction estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: 2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015, pp. 225-230, 2015, IEEE, 978-8-3608-1065-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Sogokon, Paul B. Jackson |
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, pp. 514-531, 2015, Springer, 978-3-319-19248-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats |
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, pp. 143-160, 2015, Springer, 978-3-319-19248-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni |
Liveness of Parameterized Timed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pp. 375-387, 2015, Springer, 978-3-662-47665-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rachel Faran, Orna Kupferman |
Spanning the Spectrum from Safety to Liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 183-200, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mohit Kumar, Niladri B. Puhan |
Iris liveness detection using texture segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCVPRIPG ![In: 2015 Fifth National Conference on Computer Vision, Pattern Recognition, Image Processing and Graphics (NCVPRIPG), Patna, India, December 16-19, 2015, pp. 1-4, 2015, IEEE, 978-1-4673-8564-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xinju Zhang, Shuzhen Yao |
The new method of liveness verification with Object-Oriented Timed Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACI ![In: Seventh International Conference on Advanced Computational Intelligence, ICACI 2015, Wuyi, China, March 27-29, 2015, pp. 7-11, 2015, IEEE, 978-1-4799-7257-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Maria Paola Bianchi, Juraj Hromkovic, Ivan Kovác |
On the Size of Two-Way Reasonable Automata for the Liveness Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings., pp. 120-131, 2015, Springer, 978-3-319-21499-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mengya Lu, Zhiqiang Chen, Weiguo Sheng |
Fingerprint Liveness Detection Based on Pore Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings, pp. 233-240, 2015, Springer, 978-3-319-25416-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoming Li 0002, Wei Bu, Xiangqian Wu 0002 |
Palmprint Liveness Detection by Combining Binarized Statistical Image Features and Image Quality Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings, pp. 275-283, 2015, Springer, 978-3-319-25416-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Chengyan Lin, Yuwu Lu, Jian Wu, Yong Xu 0001 |
Low Rank Analysis of Eye Image Sequence - A Novel Basis for Face Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings, pp. 11-18, 2015, Springer, 978-3-319-25416-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Chenggang Wang, Ke Li, Zhihong Wu, Qijun Zhao |
A DCNN Based Fingerprint Liveness Detection Algorithm with Voting Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCBR ![In: Biometric Recognition - 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings, pp. 241-249, 2015, Springer, 978-3-319-25416-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Florent Berthaut, David Coyle, James W. Moore, Hannah Limerick |
Liveness through the lens of agency and causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 15th International Conference on New Interfaces for Musical Expression, NIME 2015, Baton Rouge, Louisiana, USA, May 31 - June 3, 2015., pp. 382-386, 2015, nime.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandr Melnikov, Rasim Akhunzyanov, Oleg Kudashev, Eugene Luckyanets |
Audiovisual Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP (2) ![In: Image Analysis and Processing - ICIAP 2015 - 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part II, pp. 643-652, 2015, Springer, 978-3-319-23233-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Bushkov, Rachid Guerraoui |
Safety-Liveness Exclusion in Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 21 - 23, 2015, pp. 227-236, 2015, ACM, 978-1-4503-3617-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Amirhosein Toosi, Sandro Cumani, Andrea Bottino |
On Multiview Analysis for Fingerprint Liveness Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings, pp. 143-150, 2015, Springer, 978-3-319-25750-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jinyi Wang, Mudassar Ahmad Mughal, Oskar Juhlin |
Experiencing Liveness of a Cherished Place in the Home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TVX ![In: Proceedings of the ACM International Conference on Interactive Experiences for TV and Online Video, TVX 2015, Brussels, Belgium, June 3-5, 2015, pp. 3-12, 2015, ACM, 978-1-4503-3526-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Ramachandra Raghavendra, Manasa Avinash, Sébastien Marcel, Christoph Busch 0001 |
Finger vein liveness detection using motion magnification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTAS ![In: IEEE 7th International Conference on Biometrics Theory, Applications and Systems, BTAS 2015, Arlington, VA, USA, September 8-11, 2015, pp. 1-7, 2015, IEEE, 978-1-4799-8776-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Valerio Mura, Luca Ghiani, Gian Luca Marcialis, Fabio Roli, David A. Yambay, Stephanie A. C. Schuckers |
LivDet 2015 fingerprint liveness detection competition 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTAS ![In: IEEE 7th International Conference on Biometrics Theory, Applications and Systems, BTAS 2015, Arlington, VA, USA, September 8-11, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-8776-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Maximilian Krieg, Nils Rogmann |
Liveness Detection in Biometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSIG ![In: BIOSIG 2015 - Proceedings of the 14th International Conference of the Biometrics Special Interest Group, 9.-11. September 2015, Darmstadt, Germany, pp. 311-318, 2015, GI, 978-3-88579-639-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Bushkov, Rachid Guerraoui |
Liveness in Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transactional Memory ![In: Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp. 32-49, 2015, Springer, 978-3-319-14719-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mahmudur Rahman, Mozhgan Azimpourkivi, Umut Topkara, Bogdan Carbunar |
Liveness verifications for citizen journalism videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISEC ![In: Proceedings of the 8th ACM Conference on Security & Privacy in Wireless and Mobile Networks, New York, NY, USA, June 22-26, 2015, pp. 17:1-17:10, 2015, ACM, 978-1-4503-3623-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | E. Salimi, N. Somnath, Ramavarapu S. Sreenivas |
On supervisory policies that enforce liveness in controlled Petri nets that are similar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM/CIS ![In: 7th International Conference on Cybernetics and Intelligent Systems, CIS 2015, and IEEE Conference on Robotics, Automation and Mechatronics, RAM 2015, Siem Reap, Cambodia, July 15-17, 2015, pp. CIS:93-97, 2015, IEEE, 978-1-4673-7337-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Bushkov |
Safety, Liveness and Parallelism in Concurrent Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
DOI RDF |
|
14 | Asad Ali 0002 |
Biometric liveness detection using gaze information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
14 | Luca Ghiani |
Textural features for fingerprint liveness detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
14 | Ana Filipa Sequeira |
Liveness Detection and Robust Recognition in Iris and Fingerprint Biometric Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
14 | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
Non-intrusive Repair of Safety and Liveness Violations in Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Comput. Collect. Intell. ![In: Transactions on Computational Collective Intelligence XVI, pp. 1-33, 2014, Springer, 978-3-662-44870-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Avinash Kumar Singh, Piyush Joshi, Gora Chand Nandi |
Face liveness detection through face structure analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Pattern Recognit. ![In: Int. J. Appl. Pattern Recognit. 1(4), pp. 338-360, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu |
Deciding safety and liveness in TPTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(12), pp. 680-688, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Cindy Eisner, Dana Fisman, John Havlicek |
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 15(2), pp. 13:1-13:44, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yufeng Chen 0001, ZhiWu Li 0001, Kamel Barkaoui |
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 256, pp. 74-90, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Chuanliang Xia |
Liveness and boundedness analysis of Petri net synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 24(5), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yanyan Guo, Xiangdong Fei, Qijun Zhao |
Fingerprint Liveness Detection Using Multiple Static Features and Random Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Image Graph. ![In: Int. J. Image Graph. 14(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Kyoung-Dae Kim, Panganamala Ramana Kumar |
An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 59(12), pp. 3341-3356, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | ShouGuang Wang, Miao Liu |
Comments on "Liveness of an extended S3PR" [Automatica 46 (2010) 1008-1018]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 50(8), pp. 2199-2200, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|