|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 26 keywords
|
|
|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
153 | Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova |
An axiomatic approach to algebrization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 695-704, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algebrization, independence, relativization |
54 | Atif Alvi, David J. Greaves |
Checkable Domain Management with Ontology and Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 142-149, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
checkability, rehydration, ontology, pervasive computing, rules, semantic interoperability |
54 | Stephen J. Garland, John V. Guttag, James J. Horning |
Debugging Larch Shared Language Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1044-1057, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms |
28 | Oleksandr Drozd, Illya Baskov, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Myroslav Drozd |
Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelITSIS ![In: Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, Khmelnytskyi, Ukraine, March 23-25, 2022., pp. 474-483, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
28 | Oleksandr Drozd, Anatoliy Sachenko, Kostiantyn Zashcholkin, Yulian Sulima, Julia Drozd, Maciej Dobrowolski, Mykola Kuznietsov, Liliia Ivanova, Igor Kovalev |
Recovering From a Failure and Improving the Checkability of Iterative Array Dividers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT ![In: 17th IEEE International Conference on Computer Sciences and Information Technologies, CSIT 2022, Lviv, Ukraine, November 10-12, 2022, pp. 523-526, 2022, IEEE, 979-8-3503-3431-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Shimin Li, Bei Liang, Aikaterini Mitrokotsa, Rui Xue 0001 |
Homomorphic signcryption with public plaintext-result checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 15(5), pp. 333-350, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Oleksandr Drozd, Olena Ivanova, Kostiantyn Zashcholkin, Vitaliy A. Romankevich, Julia Drozd |
Checkability Important for Fail-Safety of FPGA-based Components in Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelITSIS ![In: Proceedings of the 2nd International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, Khmelnytskyi, Ukraine, March 24-26, 2021., pp. 471-480, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Oleksandr Drozd, Kostiantyn Zashcholkin, Maciej Dobrowolski, Anatoliy Sachenko, Oleksandr Martynyuk, Olena Ivanova, Julia Drozd |
Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLINS ![In: Proceedings of the 5th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2021). Volume I: Main Conference, Lviv, Ukraine, April 22-23, 2021., pp. 1832-1842, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Oleksandr Drozd, Anatoliy Sachenko, Volodymyr Kochan, Myroslav Drozd, Maciej Dobrowolski, Jun Su |
Concept of Active Wireless Sensor Network in Checkability Aspect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDAACS ![In: 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), Cracow, Poland, September 22-25, 2021, pp. 70-74, 2021, IEEE, 978-1-6654-4209-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Oleksandr Drozd, Kostiantyn Zashcholkin, Oleksandr Martynyuk, Olena Ivanova, Julia Drozd |
Development of Checkability in FPGA Components of Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTES ![In: Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020) Mykolaiv, Ukraine (online), November 12, 2020., Mykolaiv, Ukraine (online), November 12, 2020., pp. 30-42, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Mykola Kuznietsov, Julia Drozd, Anastasiya Troynina |
A Method to Improve FPGA Project Checkability for Safety-Related Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: Proceedings of the 9th International Conference `Information Control Systems & Technologies`, Odessa, Ukraine, September 24-26, 2020., pp. 150-160, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Oleksandr Drozd, Viktor Antoniuk, Miroslav Drozd, Hanna Stepova |
Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI Workshops ![In: Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019., pp. 749-761, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Klaus-Tycho Foerster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer |
Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 709, pp. 48-63, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Anmin Fu, Shuai Li, Shui Yu 0001, Yuqing Zhang 0001, Yinxia Sun |
Privacy-preserving composite modular exponentiation outsourcing with optimal checkability in single untrusted cloud server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 118, pp. 102-112, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Anmin Fu, Yiming Zhu, Guomin Yang, Shui Yu 0001, Yan Yu |
Secure outsourcing algorithms of modular exponentiations with optimal checkability based on a single untrusted cloud server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 21(4), pp. 1933-1947, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Yiming Zhu, Anmin Fu, Shui Yu 0001, Yan Yu, Shuai Li, Zhenzhu Chen |
New Algorithm for Secure Outsourcing of Modular Exponentiation with Optimal Checkability Based on Single Untrusted Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-3180-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Yanli Ren, Min Dong 0007, Zhihua Niu, Xiaoni Du |
Noninteractive Verifiable Outsourcing Algorithm for Bilinear Pairing with Improved Checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 2017, pp. 4892814:1-4892814:9, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Klaus-Tycho Foerster, Oliver Richter, Jochen Seidel, Roger Wattenhofer |
Local Checkability in Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 18th International Conference on Distributed Computing and Networking, Hyderabad, India, January 5-7, 2017, pp. 4, 2017, ACM, 978-1-4503-4839-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov |
Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTERI ![In: Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017., pp. 654-661, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Yu-Feng Ma, Haibo Tian, Baodian Wei |
Secure Modular Exponentiation Outsource With Two Untrusted Programs and Improved Checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 32(5), pp. 1205-1218, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
28 | Jun Ye, Xiaofeng Chen 0001, Jianfeng Ma 0001 |
Improved algorithm for secure outsourcing of modular exponentiations with high checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Ad Hoc Ubiquitous Comput. ![In: Int. J. Ad Hoc Ubiquitous Comput. 23(3/4), pp. 182-191, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Yanli Ren, Ning Ding 0001, Xinpeng Zhang 0001, Haining Lu, Dawu Gu |
Verifiable Outsourcing Algorithms for Modular Exponentiations with Improved Checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2016, Xi'an, China, May 30 - June 3, 2016, pp. 293-303, 2016, ACM, 978-1-4503-4233-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Klaus-Tycho Förster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer |
Local checkability, no strings attached. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 17th International Conference on Distributed Computing and Networking, Singapore, January 4-7, 2016, pp. 21:1-21:10, 2016, ACM, 978-1-4503-4032-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Can Xiang, Chunming Tang 0001 |
Efficient outsourcing schemes of modular exponentiations with checkability for untrusted cloud server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 6(1), pp. 131-139, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Jochen Seidel |
Anonymous distributed computing: computability, randomization and checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
28 | Jin Li 0002, Xinyi Huang 0001, Jingwei Li 0001, Xiaofeng Chen 0001, Yang Xiang 0001 |
Securely Outsourcing Attribute-Based Encryption with Checkability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 25(8), pp. 2201-2210, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
Locality and checkability in wait-free computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 26(4), pp. 223-242, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Alexander V. Drozd, Vyacheslav S. Kharchenko, Svetlana Antoshchuk, J. V. Drozd, M. V. Lobachev, Yulian Sulima |
The use of natural resources for increasing a checkability of the digital components in safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: East-West Design & Test Symposium, EWDTS 2013, Rostov-on-Don, Russia, September 27-30, 2013, pp. 1-6, 2013, IEEE Computer Society, 978-1-4799-2095-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Alexander V. Drozd, Vyacheslav S. Kharchenko, Svetlana Antoshchuk, Yulian Sulima, Miroslav Drozd |
Checkability of the digital components in safety-critical systems: Problems and solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 9th East-West Design & Test Symposium, EWDTS 2011, Sevastopol, Ukraine, September 9-12, 2011, pp. 411-416, 2011, IEEE Computer Society, 978-1-4577-1957-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
Locality and Checkability in Wait-Free Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing - 25th International Symposium, DISC 2011, Rome, Italy, September 20-22, 2011. Proceedings, pp. 333-347, 2011, Springer, 978-3-642-24099-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Mohammad Mahmoody, David Xiao |
On the Power of Randomized Reductions and the Checkability of SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 25th Annual IEEE Conference on Computational Complexity, CCC 2010, Cambridge, Massachusetts, USA, June 9-12, 2010, pp. 64-75, 2010, IEEE Computer Society, 978-0-7695-4060-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Colusure, Instance Checkers, Complexity, Randomization |
28 | Mohammad Mahmoody, David Xiao |
On the Power of Randomized Reductions and the Checkability of SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR09, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
28 | Stephen Baum, Leslie E. Trotter Jr. |
Finite checkability for integer rounding properties in combinatorial programming problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 22(1), pp. 141-147, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
22 | Daniel V. Bailey, Dan Boneh, Eu-Jin Goh, Ari Juels |
Covert channels in privacy-preserving identification systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2007 ACM Conference on Computer and Communications Security, CCS 2007, Alexandria, Virginia, USA, October 28-31, 2007, pp. 297-306, 2007, ACM, 978-1-59593-703-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
privacy, mobile, identification, covert channels, rfid |
22 | Shengli Liu 0001, Kefei Chen, Weidong Qiu |
Identity-Based Threshold Decryption Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007, Proceedings, pp. 329-343, 2007, Springer, 978-3-540-72159-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Swaroop Sridhar, Jonathan S. Shapiro |
Type inference for unboxed types and first class mutability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLOS ![In: Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006, pp. 7, 2006, ACM, 1-59593-577-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
BitC, polymorphism, type inference, mutability |
22 | Daniel Yamins |
The emergence of global properties from local interactions: static properties and one-dimensional patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1122-1124, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Susan Hohenberger, Anna Lysyanskaya |
How to Securely Outsource Cryptographic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005, Proceedings, pp. 264-282, 2005, Springer, 3-540-24573-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Valery A. Vardanian, Liana B. Mirzoyan |
Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, pp. 762, 2000, IEEE Computer Society / ACM, 0-7695-0537-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Thomas A. Henzinger, Sriram K. Rajamani |
Fair Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 299-314, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Görel Hedin, Lennart Ohlsson, John McKenna |
Product Configuration Using Object Oriented Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCM ![In: System Configuration Management, ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings, pp. 107-126, 1998, Springer, 3-540-64733-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Marian Boykan Pour-El |
Computer Science And Recursion Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 15-20, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|