Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
44 | Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber |
Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 183-198, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Cezary Kaliszyk, Henk Barendregt |
Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 87-102, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Jinjiang Lei, Zongyan Qiu |
Verification of Scalable Synchronous Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 247-263, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Vladimir Voevodsky |
Univalent Semantics of Constructive Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 70, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech |
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 378-393, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Dale Miller 0001 |
A Proposal for Broad Spectrum Proof Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 54-69, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Peter W. O'Hearn |
Algebra, Logic, Locality, Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 3-4, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie |
Modular SMT Proofs for Fast Reflexive Checking Inside Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 151-166, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Jieung Kim, Sukyoung Ryu |
Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 264-279, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Thi Minh Tuyen Nguyen, Claude Marché |
Hardware-Dependent Proofs of Numerical Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 314-329, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Dongchen Jiang, Tobias Nipkow |
Proof Pearl: The Marriage Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 394-399, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Wolfram Kahl |
The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 216-230, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
44 | Jean-David Génevaux, Julien Narboux, Pascal Schreck |
Formalization of Wu's Simple Method in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Certified Programs and Proofs - First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings, pp. 71-86, 2011, Springer, 978-3-642-25378-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Jean-Marie Favre |
Preprocessors from an Abstract Point of View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 287-296, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP |
42 | Tien Van Do 0001, Udo R. Krieger |
A Performance Model for Maintenance Tasks in an Environment of Virtualized Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, pp. 931-942, 2009, Springer, 978-3-642-01398-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Virtualized services, CPP/M/c model, working vacations policy, performance management |
42 | Geyong Min, Yulei Wu, Lan Wang, Mohamed Ould-Khaoua |
Performance Modelling of Adaptive Routing in Hypercubic Networks under Non-Uniform and Batch Arrival Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 15-18 October 2007, Clontarf Castle, Dublin, Ireland, Proceedings, pp. 583-590, 2007, IEEE Computer Society, 0-7695-3000-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hot-Spot Traffic, Compound Poisson Process (CPP), Performance Evaluation, Interconnection Networks |
42 | Kwanghoon Pio Kim, Ilkyeun Ra |
A Process-Driven e-Business Service Integration System and Its Application to e-Logistics Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 669-678, 2005, Springer, 3-540-30017-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-Business Service Integration System, B2B Choreography and Orchestration, e-Business Process Management, ebXML Standard, CPP/CPA, BPSS, e-Logistics, e-Commerce |
41 | Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
CPP: A Constraint Logic Programming Based Planner with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings, pp. 290-296, 2007, Springer, 978-3-540-72199-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Yitong Yin |
Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, pp. 72-83, 2008, Springer, 978-3-540-70574-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Ziqiang Zhou, Mujun Li, Liguan Shen |
Manufacturing Resource Management for Collaborative Process Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLAMAT ![In: Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management, Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15-17, 2006, Shanghai, China, pp. 926-931, 2006, Springer, 0-387-34402-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Manufacturing resource, Simulation, Collaborative, Process planning |
33 | Mark Hennessy, James F. Power |
An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 104-113, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
grammar-based software, rule coverage, software testing, test suite reduction |
33 | Yoshiharu Kohayakawa, Flávio Keidi Miyazawa, Prabhakar Raghavan, Yoshiko Wakabayashi |
Multidimensional Cube Packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 40(3), pp. 173-187, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multidimensional bin packing, Asymptotic performance, Approximation algorithms |
33 | Bei Di Chen, Muthucumaru Maheswaran |
A Fair Synchronization Protocol with Cheat Proofing for Decentralized Online Multiplayer Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August - 1 September 2004, Cambridge, MA, USA, pp. 372-375, 2004, IEEE Computer Society, 0-7695-2242-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Eric E. Allen, Jonathan Bannet, Robert Cartwright |
A first-class approach to genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 96-114, 2003, ACM, 1-58113-712-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Dino Ahr, Gerhard Reinelt |
New Heuristics and Lower Bounds for the Min-Max k -Chinese Postman Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 64-74, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Min-Max Optimization, Heuristics, Lower Bounds, Chinese Postman Problem, Arc Routing |
33 | James Aspnes, David F. Fischer, Michael J. Fischer, Ming-Yang Kao, Alok Kumar |
Towards understanding the predictability of stock markets from the perspective of computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, January 7-9, 2001, Washington, DC, USA., pp. 745-754, 2001, ACM/SIAM, 0-89871-490-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
33 | Jean-Marie Favre |
A Rigorous Approach to Support the Maintenance of Large Portable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pp. 44-47, 1997, IEEE Computer Society, 0-8186-7892-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska |
C preprocessor use in numerical tools: an empirical analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp |
27 | Jean-Marie Favre |
Understanding-In-The-Large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997 - Dearborn, MI, USA, pp. 29-38, 1997, IEEE Computer Society, 0-8186-7993-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Architecture, Evolution, Manufacture, Configuration Management, Software Understanding, Programming-In-The-Large, CPP |
24 | Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop |
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 1509-1539, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Gregoretti, Giovanni Pezzulo, Domenico Maisto |
cpp-AIF: A multi-core C++ implementation of Active Inference for Partially Observable Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 568, pp. 127065, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Zhikang Zeng, Quan Zhou, Kaijun Wei, Ningbin Yang, Chunming Tang 0003 |
BCS-CPP: A Blockchain and Collaborative Service-Based Conditional Privacy-Preserving Scheme for Internet of Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Veh. ![In: IEEE Trans. Intell. Veh. 9(2), pp. 4130-4144, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Oren Elmakis, Amir Degani |
USV Port Oil Spill Cleanup Using Hybrid Multi-Destination RL-CPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 122722-122735, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | |
On the Inverses and Their Hamming Weights of Known APN, 4-Differentially Uniform and CPP Exponents Over F₂ⁿ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 69(5), pp. 3316-3329, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop |
Unboxed data constructors - or, how cpp decides a halting problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.07369, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Shengcong Chen, Changxing Ding, Minfeng Liu, Jun Cheng 0003, Dacheng Tao |
CPP-Net: Context-Aware Polygon Proposal Network for Nucleus Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 32, pp. 980-994, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kihwang Son, Seulki Park, Kyunghoon Jung, Jun-Gyu Kim, Younggun Ko, Keonyong Cheon, Changkeun Yoon, Jiho Kim, Jaehun Jeong, Taehun Myung, Changmin Hong, Weonwi Jang, Min-Chul Sun, Sungil Jo, Ju-Youn Kim, Byungmoo Song, Yuri Yasuda-Masuoka, Ja-Hum Ku, Gitae Jeong |
Highly Reliable/Manufacturable 4nm FinFET Platform Technology (SF4X) for HPC Application with Dual-CPP/HP-HD Standard Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Technology and Circuits ![In: 2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits), Kyoto, Japan, June 11-16, 2023, pp. 1-2, 2023, IEEE, 978-4-86348-806-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Xinshi Zang, Lei Chen 0031, Xing Li, Wilson W. K. Thong, Weihua Sheng, Evangeline F. Y. Young, Martin D. F. Wong |
CPP: A Multi-Level Circuit Partitioning Predictor for Hardware Verification Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the Great Lakes Symposium on VLSI 2023, GLSVLSI 2023, Knoxville, TN, USA, June 5-7, 2023, pp. 357-361, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Yulei Chen, Jianhua Chen 0002 |
CPP-CLAS: Efficient and Conditional Privacy-Preserving Certificateless Aggregate Signature Scheme for VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 9(12), pp. 10354-10365, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jiabang Liu, Xutong Jiang, Song Zhang, Bowen Liu, Wanchun Dou |
CPP: A content-aware privacy protection method for location-based service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 39(5), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Zongyuan Shen, Junnan Song, Khushboo Mittal, Shalabh Gupta |
CT-CPP: Coverage Path Planning for 3D Terrain Reconstruction Using Dynamic Coverage Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(1), pp. 135-142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sedat Dogru, Lino Marques |
ECO-CPP: Energy constrained online coverage path planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 157, pp. 104242, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jiameng Ying, Rui Hou 0001, Lutan Zhao, Fengkai Yuan, Penghui Zhao, Dan Meng |
CPP: A lightweight memory page management extension to prevent code pointer leakage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 130, pp. 102679, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Eko Fajar Cahyadi, Anggun Fitrian Isnawati, Karisma Trinanda Putra, Heri Wijayanto |
A Light Reconstruction on CPP-BAT in VANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-TW ![In: IEEE International Conference on Consumer Electronics - Taiwan, ICCE-TW 2022, Taipei, Taiwan, July 6-8, 2022, pp. 1-2, 2022, IEEE, 978-1-6654-7050-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Anders Aaen Springborg, Martin Kaldahl Andersen, Kaare Holland Hattel, Michele Albano |
cpp-tiny-client: a secure API client generator for IoT devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 202-205, 2022, ACM, 978-1-4503-8713-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Julian Reisch, Peter Großmann |
Automatic Refactoring and Compile Time Optimization of Cpp Projects by Directly Including Header Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: ICCTA 2022: 8th International Conference on Computer Technology Applications, Kapfenberg, Austria, May 12 - 14, 2022, pp. 71-76, 2022, ACM, 978-1-4503-9622-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Alireza Shirmarz, Ali Ghaffari |
Taxonomy of controller placement problem (CPP) optimization in Software Defined Network (SDN): a survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 12(12), pp. 10473-10498, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Pirat Khunkitti, Kotchakorn Pituso, Nuttapon Chaiduangsri, Apirat Siritaratiwat |
Optimal Sizing of CPP-GMR Read Sensors for Magnetic Recording Densities of 1-4 Tb/in². ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 130758-130766, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Tsung-Wei Huang, Yibo Lin, Chun-Xun Lin, Guannan Guo, Martin D. F. Wong |
Cpp-Taskflow: A General-Purpose Parallel Task Programming System at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(8), pp. 1687-1700, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Shengcong Chen, Changxing Ding, Minfeng Liu, Dacheng Tao |
CPP-Net: Context-aware Polygon Proposal Network for Nucleus Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.06867, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Lucian Trifina, Daniela G. Tarniceriu, Jonghoon Ryu, Ana-Mirela Rotopanescu |
Upper bounds on the minimum distance for turbo codes using CPP interleavers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 76(3), pp. 423-447, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Lucian Trifina, Daniela G. Tarniceriu, Jonghoon Ryu, Ana-Mirela Rotopanescu |
Some lengths for which CPP interleavers have weaker minimum distances than QPP interleavers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 357(5), pp. 3097-3112, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Zongyuan Shen, Junnan Song, Khushboo Mittal, Shalabh Gupta |
CT-CPP: 3D Coverage Path Planning for Unknown Terrain Reconstruction using Coverage Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.09231, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Tsung-Wei Huang, Dian-Lun Lin, Yibo Lin, Chun-Xun Lin |
Cpp-Taskflow v2: A General-purpose Parallel and Heterogeneous Task Programming System at Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.10908, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Lucian Trifina, Daniela G. Tarniceriu, Jonghoon Ryu, Ana-Mirela Rotopanescu |
Further upper bounds on the minimum distance for turbo codes using CPP interleavers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Phys. Commun. ![In: Phys. Commun. 43, pp. 101212, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Mahdi Hassan, Dikai Liu, Xiang Chen 0011 |
Squircular-CPP: A Smooth Coverage Path Planning Algorithm based on Squircular Fitting and Spiral Path. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIM ![In: IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2020, Boston, MA, USA, July 6-9, 2020, pp. 1075-1081, 2020, IEEE, 978-1-7281-6794-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Zhaori Cong, Zhilong Zhang, Danpu Liu |
CPP-Based Cooperative Defense Against DoS Attacks in Future Non-terrestrial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ChinaCom ![In: Communications and Networking - 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings, pp. 256-267, 2020, Springer, 978-3-030-67719-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Farnaz Hassanzadeh, Ertan Onur |
Content Placement Problem in a Hierarchical Collaborative Caching method for 5G networks (CPP-HCC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSM ![In: 16th International Conference on Network and Service Management, CNSM 2020, Izmir, Turkey, November 2-6, 2020, pp. 1-7, 2020, IEEE, 978-3-903176-31-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Mohammad Sadegh Aliakbarian, Fatemeh Sadat Saleh, Mathieu Salzmann, Lars Petersson, Stephen Gould |
Sampling Good Latent Variables via CPP-VAEs: VAEs with Condition Posterior as Prior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.08521, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Ana Correia, Christian Wolff 0002, Massimiliano Zanin, Ernestina Menasalvas, Elisa A. Herrmann, Victor Corral, Miriam Kachelmann, Rance DeLong, Pavel Smrz |
Cross-CPP - An Ecosystem for Provisioning, Consolidating, and Analysing Big Data from Cyber-Physical Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPSS@IOT ![In: Proceedings of the 1st Workshop on Cyber-Physical Social Systems co-located with the 9th International Conference on the Internet of Things (IoT 2019), Bilbao, Spain, October 22, 2019., pp. 1-8, 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Lucian Trifina, Daniela G. Tarniceriu, Ana-Mirela Rotopanescu |
Nonlinearity Degree for CPP, 4-PP, and 5-PP Interleavers for Turbo Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 11th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2019, Pitesti, Romania, June 27-29, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-1624-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Tsung-Wei Huang, Chun-Xun Lin, Guannan Guo, Martin D. F. Wong |
Cpp-Taskflow: Fast Task-Based Parallel Programming Using Modern C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, pp. 974-983, 2019, IEEE, 978-1-7281-1246-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Chaobin Liu, Shuigeng Zhou, Haibo Hu 0001, Yuzhe Richard Tang, Jihong Guan, Yao Ma |
CPP: Towards comprehensive privacy preserving for query processing in information networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 467, pp. 296-311, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Ferhat Özgür Çatak, Ahmet Fatih Mustacoglu |
CPP-ELM: Cryptographically Privacy-Preserving Extreme Learning Machine for Cloud Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 11(1), pp. 33-44, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jacob Krüger, Kai Ludwig 0001, Bernhard Zimmermann, Thomas Leich |
Physical separation of features: a survey with CPP developers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pp. 2042-2049, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Springer, Hidehiko Masuhara |
Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming with Structure-of-Arrays Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPMVP@PPoPP ![In: Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, WPMVP@PPoPP 2018, Vienna, Austria, February 24, 2018, pp. 6:1-6:9, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Raffaella Calabrese, Marta Degl'Innocenti, Silvia Angela Osmetti |
The effectiveness of TARP-CPP on the US banking industry: A new copula-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 256(3), pp. 1029-1037, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | He Li, Robson Eduardo De Grande, Azzedine Boukerche |
An Efficient CPP Solution for Resilience-Oriented SDN Controller Deployment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2017, Orlando / Buena Vista, FL, USA, May 29 - June 2, 2017, pp. 540-549, 2017, IEEE Computer Society, 978-1-5386-3408-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Yufeng Cheng, Meng Wang 0002, Yingfei Xiong 0001, Zhengkai Wu, Yiming Wu, Lu Zhang 0023 |
Un-preprocessing: Extended CPP that works with your tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Internetware ![In: Proceedings of the 9th Asia-Pacific Symposium on Internetware, Internetware 2017, Shanghai, China, September 23 - 23, 2017, pp. 3:1-3:10, 2017, ACM, 978-1-4503-5313-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Kuen-Wei Yeh, Jiun-Lang Huang, Laung-Terng Wang |
CPP-ATPG: A Circular Pipeline Processing Based Deterministic Parallel Test Pattern Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 32(5), pp. 625-638, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Annibal Parracho Sant'Anna, Helder Gomes Costa, Valdecy Pereira |
CPP-TRI: a sorting method based on the probabilistic composition of preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Decis. Sci. ![In: Int. J. Inf. Decis. Sci. 7(3), pp. 193-212, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Mohamed Boucadair, Christian Jacquenet, Ning Wang 0001 |
IP Connectivity Provisioning Profile (CPP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 7297, pp. 1-22, July 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Farhana Begum, Manash Pratim Sarma, Kandarpa Kumar Sarma, Nikos E. Mastorakis, Cornelia Aida Bulucea |
Interference suppression using CPP adaptive notch filters for UWB synchronization in stochastic non-linear channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIComms ![In: 2014 IEEE Symposium on Computational Intelligence for Communication Systems and Networks, CIComms 2014, Orlando, FL, USA, December 9-12, 2014, pp. 61-68, 2014, IEEE, 978-1-4799-4525-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Tao Lu, Yongchao Dou, Chi Zhang 0013 |
Fuzzy clustering of CPP family in plants with evolution and interaction analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 14(S-13), pp. S10, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Masayoshi Doi, Kazuhisa Nagamoto, Tetsuya Takehira |
A study of ship's mooring method with Controllable Pitch Propeller (CPP) by applying generalized minimum variance control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 12th European Control Conference, ECC 2013, Zurich, Switzerland, July 17-19, 2013, pp. 3000-3005, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Peter Peresíni, Maciej Kuzniar, Nedeljko Vasic, Marco Canini, Dejan Kostic |
OF.CPP: consistent packet processing for openflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSDN ![In: Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013, The Chinese University of Hong Kong, Hong Kong, China, Friday, August 16, 2013, pp. 97-102, 2013, ACM, 978-1-4503-2178-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Qianyi Zhan, Hongchao Yang, Chongjun Wang, Junyuan Xie |
CPP-SNS: A Solution to Influence Maximization Problem under Cost Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013, pp. 849-856, 2013, IEEE Computer Society, 978-1-4799-2971-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Lori Emerson |
discourse.cpp O.S. le Si (edited by Aurélie Herbelot) University of Cambridge Berlin: Peer Press, 2011, 55 pp; paperbound, ISBN 978-3-00-33516-7, €9.00, or free on-line at peerpress.de/discoursecpp.pdf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 38(4), pp. 923-925, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Jau-Chuan Ke, Yunn-Kuang Chu, Y.-T. Chung, P. C. Lin |
Assessing non-normally distributed processes by interval estimation of the incapability index Cpp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 25(4), pp. 427-437, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Pablo Spiga, Qiang Wang 0012 |
An answer to Hirasaka and Muzychuk: Every p-Schur ring over Cpp is Schurian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 308(9), pp. 1760-1763, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Peter Bodorik, Dawn N. Jutla, Mike Xuehai Wang |
Consistent privacy preferences (CPP): model, semantics, and properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2368-2375, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
P3P agent, rule-set consistency, semantic web privacy, user privacy control, consistency, P3P, privacy preferences |
24 | Yu-Hao Chang, Shang-Ho Tsai, Xiaoli Yu, C.-C. Jay Kuo |
Performance Enhancement of Channel-Phase Precoded Ultra-Wideband (CPP-UWB) Systems by Rake Receivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November - 4 December 2008, pp. 3473-3477, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Chao-Yu Chou, Yu-Chang Lin, Chun-Lang Chang, Chung-Ho Chen |
On the bootstrap confidence intervals of the process incapability index Cpp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 91(4), pp. 452-459, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Satwinder Singh, Karanjeet Singh Kahlon, Rakesh Kumar, Gurjeet Singh |
Translator Design to Model Cpp Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEC (5) ![In: The Third World Enformatika Conference, WEC'05, April 27-29, 2005, Istanbul, Turkey, CDROM, pp. 18-21, 2005, Enformatika, Çanakkale, Turkey, 975-98458-4-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
24 | Jon Peterson |
Common Profile for Presence (CPP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3859, pp. 1-15, August 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Peter G. Harrison |
The MM CPP/GE/c G-Queue: Sojourn Time Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 41(3), pp. 271-298, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Wen Lea Pearn, C. H. Ko, K. H. Wang |
A multiprocess performance analysis chart based on the incapability index Cpp: an application to the chip resistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 42(7), pp. 1121-1125, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Romeo Rizzi |
Cycle cover property and CPP=SCC property are not equivalent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 259(1-3), pp. 337-342, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Ram Chakka, Peter G. Harrison |
A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 37(11-12), pp. 881-919, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marco Porta |
A Mobile Robot Multimedia Interaction System Based on CPP-TRS Methodology and Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 10(1), pp. 71-73, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
20 | Steven Schäfer, Sigurd Schneider, Gert Smolka |
Axiomatic semantics for compiler verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 188-196, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Tahina Ramananandro, Paul Mountcastle, Benoît Meister, Richard Lethin |
A unified Coq framework for verifying C programs with floating-point computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 15-26, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Peter Lammich |
Refinement based verification of imperative data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 27-36, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Floris van Doorn |
Constructing the propositional truncation using non-recursive HITs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 122-129, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Nathan Fulton, André Platzer |
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 110-121, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Sandrine Blazy, Alix Trieu |
Formal verification of control-flow graph flattening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 176-187, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | René Thiemann, Akihisa Yamada 0002 |
Formalizing jordan normal forms in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 88-99, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Michel St-Martin, Amy P. Felty |
A verified algorithm for detecting conflicts in XACML access control rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 166-175, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Arthur Charguéraud |
Higher-order representation predicates in separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 3-14, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson |
Planning for change in a formal verification of the raft consensus protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 154-165, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|