Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Ilkay Altintas, Ismael Pérez, Dmitry Mishin, Adrien Trouillaud, Christopher Irving, John Graham, Mahidhar Tatineni, Thomas A. DeFanti, Shawn Strande, Larry Smarr, Michael L. Norman |
Towards a Dynamic Composability Approach for using Heterogeneous Systems in Remote Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.06918, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Mike Graf 0001, Ralf Küsters, Daniel Rausch 0001 |
AUC: Accountable Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1606, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Ilkay Altintas, Ismael Pérez, Dmitry Mishin, Adrien Trouillaud, Christopher Irving, John Graham, Mahidhar Tatineni, Thomas A. DeFanti, Shawn Strande, Larry Smarr, Michael L. Norman |
Towards a Dynamic Composability Approach for using Heterogeneous Systems in Remote Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e-Science ![In: 18th IEEE International Conference on e-Science, e-Science 2022, Salt Lake City, UT, USA, October 11-14, 2022, pp. 336-345, 2022, IEEE, 978-1-6654-6124-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu |
Leveraging composability in model-based testing for microservices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BENEVOL ![In: Proceedings of the Belgium-Netherlands Software Evolution Workshop, Mons, Belgium, September 12-13, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Paul Carpenter |
COMPSYS 2022 Keynote Talk: Composability at the Boundary Between HPC and Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: IEEE International Parallel and Distributed Processing Symposium, IPDPS Workshops 2022, Lyon, France, May 30 - June 3, 2022, pp. 1194, 2022, IEEE, 978-1-6654-9747-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Junseong Bang |
Metaverse Interoperability with Composability in Hyper-Connected and Hyper-Personalized Virtual Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITU K ![In: 2022 ITU Kaleidoscope- Extended reality - How to boost quality of experience and interoperability, Accra, Ghana, December 7-9, 2022, pp. 1, 2022, IEEE, 978-92-61-36151-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jacques Nadeau |
Substrait: Rethinking DBMS Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDMS@VLDB ![In: 1st International Workshop on Composable Data Management Systems, CDMS@VLDB 2022, Sydney, Australia, September 9, 2022., 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Alexander Mazein, Adrien Rougny, Jonathan R. Karr, Julio Saez-Rodriguez, Marek Ostaszewski, Reinhard Schneider 0002 |
Reusability and composability in process description maps: RAS-RAF-MEK-ERK signalling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 22(5), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Rajiv Movva, Jonathan Frankle, Michael Carbin |
Studying the Consistency and Composability of Lottery Ticket Pruning Masks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.14753, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Edward McDaid, Sarah McDaid |
The Composability of Intermediate Values in Composable Inductive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.01621, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Victor von Wachter, Johannes Rude Jensen, Omri Ross |
Measuring Asset Composability as a Proxy for Ecosystem Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.04227, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub |
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 156, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu |
Algebraic Adversaries in the Universal Composability Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1218, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Rachel Yun Zhang |
The relation between composability and splittability of permutation classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 344(4), pp. 112271, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub |
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021, pp. 2541-2563, 2021, ACM, 978-1-4503-8454-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Victor von Wachter, Johannes Rude Jensen, Omri Ross |
Measuring Asset Composability as a Proxy for DeFi Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography Workshops ![In: Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers, pp. 109-114, 2021, Springer, 978-3-662-63957-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Imran Mahmood, Syed Hassan Askari, Hessam S. Sarjoughian |
Composability Verification of Complex Systems Using Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2021, Phoenix, AZ, USA, December 12-15, 2021, pp. 1-11, 2021, IEEE, 978-1-6654-3311-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ilkay Altintas |
A Tale of Two C's: Convergence and Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 35th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2021, Portland, OR, USA, May 17-21, 2021, pp. 1, 2021, IEEE, 978-1-6654-4066-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu |
Algebraic Adversaries in the Universal Composability Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (3) ![In: Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6-10, 2021, Proceedings, Part III, pp. 311-341, 2021, Springer, 978-3-030-92077-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Donald Beaver |
Software Integrity and Validation Using Cryptographic Composability and Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCML ![In: Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Be'er Sheva, Israel, July 8-9, 2021, Proceedings, pp. 405-413, 2021, Springer, 978-3-030-78085-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Devaprakash Muniraj, Dany Abou Jaoude, Mazen Farhood |
On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 16331-16349, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ralf Küsters, Max Tuengerthal, Daniel Rausch 0001 |
The IITM Model: A Simple and Expressive Model for Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 33(4), pp. 1461-1584, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Soroush Ghodrati, Hardik Sharma, Cliff Young, Nam Sung Kim, Hadi Esmaeilzadeh |
Bit-Parallel Vector Composability for Neural Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.05333, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Rafael Dowsley, Jörn Müller-Quade, Anderson C. A. Nascimento |
On the Composability of Statistically Secure Random Oblivious Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 22(1), pp. 107, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marjan Skrobot, Jean Lancrenon |
On Composability of Game-based Password Authenticated Key Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 848, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Zhi Zhu, Ning Zhu, Yongling Lei, Qun Li 0006, Huabing Wang |
Engineering Semantic Composability Based on Ontological Metamodeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools (1) ![In: Simulation Tools and Techniques - 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I, pp. 582-592, 2020, Springer, 978-3-030-72791-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Soroush Ghodrati, Hardik Sharma, Cliff Young, Nam Sung Kim, Hadi Esmaeilzadeh |
Bit-Parallel Vector Composability for Neural Acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-1085-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Rausch 0001 |
Simple and flexible universal composability: definition of a framework and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
20 | Mark Karpilovskij |
Composability of Permutation Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 26(1), pp. 1, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas |
Probabilistic Termination and Composability of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 32(3), pp. 690-741, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Hélène Coullon, Julien Bigot, Christian Pérez |
Extensibility and Composability of a Multi-Stencil Domain Specific Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 47(5-6), pp. 1046-1085, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Marco Patrignani, Riad S. Wahby, Robert Künnemann |
Universal Composability is Secure Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.08634, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch 0001 |
iUC: Flexible Universal Composability Made Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 1073, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Feng Zhu 0009, Yiping Yao, Jin Li, Wenjie Tang |
Reusability and composability analysis for an agent-based hierarchical modelling and simulation framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 90, pp. 81-97, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch 0001 |
iUC: Flexible Universal Composability Made Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT (3) ![In: Advances in Cryptology - ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019, Proceedings, Part III, pp. 191-221, 2019, Springer, 978-3-030-34617-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Hui Guan 0001, Xipeng Shen, Seung-Hwan Lim |
Wootz: a compiler-based framework for fast CNN pruning via composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pp. 717-730, 2019, ACM, 978-1-4503-6712-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ali Behravan, Nadra Tabassam, Osama Al-Najjar, Roman Obermaisser |
Composability Modeling for the Use Case of Demand-controlled Ventilation and Heating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoDIT ![In: 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019, Paris, France, April 23-26, 2019, pp. 1998-2003, 2019, IEEE, 978-1-7281-0521-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Gabriele Farina, Christian Kroer, Tuomas Sandholm |
Regret Circuits: Composability of Regret Minimizers. ![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. 1863-1872, 2019, PMLR. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Stefan Korecko |
Utilizing Rail Traffic Control Simulator in Verified Software Development Courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 98-135, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Bart Zuilhof, Rinse van Hees, Clemens Grelck |
Code Quality Metrics for Functional Features in Modern Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 358-374, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Nikolay Handzhiyski, Elena Somova |
Tunnel Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 325-343, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb |
Towards Better Tool Support for Code Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 165-201, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Rui Pereira, Marco Couto 0001, Jácome Cunha, Gilberto Melfe, João Saraiva, João Paulo Fernandes |
Paint Your Programs Green: On the Energy Efficiency of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 53-76, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Tihana Galinac Grbac, Nikola Domazet |
The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources - Part II. Network Evolution and Design Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 136-164, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jianhao Li, Yuri Kim, Viktória Zsók |
Balanced Distributed Computation Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 202-321, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer |
Writing Internet of Things Applications with Task Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 3-52, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Gonçalo Lopes, João Paulo Fernandes, Luís Paquete |
An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 375-391, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | João Saraiva, Rui Pereira |
Energy Efficient Software in an Engineering Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 77-97, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Simon Baars, Ana Oprescu |
Finding Code Clone Refactoring Techniques by Mapping Clone Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEFP ![In: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, pp. 344-357, 2019, Springer, 978-3-031-42832-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Shahram Khazaei, Mehri Rezaei-Aliabadi |
A rigorous security analysis of a decentralized electronic voting protocol in the universal composability framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 43, pp. 99-109, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Alonso González, Alejandro Hevia |
A second note on the feasibility of generalized universal composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(2), pp. 141-154, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Zhi Zhu, Yonglin Lei, Abdurrahman Alshareef, Hessam S. Sarjoughian, Yifan Zhu |
Domain Specific MetaModeling for Deep Semantic Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 18276-18289, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Dowsley, Jörn Müller-Quade, Anderson C. A. Nascimento |
On the Composability of Statistically Secure Random Oblivious Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.10145, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Gabriele Farina, Christian Kroer, Tuomas Sandholm |
Composability of Regret Minimizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.02540, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Huifang Yu 0001, Zhicang Wang, Jianmin Li, Xinzhe Gao |
Identity-Based Proxy Signcryption Protocol with Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 2018, pp. 9531784:1-9531784:11, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Brandon Broadnax, Alexander Koch 0001, Jeremias Mechler, Tobias Müller 0005, Jörn Müller-Quade, Matthias Nagel 0001 |
Fortified Universal Composability: Taking Advantage of Simple Secure Hardware Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 519, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Paul Glotfelter, Jorge Cortés 0001, Magnus Egerstedt |
Boolean Composability of Constraints and Control Synthesis for Multi-Robot Systems via Nonsmooth Control Barrier Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA ![In: IEEE Conference on Control Technology and Applications, CCTA 2018, Copenhagen, Denmark, August 21-24, 2018, pp. 897-902, 2018, IEEE, 978-1-5386-7698-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sathya Peri, Ajay Singh 0002, Archit Somani |
Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, pp. 157-174, 2018, Springer, 978-3-030-05528-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Marjan Skrobot, Jean Lancrenon |
On Composability of Game-Based Password Authenticated Key Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018, pp. 443-457, 2018, IEEE, 978-1-5386-4228-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Rausch 0001 |
Universal Composability: A Comparison of Different Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Krypto-Tag ![In: 29. Krypto-Tag, Renningen, Germany, September 6-7, 2018, 2018, Gesellschaft für Informatik e.V. / FG KRYPTO. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Kyung-Min Seo, Wooyoung Hong, Tag Gon Kim |
Enhancing model composability and reusability for entity-level combat simulation: A conceptual modeling approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 93(10), pp. 825-840, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | J. Frederico Carvalho 0001, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, Karl Henrik Johansson |
Composability and controllability of structural linear time-invariant systems: Distributed verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 78, pp. 123-134, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Sathya Peri, Ajay Singh 0002, Archit Somani |
Efficient means of Achieving Composability using Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.00681, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.09803, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Saïd Aoues, Michael Di Loreto, Damien Eberard, Wilfrid Marquis-Favre |
Hamiltonian systems discrete-time approximation: Losslessness, passivity and composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 110, pp. 9-14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Basit Shafiq, Sameera Ghayyur, Ammar Masood, Zahid Pervaiz, Abdulrahman Almutairi, M. Farrukh Khan, Arif Ghafoor |
Composability Verification of Multi-Service Workflows in a Policy-Driven Cloud Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 14(5), pp. 478-493, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Wang Yi 0001 |
Towards Customizable CPS: Composability, Efficiency and Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, pp. 3-15, 2017, Springer, 978-3-319-68689-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Marjan Skrobot |
On Composability and Security of Game-based Password-Authenticated Key Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
20 | István Vajda |
On the analysis of time-aware protocols in universal composability framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 15(4), pp. 403-412, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Björn Andersson |
Turning compositionality into composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 13(3), pp. 25-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas |
Probabilistic Termination and Composability of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2016, pp. 350, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Florian Böhl, Dominique Unruh |
Symbolic universal composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Secur. ![In: J. Comput. Secur. 24(1), pp. 1-38, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber 0001, Joseph Sifakis |
A general framework for architecture composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(2), pp. 207-231, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Douglas Wikström |
Simplified Universal Composability Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC (A1) ![In: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, pp. 566-595, 2016, Springer, 978-3-662-49095-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Gaetana Sapienza, Séverine Sentilles, Ivica Crnkovic, Tiberiu Seceleanu |
Extra-Functional Properties Composability for Embedded Systems Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2016, Venice, Italy, April 5-8, 2016, pp. 69-78, 2016, IEEE Computer Society, 978-1-5090-2569-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Yohei Murakami, Takao Nakaguchi, Donghui Lin, Toru Ishida 0001 |
An Ontology for Language Service Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLSI/OIAF4HLT@COLING ![In: Proceedings of the Third International Workshop on Worldwide Language Service Infrastructure and Second Workshop on Open Infrastructures and Analysis Frameworks for Human Language Technologies WLSI/OIAF4HLT@COLING, Osaka, Japan, December 12, 2016, pp. 61-69, 2016, The COLING 2016 Organizing Committee, 978-4-87974-720-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas |
Probabilistic Termination and Composability of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (3) ![In: Advances in Cryptology - CRYPTO 2016 - 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III, pp. 240-269, 2016, Springer, 978-3-662-53014-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Anh Tuan Nguyen 0001, Hoan Anh Nguyen, Tien N. Nguyen |
A large-scale study on repetitiveness, containment, and composability of routines in open-source projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 13th International Conference on Mining Software Repositories, MSR 2016, Austin, TX, USA, May 14-22, 2016, pp. 362-373, 2016, ACM, 978-1-4503-4186-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | David Rajaratnam, Bernhard Hengst, Maurice Pagnucco, Claude Sammut, Michael Thielscher |
Composability in Cognitive Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2016: Advances in Artificial Intelligence - 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings, pp. 42-55, 2016, Springer, 978-3-319-50126-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Dennis Hofheinz, Victor Shoup |
GNUC: A New Universal Composability Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 28(3), pp. 423-508, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Hong Zhu 0002, Ian Bayley |
On the Composability of Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 41(11), pp. 1138-1152, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Gabriel Fernandez, Jaume Abella 0001, Eduardo Quiñones, Tullio Vardanega, Luca Fossati, Marco Zulianello, Francisco J. Cazorla |
Introduction to partial time composability for COTS multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pp. 1955-1956, 2015, ACM, 978-1-4503-3196-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Yoann Gabillon |
User interface composition: operators and composability checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 27th Conference on l'Interaction Homme-Machine, IHM 2015, Toulouse, France, October 27-30, 2015, pp. 13:1-13:8, 2015, ACM, 978-1-4503-3844-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Madhu Saravana Sibi Govindan, Behnam Robatmili, Dong Li, Bertrand A. Maher, Aaron Smith, Stephen W. Keckler, Doug Burger |
Scaling Power and Performance viaProcessor Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 63(8), pp. 2025-2038, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Brahim Medjahed, Zaki Malik, Salima Benbernou |
On the Composability of Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Services Foundations ![In: Web Services Foundations, pp. 137-160, 2014, Springer, 978-1-4614-7517-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Boonserm Kulvatunyou, Evan Wallace, Nenad Ivezic, Yunsu Lee |
Toward Manufacturing System Composability Analysis: A Use Case Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APMS (2) ![In: Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World - IFIP WG 5.7 International Conference, APMS 2014, Ajaccio, France, September 20-24, 2014, Proceedings, Part II, pp. 658-666, 2014, Springer, 978-3-662-44735-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Knirsch, Joachim Wietzke, Ronald Moore, Paul Dowland 0001 |
Connected In-Car Multimedia: Qualities Affecting Composability of Dynamic Functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INC ![In: Tenth International Network Conference, INC 2014, Plymouth, UK, July 8-10, 2014. Proceedings, pp. 81-93, 2014, Plymouth University, 978-1-84102-373-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Christopher Meiklejohn |
On the composability of the Riak DT map: expanding from embedded to multi-key structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaPEC@EuroSys ![In: Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, PaPEC@EuroSys 2014, April 13, 2014, Amsterdam, The Netherlands, pp. 13:1-13:2, 2014, ACM, 978-1-4503-2716-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber 0001, Joseph Sifakis |
A General Framework for Architecture Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 128-143, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Hajar Omrana |
Vers une Composition Dynamique des Services Web: une approche de Composabilité Offline. (Towards a Dynamic Web Services Composition : An Offline Composability Approach). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
20 | Nhan Nguyen Dang |
On Composability, Efficient Design and Memory Reclamation of Lock-free Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
20 | Christopher Oster, Jon Wade |
Ecosystem requirements for composability and reuse: An investigation into ecosystem factors that support adoption of composable practices for engineering design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 16(4), pp. 439-452, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade |
Polynomial Runtime and Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 26(3), pp. 375-441, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Moris Behnam, Rafia Inam, Thomas Nolte, Mikael Sjödin |
Multi-core composability in the face of memory-bus contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 10(3), pp. 35-42, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Florian Böhl, Dominique Unruh |
Symbolic Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2013, pp. 62, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Ralf Küsters, Max Tuengerthal |
The IITM Model: a Simple and Expressive Model for Universal Composability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2013, pp. 25, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi |
Composability Verification of Real Time System Models Using Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UKSim ![In: 15th International Conference on Computer Modelling and Simulation, UKSim 2013, Cambridge, United Kingdom, April 10-12, 2013, pp. 407-412, 2013, IEEE, 978-1-4673-6421-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella 0001, Tullio Vardanega, Francisco J. Cazorla |
Achieving timing composability with measurement-based probabilistic timing analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2013, Paderborn, Germany, June 19-21, 2013, pp. 1-8, 2013, IEEE Computer Society, 978-1-4799-2111-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Baldovin, Andrea Graziano, Enrico Mezzetti, Tullio Vardanega |
Kernel-level time composability for avionics applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pp. 1552-1554, 2013, ACM, 978-1-4503-1656-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Resch, Andreas Steininger, Christoph Scherrer |
Software Composability and Mixed Criticality for Triple Modular Redundant Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|