|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5346 occurrences of 3277 keywords
|
|
|
Results
Found 4973 publication records. Showing 4970 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
43 | Ben Proven-Bessel, Zilong Zhao 0001, Lydia Y. Chen |
ComicGAN: Text-to-Comic Generative Adversarial Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.09120, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
43 | Jaures Ebiele, Theophilus Ansah-Narh, Steve Djiokap, Emmanuel Proven-Adzri, Marcellin Atemkeng |
Conventional Machine Learning based on Feature Engineering for Detecting Pneumonia from Chest X-rays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAICSIT ![In: SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, Cape Town, South Africa, 14-16 September, 2020, pp. 149-155, 2020, ACM, 978-1-4503-8847-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
43 | Federica Fina, Jackie Proven |
Using a CRIS to Support Communication of Research: Mapping the Publication Cycle to Deposit Workflows for Data and Publications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIS ![In: 13th International Conference on Current Research Information Systems, CRIS 2016, Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability, St Andrews, UK, June 9-11, 2016, pp. 232-238, 2016, Elsevier. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | John Casey, Jackie Proven, David Dripps |
Modeling Organisational Frameworks for Integrated E-Learning: The Experience of the TrustDR Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 710-712, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Sundri K. Khalsa |
Forecasting Terrorism: Indicators and Proven Analytic Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: Intelligence and Security Informatics, IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings, pp. 561-566, 2005, Springer, 3-540-25999-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Elizabeth Latronico, Paul S. Miner, Philip Koopman |
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 275-284, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | James F. Davis |
The affordable application of formal methods to software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005, pp. 57-62, 2005, ACM, 1-59593-185-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
trust, correctness, proven, engineering, formal |
29 | Louis Granboulan |
Short Signatures in the Random Oracle Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings, pp. 364-378, 2002, Springer, 3-540-00171-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
random oracle and ideal cipher models, proven security, digital signature, padding |
29 | Michel Abdalla, Leonid Reyzin |
A New Forward-Secure Digital Signature Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2000, 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000, Proceedings, pp. 116-129, 2000, Springer, 3-540-41404-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
proven security, digital signatures, forward security, concrete security |
29 | Alan M. Davis |
Rewards of Taking the Path Less Traveled. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(4), pp. 100-101, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software engineering industry, proven techniques, rarely used techniques, quality gains, productivity gains, fads, software engineering, software projects, DP management, software engineering methodologies |
29 | Robert B. Grady, Tom Van Slack |
Key Lessons in Achieving Widespread Inspection Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(4), pp. 46-57, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Hewlett Packard computers, widespread inspection use, technology adoption efforts, initial guidelines, widespread belief, proven practices, metric, standards, standardization, software quality, software metrics, software process improvement, inspection, best practices, software inspections, technology adoption, software-development organizations, Hewlett-Packard |
29 | Geoff Barrett |
Formal Methods Applied to a Floating-Point Number System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(5), pp. 611-621, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
floating-point number system, binary floating-point arithmetic, ANSI/IEEE Std. 754-1985, set-theoretic specification language, sequential components, unpack, operands, proven rules, mathematically rigorous method, Inmos IMS T800 transputer, formal specification, formal methods, specification languages, digital arithmetic, Z, formalization, round, pack, program development, IEEE standard, floating-point unit, internal representations |
26 | Katell Morin-Allory, Dominique Borrione |
Proven correct monitors from PSL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 1246-1251, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Tsz Hon Yuen, Victor K. Wei |
Fast and Proven Secure Blind Identity-Based Signcryption from Pairings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2005, The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings, pp. 305-322, 2005, Springer, 3-540-24399-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Mark D. Aagaard, Miriam Leeser |
PBS: proven Boolean simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(4), pp. 459-470, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yvo Desmedt, Mike Burmester |
Towards Practical "Proven Secure" Authenticated Key Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '93, Proceedings of the 1st ACM Conference on Computer and Communications Security, Fairfax, Virginia, USA, November 3-5, 1993., pp. 228-231, 1993, ACM, 0-89791-629-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Qingsong Yao, Jinsong Han, Yong Qi, Lei Yang 0025, Yunhao Liu 0001 |
Privacy Leakage in Access Mode: Revisiting Private RFID Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: International Conference on Parallel Processing, ICPP 2011, Taipei, Taiwan, September 13-16, 2011, pp. 713-721, 2011, IEEE Computer Society, 978-1-4577-1336-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
access mode, privacy leakage, proven private, RFID, authentication protocol |
25 | Ed Van Sickle |
Refilling the it pipleline and using storage technologies as a specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2008 ACM SIGMIS CPR Conference on Computer Personnel Research 2008, April 3-5, 2008, Charlottesville, VA, USA, pp. 112-118, 2008, ACM, 978-1-60558-069-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
certification., emc academic alliance program, emc proven professional program, industry - education relationships, storage courses and curriculum, computer science education, storage technologies, information science education |
25 | Zhenchuan Chai, Zhenfu Cao, Yuan Zhou |
Efficient ID-Based Multi-Decrypter Encryption with Short Ciphertexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(1), pp. 103-108, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
multi-user cryptography, proven security, random oracle, ID-based cryptography |
25 | Zhenchuan Chai, Zhenfu Cao, Xiaolei Dong |
Identity-based signature scheme based on quadratic residues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(3), pp. 373-380, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
proven security, factoring, random oracle, ID-based signature, quadratic residue |
25 | Ed Van Sickle, Efrem Mallach, Brian H. Cameron, Derrek B. Dunn, Denetra Rook, Frank M. Groom, Ronnie Rollins |
Storage technologies: an education opportunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 8th Conference on Information Technology Education, SIGITE 2007, Destin, Florida, USA, October 18-20, 2007, pp. 119-126, 2007, ACM, 978-1-59593-920-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
EMC academic alliance program, EMC proven professional program, industry-education relationships, information infrastructure technologies, storage courses and curriculum, storage education, computer science education, certification, information storage, storage technologies, information science education |
21 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Johannes Pahlke, Ivo F. Sbalzarini |
Proven Distributed Memory Parallelization of Particle Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.02180, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
On proving that an unsafe controller is not proven safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 137, pp. 100939, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Sébastien Michelland, Christophe Deleuze, Laure Gonnord |
From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, CC 2024, Edinburgh, United Kingdom, March 2-3, 2024, pp. 174-185, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Sergii Grybniak, Yevhen Leonchyk, Igor Mazurok, Oleksandr Nashyvan, Ruslan Shanin |
Waterfall: Gozalandia. Distributed protocol with fast finality and proven safety and liveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Blockchain ![In: IET Blockchain 3(4), pp. 182-193, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | David Zooker, Yoav Weizman, Alexander Fish, Osnat Keren |
Silicon Proven 1.29 μm × 1.8 μm 65nm Sub-Vt Optical Sensor for Hardware Security Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 136269-136278, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Keren Zhu 0001, Hao Chen 0059, Mingjie Liu, David Z. Pan |
Tutorial and Perspectives on MAGICAL: A Silicon-Proven Open-Source Analog IC Layout System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(2), pp. 715-720, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sacha Cerf, Benjamin Doerr, Benjamin Hebras, Yakob Kahane, Simon Wietheger |
The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.13459, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Imen Tounsi, Abdessamad Saidi 0002, Mohamed Hadj Kacem, Ahmed Hadj Kacem |
Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 148, pp. 395-407, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sam Widlund |
WESP: An encryption method that is proven to require an exponentially growing time to break it. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 937, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Ivar Jacobson, Alistair Cockburn |
Use Cases are Essential: Use cases provide a proven method to capture and explain the requirements of a system in a concise and easily understood format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 21(5), pp. 66-86, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Suliman Alazmi, Daniel Conte de Leon |
Customizing OWASP ZAP: A Proven Method for Detecting SQL Injection Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigDataSecurity/HPSC/IDS ![In: 9th Intl Conference on Big Data Security on Cloud, BigDataSecurity, IEEE Intl Conference on High Performance and Smart Computing, HPSC and IEEE Intl Conference on Intelligent Data and Security IDS 2023, New York, NY, USA, May 6-8, 2023, pp. 102-106, 2023, IEEE, 979-8-3503-1293-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lubomír Stepánek, Filip Habarta, Ivana Malá, Lubos Marek |
A lower bound for proportion of visibility polygon's surface to entire polygon's surface: Estimated by Art Gallery Problem and proven that cannot be greatly improved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 18th Conference on Computer Science and Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20, 2023., pp. 1229-1233, 2023, 978-83-967447-8-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin Doerr, Zhongdi Qu |
From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 12408-12416, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin Doerr, Zhongdi Qu |
Hot off the Press: From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Companion ![In: Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023, pp. 17-18, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Andi Djalal Latief, Asril Jarin, Mohammad Teduh Uliniansyah, Elvira Nurfadhilah, Dian Isnaeni Nurul Afra |
A Proven Sentiment Annotation Guideline for Indonesian Twitter Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3INA ![In: International Conference on Computer, Control, Informatics and its Applications, IC3INA 2023, Bandung, Indonesia, October 4-5, 2023, pp. 31-36, 2023, IEEE, 979-8-3503-9487-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
Proven Optimally-Balanced Latin Rectangles with SAT (Short Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, pp. 48:1-48:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-300-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sacha Cerf, Benjamin Doerr, Benjamin Hebras, Yakob Kahane, Simon Wietheger |
The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 5522-5530, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sergio Martínez, Thomas Lavaur, Jérôme Lacan, Caroline P. C. Chanel |
Proven Transaction Flow Control for zk-Rollups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BRAINS ![In: 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-1782-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lu Wei 0003, Jie Cui 0004, Hong Zhong 0001, Yan Xu 0007, Lu Liu 0001 |
Proven Secure Tree-Based Authenticated Key Agreement for Securing V2V and V2I Communications in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 21(9), pp. 3280-3297, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Claudia Ziegler Acemyan, Philip T. Kortum, Michael D. Byrne, Dan S. Wallach |
Summative Usability Assessments of STAR-Vote: A Cryptographically Secure e2e Voting System That Has Been Empirically Proven to Be Easy to Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 64(5), pp. 866-889, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sivan Toledo, Shai Mendel, Anat Levi, Yoni Vortman, Wiebke Ullmann, Lena-Rosa Scherer, Jan Pufelski, Frank van Maarseveen, Bas Denissen, Allert Bijleveld, Yotam Orchan, Yoav Bartan, Sivan Margalit, Idan Talmon, Ran Nathan |
Vildehaye: A Family of Versatile, Widely-Applicable, and Field-Proven Lightweight Wildlife Tracking and Sensing Tags. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.06171, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Benjamin Doerr, Zhongdi Qu |
From Understanding the Population Dynamics of the NSGA-II to the First Proven Lower Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.13974, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Remi Adelin, Cyrius Nugier, Eric Alata, Vincent Nicomette, Vincent Migliore, Mohamed Kaâniche |
Facing emerging challenges in connected vehicles: a formally proven, legislation compliant, and post-quantum ready security protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 18(4), pp. 425-452, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sivan Toledo, Shai Mendel, Anat Levi, Yoni Vortman, Wiebke Ullmann, Lena-Rosa Scherer, Jan Pufelski, Frank van Maarseveen, Bas Denissen, Allert Bijleveld, Yotam Orchan, Yoav Bartan, Sivan Margalit, Idan Talmon, Ran Nathan |
Vildehaye: A Family of Versatile, Widely-Applicable, and Field-Proven Lightweight Wildlife Tracking and Sensing Tags. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: 21st ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN 2022, Milano, Italy, May 4-6, 2022, pp. 1-14, 2022, IEEE, 978-1-6654-9624-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Nicolas Bordes, Paolo Maistri |
Electromagnetic Leakage Assessment of a Proven Higher-Order Masking of AES S-Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022, pp. 520-527, 2022, IEEE, 978-1-6654-7404-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Lavaur, Jérôme Lacan |
zkBeacon: Proven Randomness Beacon based on Zero-knowledge Verifiable Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 19th International Conference on Security and Cryptography, SECRYPT 2022, Lisbon, Portugal, July 11-13, 2022., pp. 406-414, 2022, SCITEPRESS, 978-989-758-590-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta |
Hardening attack surfaces with formally proven binary format parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022, pp. 31-45, 2022, ACM, 978-1-4503-9265-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Yehuda Kra, Adam Teman |
Silicon-Proven Clockless Wave-Propagated Pipelining for High-Throughput, Energy-Efficient Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2022, Austin, TX, USA, May 27 - June 1, 2022, pp. 1138-1139, 2022, IEEE, 978-1-6654-8485-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Shu Zhang 0006, Jinru Wu, Sigang Yu, Ruoyang Wang, Enze Shi, Yongfeng Gao, Zhengrong Liang |
A Bagging Strategy-Based Multi-scale Texture GLCM-CNN Model for Differentiating Malignant from Benign Lesions Using Small Pathologically Proven Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMMI@MICCAI ![In: Multiscale Multimodal Medical Imaging - Third International Workshop, MMMI 2022, Held in Conjunction with MICCAI 2022, Singapore, September 22, 2022, Proceedings, pp. 44-53, 2022, Springer, 978-3-031-18813-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Imen Tounsi, Najeh Khalfi, Abdessamad Saidi 0002, Mohamed Hadj Kacem |
Modeling IoT Design Patterns Proven Correct by Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOST ![In: Participative Urban Health and Healthy Aging in the Age of AI - 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings, pp. 30-42, 2022, Springer, 978-3-031-09592-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Hank Revercomb |
The Big Picture: New IR Science Drivers, Key Observing Physics, and Proven Building Blocks Should Define the Next Generation US Sounding System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2022, Kuala Lumpur, Malaysia, July 17-22, 2022, pp. 5409-5410, 2022, IEEE, 978-1-6654-2792-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Günther Eibl, Sanaz Taheri Boshrooyeh, Alptekin Küpçü |
AggFT: Low-Cost Fault-Tolerant Smart Meter Aggregation with Proven Termination and Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.09429, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki |
A Systematic Design Methodology of Formally Proven Side-Channel-Resistant Cryptographic Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test ![In: IEEE Des. Test 38(3), pp. 84-92, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Mirna Muñoz 0001, Jezreel Mejia, Adriana Peña 0001, Claude Y. Laporte, Gloria Piedad Gasca Hurtado, María Clara Gómez-Álvarez |
An Exploratory Analysis of the Perception of the Utility of Proven Practices of the Software Basic Profile of ISO/IEC 29110 by a Set of VSEs in Mexico. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI ![In: Systems, Software and Services Process Improvement - 28th European Conference, EuroSPI 2021, Krems, Austria, September 1-3, 2021, Proceedings, pp. 439-456, 2021, Springer, 978-3-030-85520-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Brody Kutt, William Hewlett, Oleksii Starov, Yuchen Zhou |
Innocent Until Proven Guilty (IUPG): Building Deep Learning Models with Embedded Robustness to Out-Of-Distribution Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP (Workshops) ![In: IEEE Security and Privacy Workshops, SP Workshops 2021, San Francisco, CA, USA, May 27, 2021, pp. 49-55, 2021, IEEE, 978-1-6654-3732-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Charles Jaffe, Steven Z. Kassakian, Viet Nguyen, Anna Taylor |
Proven Methodologies for Accelerating Adoption of HL7® FHIR®. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2021, American Medical Informatics Association Annual Symposium, San Diego, CA, USA, October 30, 2021 - November 3, 2021, 2021, AMIA. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Michael Weiner, Elizabeth M. Yano, Jessica A. Davila, Catherine Brayton, Alison M. Cogan, Seppo T. Rinne, Steven R. Simon |
The PROVEN Coordinating Hub to Accelerate Research about Electronic Health Record Modernization in the U.S. Department of Veterans Affairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2021, American Medical Informatics Association Annual Symposium, San Diego, CA, USA, October 30, 2021 - November 3, 2021, 2021, AMIA. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Claudio Contardo |
Decremental Clustering for the Solution of p-Dispersion Problems to Proven Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Optim. ![In: INFORMS J. Optim. 2(2), pp. 134-144, January 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Alfred A. Roubos, Diego L. Allaix, Timo Schweckendiek, Raphaël D. J. M. Steenbergen, Sebastiaan N. Jonkman |
Time-dependent reliability analysis of service-proven quay walls subject to corrosion-induced degradation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 203, pp. 107085, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Fangfang Han, Linkai Yan, Junxin Chen, Yueyang Teng, Shuo Chen 0005, Shouliang Qi, Wei Qian 0001, Jie Yang, William Moore, Shu Zhang 0006, Zhengrong Liang |
Predicting Unnecessary Nodule Biopsies from a Small, Unbalanced, and Pathologically Proven Dataset by Transfer Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 33(3), pp. 685-696, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Ankit Shah, Raman Nayyar, Arani Sinha |
Silicon-Proven Timing Signoff Methodology Using Hazard-Free Robust Path Delay Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test ![In: IEEE Des. Test 37(4), pp. 7-13, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Dominic Steinhöfel |
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Denert Award ![In: Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, pp. 197-226, 2020, Springer, 978-3-030-83127-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Rui Gao, Mehzabeen Mehedi, Haibao Chen, Xinsheng Wang, Jianfu Zhang 0001, Xiaoling Lin, Zhiyuan He, Yiqiang Chen, Dengyun Lei, Yun Huang, Yunfei En, Zhigang Ji, Runsheng Wang |
A fast and test-proven methodology of assessing RTN/fluctuation on deeply scaled nano pMOSFETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRPS ![In: 2020 IEEE International Reliability Physics Symposium, IRPS 2020, Dallas, TX, USA, April 28 - May 30, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-3199-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Hao Chen 0059, Keren Zhu 0001, Mingjie Liu, Xiyuan Tang, Nan Sun 0001, David Z. Pan |
Toward Silicon-Proven Detailed Routing for Analog and Mixed-Signal Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020, pp. 18:1-18:8, 2020, IEEE. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Shalan, Tim Edwards |
Building OpenLANE: A 130nm OpenROAD-based Tapeout- Proven Flow : Invited Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference On Computer Aided Design, ICCAD 2020, San Diego, CA, USA, November 2-5, 2020, pp. 110:1-110:6, 2020, IEEE. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Shu Zhang 0006, Fangfang Han, Zhengrong Liang, Jiaxing Tan, Weiguo Cao, Yongfeng Gao, Marc Jason Pomeroy, Kenneth Ng, Wei Hou |
An investigation of CNN models for differentiating malignant from benign lesions using small pathologically proven datasets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Medical Imaging Graph. ![In: Comput. Medical Imaging Graph. 77, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Robert Buhren, Christian Werling, Jean-Pierre Seifert |
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1908.11680, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | David Zooker Zabib, Moshe Avital, Yoav Weizman, Alexander Fish, Osnat Keren |
Silicon Proven 1.8 µm × 9.2 µm 65-nm Digital Bit Generator for Hardware Security Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 66-II(10), pp. 1713-1717, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Robert Buhren, Christian Werling, Jean-Pierre Seifert |
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019., pp. 1087-1099, 2019, ACM, 978-1-4503-6747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Robert Buhren |
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Krypto-Tag ![In: 31. Krypto-Tag, Berlin, Germany, October 17-18, 2019, 2019, Gesellschaft für Informatik e.V. / FG KRYPTO. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Ankit Shah, Raman Nayyar, Arani Sinha |
Silicon Proven Timing Signoff Methodology using Hazard-Free Robust Path Delay Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 37th IEEE VLSI Test Symposium, VTS 2019, Monterey, CA, USA, April 23-25, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-1170-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Reginald A. Blake, Janet Liou-Mark, Hamidreza Norouzi, Laura Yuen-Lau |
Remote Sensing Research: A Proven Catalyst for Increasing Geoscience Engagement Among Minority Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2019 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2019, Yokohama, Japan, July 28 - August 2, 2019, pp. 4288-4291, 2019, IEEE, 978-1-5386-9154-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Lily Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Akhilan Boopathy, Ivan V. Oseledets, Luca Daniel |
PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA, pp. 6727-6736, 2019, PMLR. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Steve Jeffrey Tueno Fotso |
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée. (Towards a tool-supported and proven formal requirements engineering method). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
21 | Adrian Hernandez-Mendez, Felix Michel, Florian Matthes |
A Practice-Proven Reference Architecture for Model-Based Collaborative Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. ![In: Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13(Special), pp. 262-273, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Tsui-Wei Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Ivan V. Oseledets, Luca Daniel |
PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.08329, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Johannes Müller 0003, Stefan Krebs, Michael Buchholz, Sören Hohmann |
Interval MRAC with Proven Stability Properties and Application on Induction Motor Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 14th IEEE International Conference on Control and Automation, ICCA 2018, Anchorage, AK, USA, June 12-15, 2018, pp. 173-179, 2018, IEEE, 978-1-5386-6089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Jan Peleska 0001, Jörg Brauer, Wen-ling Huang |
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (4) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, pp. 82-103, 2018, Springer, 978-3-030-03426-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Sami Hyrynsalmi, Jukka Ruohonen, Marko Seppänen |
Healthy until otherwise proven: some proposals for renewing research of software ecosystem health. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoHeal@ICSE ![In: Proceedings of the 1st International Workshop on Software Health, SoHeal@ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 18-24, 2018, ACM, 978-1-4503-5730-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Liaojun Pang, Yufei Hu, Xia Zhou, Yumin Wang, Huixian Li |
Directed proxy signature with fast revocation proven secure in the standard model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Inf. Secur. ![In: IET Inf. Secur. 11(3), pp. 168-176, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alaauldin Ibrahim, Gökhan Dalkiliç |
An Advanced Encryption Standard Powered Mutual Authentication Protocol Based on Elliptic Curve Cryptography for RFID, Proven on WISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sensors ![In: J. Sensors 2017, pp. 2367312:1-2367312:10, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Shoei Nashimoto, Naofumi Homma, Yu-ichi Hayashi, Junko Takahashi, Hitoshi Fuji, Takafumi Aoki |
Buffer overflow attack with multiple fault injection and a proven countermeasure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptogr. Eng. ![In: J. Cryptogr. Eng. 7(1), pp. 35-46, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Mohammad Javad Shafiee, Audrey G. Chung, Farzad Khalvati, Masoom A. Haider, Alexander Wong |
Discovery Radiomics via Evolutionary Deep Radiomic Sequencer Discovery for Pathologically-Proven Lung Cancer Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.03572, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Jens Knoop, Laura Kovács, Jakob Zwirchmayr |
Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 80, pp. 101-124, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Rei Ueno, Naofumi Homma, Sumio Morioka, Takafumi Aoki |
Automatic generation of formally-proven tamper-resistant Galois-field multipliers based on generalized masking scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, pp. 978-983, 2017, IEEE, 978-3-9815370-8-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Guillaume Dumas, Pascal Lafourcade 0001, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel |
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECRYPT ![In: Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 4: SECRYPT, Madrid, Spain, July 24-26, 2017., pp. 187-199, 2017, SciTePress, 978-989-758-259-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Moritz Schrey, Tilman Sinning, Gabor Varga, Arun Ashok, Iyappan Subbiah, Stefan Heinen |
A proven MIMO capable TDD/FDD frequency converter enabling cognitive features for LTE transceivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LANMAN ![In: 2017 IEEE International Symposium on Local and Metropolitan Area Networks, LANMAN 2017, Osaka, Japan, June 12-14, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-0728-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Jayamine Alupotha, Sanduni Prasadi, Janaka Alawatugoda 0001, Roshan G. Ragel, Mohamed Fawsan |
Implementing a proven-secure and cost-effective countermeasure against the compression ratio info-leak mass exploitation (CRIME) attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 2017 IEEE International Conference on Industrial and Information Systems, ICIIS 2017, Peradeniya, Sri Lanka, December 15-16, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-1674-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford |
"Convex Until Proven Guilty": Dimension-Free Acceleration of Gradient Descent on Non-Convex Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017, pp. 654-663, 2017, PMLR. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Devinder Kumar, Audrey G. Chung, Mohammad Javad Shafiee, Farzad Khalvati, Masoom A. Haider, Alexander Wong |
Discovery Radiomics for Pathologically-Proven Computed Tomography Lung Cancer Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition - 14th International Conference, ICIAR 2017, Montreal, QC, Canada, July 5-7, 2017, Proceedings, pp. 54-62, 2017, Springer, 978-3-319-59875-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Susan K. Cohen, Sean T. Hsu, Kristina B. Dahlin |
With Whom Do Technology Sponsors Partner During Technology Battles? Social Networking Strategies for Unproven (and Proven) Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Organ. Sci. ![In: Organ. Sci. 27(4), pp. 846-872, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Mark R. Heckman, Roger R. Schell |
Using Proven Reference Monitor Patterns for Security Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 7(2), pp. 23, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Young Woong Park, Diego Klabjan |
An aggregate and iterative disaggregate algorithm with proven optimality in machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 105(2), pp. 199-232, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Jacques M. Bahi, Jean-François Couchot, Christophe Guyeux |
Quality Analysis of a Chaotic Proven Keyed Hash Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.05928, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Young Woong Park, Diego Klabjan |
An Aggregate and Iterative Disaggregate Algorithm with Proven Optimality in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.01400, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Noa Edri, Pascal Meinerzhagen, Adam Teman, Andreas Burg, Alexander Fish |
Silicon-Proven, Per-Cell Retention Time Distribution Model for Gain-Cell Based eDRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 63-I(2), pp. 222-232, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Radu Curticapean |
Parity Separation: A Scientifically Proven Method for Permanent Weight Loss. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy, pp. 47:1-47:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-013-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Franck Slama |
Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings, pp. 191-198, 2016, Springer, 978-3-319-41134-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 4970 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|