The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Composability with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1974-1994 (15) 1995-1998 (15) 1999-2001 (25) 2002-2003 (33) 2004 (21) 2005 (23) 2006 (33) 2007 (39) 2008 (40) 2009 (24) 2010-2011 (33) 2012-2013 (24) 2014-2016 (23) 2017-2018 (19) 2019 (21) 2020-2021 (21) 2022-2023 (30) 2024 (1)
Publication types (Num. hits)
article(123) incollection(2) inproceedings(305) phdthesis(9) proceedings(1)
Venues (Conferences, Journals, ...)
IACR Cryptol. ePrint Arch.(24) CoRR(18) WSC(17) CEFP(12) J. Cryptol.(11) TCC(10) EUROCRYPT(8) IEEE Trans. Software Eng.(6) CCS(5) CRYPTO(5) IEEE Access(5) IPDPS(5) ICWS(4) PADS(4) PODC(4) ProvSec(4) More (+10 of total 246)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 330 occurrences of 218 keywords

Results
Found 440 publication records. Showing 440 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
97J. Christian Attiogbé, Pascal André, Gilles Ardourel Checking Component Composability. Search on Bibsonomy SC@ETAPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Behavioural Interface Description, Behavioural Verification, Components, Services, Composability
90Brahim Medjahed, Athman Bouguettaya A Multilevel Composability Model for Semantic Web Services. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
90Yehuda Lindell General Composition and Universal Composability in Secure Multi-Party Computation. Search on Bibsonomy FOCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
86Yehuda Lindell General Composition and Universal Composability in Secure Multiparty Computation. Search on Bibsonomy J. Cryptol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Concurrent general composition, Universal composability, Secure computation
79Ovidiu Valentin Drugan, Ioanna Dionysiou, David E. Bakken, Thomas Plagemann, Carl H. Hauser, Deborah A. Frincke On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management. Search on Bibsonomy ISAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
79Zhe Dang, Oscar H. Ibarra, Jianwen Su Composability of Infinite-State Activity Automata. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
74Claudia Szabo, Yong Meng Teo An Approach for Validation of Semantic Composability in Simulation Models. Search on Bibsonomy PADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF semantic composability, simulation, component, validation
61Yong Meng Teo, Claudia Szabo CODES: An Integrated Approach to Composable Modeling and Simulation. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2008 DBLP  DOI  BibTeX  RDF syntactic composability, semantic composability, model discovery, simulation ontology, model reuse
55Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits Composability in the time-triggered system-on-chip architecture. Search on Bibsonomy SoCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
55Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao A Note on the Feasibility of Generalized Universal Composability. Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Elham Paikari, Jafar Habibi, Soheil Hassas Yeganeh Semantic Composability Measure for Semantic Web Services. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Baoping Lin, Qing Li 0001, Naijie Gu A Semantic Specification Framework for Analyzing Functional Composability of Autonomous Web Services. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Paul K. Davis, Andreas Tolk Observations on new developments in composability and multi-resolution modeling. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
55Franck Barbier Composability for Software Components: An Approach Based on the Whole-Part Theory. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Dennis Hofheinz, Dominique Unruh Simulatable Security and Polynomially Bounded Concurrent Composability. Search on Bibsonomy S&P The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Reactive Simulatability, Universal Composability, concurrent composition
50Jan Jürjens Composability of Secrecy. Search on Bibsonomy MMM-ACNS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
47Hermann Kopetz The Temporal Specification of Interfaces in Distributed Real-Time Systems. Search on Bibsonomy EMSOFT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Yevgeniy Dodis, Jonathan Katz, Adam D. Smith, Shabsi Walfish Composability and On-Line Deniability of Authentication. Search on Bibsonomy TCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Sebastian Freundt, Peter Horn, Alexander Konovalov 0001, Steve Linton, Dan Roozemond Symbolic Computation Software Composability. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Claudia Szabo, Yong Meng Teo On Syntactic Composability and Model Reuse. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang Resource Fairness and Composability of Cryptographic Protocols. Search on Bibsonomy TCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Hessam S. Sarjoughian Model composability. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Levent Yilmaz, Andreas Tolk Engineering ab initio dynamic interoperability and composability via agent-mediated introspective simulation. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Michael Spiegel, Paul F. Reynolds Jr., David C. Brogan A case study of model context for simulation composability and reusability. Search on Bibsonomy WSC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Hessam S. Sarjoughian, Dongping Huang A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models. Search on Bibsonomy DS-RT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Stephen Kasputis, Henry C. Ng Model composability: formulating a research thrust: composable simulations. Search on Bibsonomy WSC The full citation details ... 2000 DBLP  BibTeX  RDF
42Ran Canetti, Eyal Kushilevitz, Yehuda Lindell On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions. Search on Bibsonomy J. Cryptol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Universal composability, Secure two-party computation, Impossibility results
42Li Gong, Xiaolei Qian Computational Issues in Secure Interoperation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF secure composability, algorithms, computational complexity, interoperability, Computer security, database systems
42Aris Zakinthinos, E. Stewart Lee How and why feedback composition fails [secure systems]. Search on Bibsonomy CSFW The full citation details ... 1996 DBLP  DOI  BibTeX  RDF feedback composition, generalized noninterference, secure components, n-forward correctability, system designer, security of data, composability, necessary and sufficient conditions, restrictiveness
38Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam A unified framework for concurrent security: universal composability from stand-alone non-malleability. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF secure multi-party computation, universal composability, non-malleability
38Jörn Müller-Quade, Dominique Unruh Long-Term Security and Universal Composability. Search on Bibsonomy TCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF long-term security, commitment, zero-knowledge, Universal Composability
38Manoj Prabhakaran 0001, Amit Sahai New notions of security: achieving universal composability without trusted setup. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF environmental security, general composition, generalized environmental security, simulation, secure protocols, secure multi-party computation, universal composability
38Aris Zakinthinos, E. Stewart Lee The composability of non-interference [system security]. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF McCullough's conjecture, noninterference composability, feedback, security of data, system security
32Masayuki Terada, Kazuki Yoneyama, Sadayuki Hongo, Kazuo Ohta Modeling Agreement Problems in the Universal Composability Framework. Search on Bibsonomy ICICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Luís Gomes 0001, João Paulo Barros Structuring and composability issues in Petri nets modeling. Search on Bibsonomy IEEE Trans. Ind. Informatics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Ke Cao, Puneet Dhawan, Jiang Hu Library cell layout with Alt-PSM compliance and composability. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Slobodan Matic, Thomas A. Henzinger Trading End-to-End Latency for Composability. Search on Bibsonomy RTSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Jens Groth Evaluating Security of Voting Schemes in the Universal Composability Framework. Search on Bibsonomy ACNS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Paul C. Davis, Paul A. Fishwick, C. Michael Overstreet, Claude Dennis Pegden Model composability as a research investment: responses to the featured paper. Search on Bibsonomy WSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Cyprien Noël Extensible software transactional memory. Search on Bibsonomy C3S2E The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
31Heidi Pan, Benjamin Hindman, Krste Asanovic Composing parallel software efficiently with lithe. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cooperative scheduling, oversubscription, user-level scheduling, parallelism, resource management, composability, hierarchical scheduling
31Christoph Lucas, Dominik Raub, Ueli M. Maurer Hybrid-secure MPC: trading information-theoretic robustness for computational privacy. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
31Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka Efficient Non-interactive Universally Composable String-Commitment Schemes. Search on Bibsonomy ProvSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-interactive string commitment, all-but-one trapdoor functions, homomorphism, universal composability
31Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan On the Relationships between Notions of Simulation-Based Security. Search on Bibsonomy J. Cryptol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
31Kaoru Kurosawa, Jun Furukawa 0001 Universally Composable Undeniable Signature. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF undeniable signature scheme, Universal composability
31Jun Furukawa 0001, Frederik Armknecht, Kaoru Kurosawa A Universally Composable Group Key Exchange Protocol with Minimum Communication Effort. Search on Bibsonomy SCN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF session ID generation, universal composability, Group key exchange
31Sebastian Gajek A Universally Composable Framework for the Analysis of Browser-Based Security Protocols. Search on Bibsonomy ProvSec The full citation details ... 2008 DBLP  DOI  BibTeX  RDF browser-based protocols, security model, Universal Composability
31Tri Van Le, Mike Burmester, Breno de Medeiros Universally composable and forward-secure RFID authentication and authenticated key exchange. Search on Bibsonomy AsiaCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF RFID authentication and key-exchange protocols, anonymity, forward-security, universal composability
31Kristian Gjøsteen, Lillian Kråkmo Universally Composable Signcryption. Search on Bibsonomy EuroPKI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Secure messaging, signcryption, universal composability
31Tswen-Juh Gu, Nei-Wei Lo, Wei-Ning Yang Towards a COTS-based service-oriented simulation architecture. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF service-oriented simulation architecture, interoperability, high level architecture, composability
31Andreas Tolk, Saikou Y. Diallo, Charles D. Turnitsa Model-based data engineering: preparing a paradigm shift towards self-organizing information exchange. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF interoperability, composability, system of systems, data engineering
31Jesús F. Almansa, Ivan Damgård, Jesper Buus Nielsen Simplified Threshold RSA with Adaptive and Proactive Security. Search on Bibsonomy EUROCRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Threshold RSA, Uni-versal Composability, Proactiveness, Adaptive Security
31Nélio Cacho, Cláudio Sant'Anna, Eduardo Figueiredo 0001, Alessandro F. Garcia 0001, Thaís Vasconcelos Batista, Carlos José Pereira de Lucena Composing design patterns: a scalability study of aspect-oriented programming. Search on Bibsonomy AOSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF metrics, design patterns, empirical studies, aspect-oriented programming, composability
31Jonathan Katz, Ji Sun Shin Modeling insider attacks on group key-exchange protocols. Search on Bibsonomy CCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF universal composability, group key exchange, insider attacks
31Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer Specification of Realtime Systems Using ASTRAL. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
31Pedro A. Molina, Peter Y. K. Cheung A Quasi Delay-Insensitive Bus Proposal for Asynchronous Systems. Search on Bibsonomy ASYNC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Tri-state Buffers, Asynchronous, Composability, Bus, Data Path, Delay-Insensitive, Handshake Circuits
31Charlotte Pii Lunau A Reflective Architecture for Process Control Applications. Search on Bibsonomy ECOOP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Adaptability, Reflection, Composability
31Jeremy Jacob A Uniform Presentation of Confidentiality Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF confidentiality properties, information-flow properties, probabilistic security properties, security of data, composability, security property
24Deepak Mathaikutty, Sandeep K. Shukla MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Andreas Tolk, Saikou Y. Diallo, Charles D. Turnitsa Mathematical models towards self-organizing formal federation languages based on conceptual models of information exchange capabilities. Search on Bibsonomy WSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Jack B. Dennis The fresh breeze project: A multi-core chip supporting composable parallel programming. Search on Bibsonomy IPDPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler DEVSML: automating DEVS execution over SOA towards transparent simulators. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF DEVSML, JavaML, web services, SOA
24Paul Gustavson, Tram Chase Building composable bridges between the conceptual space and the implementation space. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Juan A. Garay, Philip D. MacKenzie, Ke Yang Strengthening Zero-Knowledge Protocols Using Signatures. Search on Bibsonomy J. Cryptol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation soundness, Signatures, Zero knowledge, Non-malleability
24Reinhard Gotzhein, Ferhat Khendek Compositional Testing of Communication Systems. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Michael Ben-Or, Michal Horodecki, Debbie W. Leung, Dominic Mayers, Jonathan Oppenheim The Universal Composable Security of Quantum Key Distribution. Search on Bibsonomy TCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24Dennis Hofheinz, Jörn Müller-Quade Universally Composable Commitments Using Random Oracles. Search on Bibsonomy TCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF universal composition, cryptographic protocols, commitment, random oracle
24Kohei Honda 0001, Nobuko Yoshida A compositional logic for polymorphic higher-order functions. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compositional logics, polymorphim, types, higher-order functions
24Weirong Wang, Aloysius K. Mok On the Composition of Real-Time Schedulers. Search on Bibsonomy RTCSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Juan A. Garay, Philip D. MacKenzie, Ke Yang 0005 Strengthening Zero-Knowledge Protocols Using Signatures. Search on Bibsonomy EUROCRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Nicolas Belloir, Jean-Michel Bruel, Franck Barbier Whole-Part Relationships for Software Component Combination. Search on Bibsonomy EUROMICRO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
24Ran Canetti, Hugo Krawczyk Universally Composable Notions of Key Exchange and Secure Channels. Search on Bibsonomy EUROCRYPT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Composition of protocols, Cryptographic Protocols, Key Exchange, Proofs of Security
24Janos Sztipanovits, Gabor Karsai Generative programming for embedded systems. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
24Christophe Nicolle, Kokou Yétongnon XML Enabled Metamodeling and Tools for Cooperative Information Systems. Search on Bibsonomy EC-Web The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Furio Honsell, Donald Sannella Pre-logical Relations. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
24C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash 0001 Support for Reusability in Genesis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Genesis, reusability-driven development methodology, software resources, entity specification language, functional composition, program abstractors, databases, software development, software tools, software tools, programming environment, programming environments, software reuse, database management systems, query languages, query languages, specification languages, software reusability, file organisation, file organisation, ESL
20Qiuxian Li, Quanxing Zhou, Hongfa Ding A Secure and Fair Federated Learning Protocol Under the Universal Composability Framework. Search on Bibsonomy MMM (1) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
20Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. Search on Bibsonomy ACM Trans. Priv. Secur. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Kandasamy Muniasamy, Rohit Chadha, Prasad Calyam, M. Sethumadhavan 0001 Analyzing Component Composability of Cloud Security Configurations. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Abdullah Aziz, Shailesh Singh Chouhan, Olov Schelén, Ulf Bodin Distributed Digital Twins as Proxies-Unlocking Composability and Flexibility for Purpose-Oriented Digital Twins. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Dipankar Sarkar 0005 Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20David A. Noever, Samantha Elizabeth Miller Noever Visual AI and Linguistic Intelligence Through Steerability and Composability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xiaoxia Wu, Cheng Li 0001, Reza Yazdani Aminabadi, Zhewei Yao, Yuxiong He Understanding INT4 Quantization for Transformer Models: Latency Speedup, Composability, and Failure Cases. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino DeFi composability as MEV non-interference. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Paula Arnold, Sebastian Berndt 0001, Jörn Müller-Quade, Astrid Ottenhues Protection Against Subversion Corruptions via Reverse Firewalls in the plain Universal Composability Framework. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2023 DBLP  BibTeX  RDF
20Sebastian Berndt 0001, Thomas Eisenbarth 0001, Sebastian Faust, Marc Gourjon, Maximilian Orlt, Okan Seker Combined Fault and Leakage Resilience: Composability, Constructions and Compiler. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2023 DBLP  BibTeX  RDF
20Ebrahim Aly, Sondoss Elsawah, Hasan Hüseyin Turan, Michael J. Ryan Designing a pattern language to enhance model composability and reusability: An example with component-based probabilistic models. Search on Bibsonomy Environ. Model. Softw. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Dionysios Diamantopoulos, Burkhard Ringlein, Beat Weiss, Mark A. Lantz, François Abel Composability of Cloud Accelerators in Virtual World Simulations. Search on Bibsonomy CLOUD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Joseph Jaeger Let Attackers Program Ideal Models: Modularity and Composability for Adaptive Compromise. Search on Bibsonomy EUROCRYPT (3) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Zoltán Porkoláb, Viktória Zsók (eds.) Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers Search on Bibsonomy CEFP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Mike Graf 0001, Ralf Küsters, Daniel Rausch 0001 AUC: Accountable Universal Composability. Search on Bibsonomy SP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Sebastian Berndt 0001, Thomas Eisenbarth 0001, Sebastian Faust, Marc Gourjon, Maximilian Orlt, Okan Seker Combined Fault and Leakage Resilience: Composability, Constructions and Compiler. Search on Bibsonomy CRYPTO (3) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
20Xiaoxia Wu, Cheng Li 0001, Reza Yazdani Aminabadi, Zhewei Yao, Yuxiong He Understanding Int4 Quantization for Language Models: Latency Speedup, Composability, and Failure Cases. Search on Bibsonomy ICML The full citation details ... 2023 DBLP  BibTeX  RDF
20Orri Erling Horizons of Composability. Search on Bibsonomy VLDB Workshops The full citation details ... 2023 DBLP  BibTeX  RDF
20Wataru Endo, Shigeyuki Sato 0001, Kenjiro Taura ComposableThreads: Rethinking User-level Threads with Composability and Parametricity in C++. Search on Bibsonomy J. Inf. Process. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Guobing Zou, Zhen Qin, Qiang He 0001, Pengwei Wang 0001, Bofeng Zhang, Yanglan Gan DeepWSC: Clustering Web Services via Integrating Service Composability into Deep Semantic Features. Search on Bibsonomy IEEE Trans. Serv. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Hyoungsung Kim, Hyun-Sik Kim, Yong-Suk Park Perpetual Contract NFT as Collateral for DeFi Composability. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Kor de Jong, Debabrata Panja, Derek Karssenberg, Marc J. van Kreveld Scalability and composability of flow accumulation algorithms based on asynchronous many-tasks. Search on Bibsonomy Comput. Geosci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Hyoungsung Kim, Hyun-Sik Kim, Yong-Suk Park Perpetual Contract NFT as Collateral for DeFi Composability. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
20Shrey Jain, Leon Erichsen, Glen Weyl A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 440 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license