The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1959-1985 (15) 1986-1997 (21) 1998-2000 (15) 2001-2002 (24) 2003 (15) 2004 (17) 2005 (20) 2006 (24) 2007 (15) 2008-2009 (29) 2010 (23) 2011 (40) 2012 (28) 2013 (36) 2014 (31) 2015 (47) 2016 (66) 2017 (49) 2018 (53) 2019 (80) 2020 (76) 2021 (102) 2022 (61) 2023 (79) 2024 (14)
Publication types (Num. hits)
article(460) book(1) data(1) incollection(9) inproceedings(495) phdthesis(4) proceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 138 occurrences of 115 keywords

Results
Found 1153 publication records. Showing 980 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
153Nick K. Treadgold, Tamás D. Gedeon Extending and Benchmarking the CasPer Algorithm. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF RPROP, Network, Constructive, Cascade, Neural
134Ravi R. Iyer 0001 On Modeling and Analyzing Cache Hierarchies using CASPER. Search on Bibsonomy MASCOTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
116Ian D. Watson, Jonathan Rubin CASPER: A Case-Based Poker-Bot. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Case-Based Reasoning, Game AI, Poker
116Vida Kianzad, Shuvra S. Bhattacharyya, Gang Qu 0001 CASPER: An Integrated Energy-Driven Approach for Task Graph Scheduling on Distributed Embedded Systems. Search on Bibsonomy ASAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
92Matthew Denny, Michael J. Franklin Predicate Result Range Caching for Continuous Queries. Search on Bibsonomy SIGMOD Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
73Nick K. Treadgold, Tamás D. Gedeon A Cascade Network Algorithm Employing Progressive RPROP. Search on Bibsonomy IWANN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
64Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi Security and Privacy Analysis of RFID Systems Using Model Checking. Search on Bibsonomy HPCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model Checking, CSP, FDR, RFID Security, Casper
61Mohamed F. Mokbel, Chi-Yin Chow, Walid G. Aref The New Casper: A Privacy-Aware Location-Based Database Server. Search on Bibsonomy ICDE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2. Search on Bibsonomy SECRYPT The full citation details ... 2010 DBLP  BibTeX  RDF
46Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model Checking, CSP, FDR, RFID Security, Casper
46Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. Search on Bibsonomy COMPSAC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model Checking, CSP, FDR, RFID Security, Casper
46Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi Model-Based Analysis of Money Accountability in Electronic Purses. Search on Bibsonomy WINE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper
46Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe 0001 Automating Data Independence. Search on Bibsonomy ESORICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF model checking, security protocols, CSP, automatic verification, FDR, data independence, Casper
44Kari Alho, Casper Lassenius, Reijo Sulonen A Uniform Model for Coordinating Software Development Activities Kari Alho, Casper Lassenius and Reijo Sulonen. Search on Bibsonomy HICSS (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
43Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. Search on Bibsonomy AINA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Russell Knight, Gregg R. Rabideau, Steve A. Chien, Barbara Engelhardt, Rob Sherwood Casper: Space Exploration through Continuous Planning. Search on Bibsonomy IEEE Intell. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Chris Wiesemann Mac OS X panther imaging do's and don'ts. Search on Bibsonomy SIGUCCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF apple software restore, blast image config, carbon copy cloner, mac OS X, netBoot, netInstall, netRestore, netRestoreHelper, Radmind, imaging, labs, casper
24Abel Souza, Shruti Jasoria, Basundhara Chakrabarty, Alexander Bridgwater, Axel Lundberg, Filip Skogh, Ahmed Ali-Eldin, David E. Irwin 0001, Prashant J. Shenoy CASPER: Carbon-Aware Scheduling and Provisioning for Distributed Web Services. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Baoyu Jing, Dawei Zhou 0003, Kan Ren, Carl Yang 0001 CASPER: Causality-Aware Spatiotemporal Graph Neural Networks for Spatiotemporal Time Series Imputation. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Alain Denzler, Geraldo F. Oliveira, Nastaran Hajinazar, Rahul Bera, Gagandeep Singh 0002, Juan Gómez-Luna, Onur Mutlu Casper: Accelerating Stencil Computations Using Near-Cache Processing. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Emanuele Frascaroli, Riccardo Benaglia, Matteo Boschini, Luca Moschella, Cosimo Fiorini, Emanuele Rodolà, Simone Calderara CaSpeR: Latent Spectral Regularization for Continual Learning. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Hyeongjun Choi, Ji Hyuk Jung, Ji Won Yoon CASPER: Covert Channel Using Internal Speakers. Search on Bibsonomy Sensors The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti Resilience of Hybrid Casper Under Varying Values of Parameters. Search on Bibsonomy Distributed Ledger Technol. Res. Pract. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Hakan Kayan, Omer Farooq Rana, Pete Burnap, Charith Perera CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. Search on Bibsonomy 2023   DOI  RDF
24Hakan Kayan, Omer F. Rana, Pete Burnap, Charith Perera CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. Search on Bibsonomy PerCom Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Hakan Kayan, Omer F. Rana, Pete Burnap, Charith Perera Artifact: CASPER: Context-Aware Anomaly Detection System for Industrial Robotic Arms. Search on Bibsonomy PerCom Workshops The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Eranga Bandara, Sachin Shetty, Ravi Mukkamala, Xueping Liang, Peter Foytik, Nalin Ranasinghe, Kasun De Zoysa Casper: a blockchain-based system for efficient and secure customer credential verification. Search on Bibsonomy J. Bank. Financial Technol. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Samuele Vinanzi, Angelo Cangelosi CASPER: Cognitive Architecture for Social Perception and Engagement in Robots. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Upinder Kaur, Richard M. Voyles CASPER: Criticality-Aware Self-Powered Wireless in-vivo Sensing Edge for Precision Animal Agriculture. Search on Bibsonomy SenSys The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Alain Denzler, Rahul Bera, Nastaran Hajinazar, Gagandeep Singh 0002, Geraldo F. Oliveira, Juan Gómez-Luna, Onur Mutlu Casper: Accelerating Stencil Computation using Near-cache Processing. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
24Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras Incentives in Ethereum's hybrid Casper protocol. Search on Bibsonomy Int. J. Netw. Manag. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Eirini Liotou, Dimitris Tsolkas, Giorgos Kalpaktsoglou, Stefano Tennina, Luigi Pomante, Nikos I. Passas The CASPER user-centric approach for advanced service provisioning in mobile networks. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Vitalik Buterin, Diego Hernandez, Thor Kamphefner, Khiem Pham, Zhi Qiao, Danny Ryan, Juhyeok Sin, Ying Wang, Yan X. Zhang Combining GHOST and Casper. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
24 Another Look at CBC Casper Consensus Protocol. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2020 DBLP  BibTeX  RDF
24Lena Waizenegger, Angsana A. Techatassanasoontorn "You have no idea how much we love Casper" - Developing configurations of employees' RPA implementation experiences. Search on Bibsonomy ACIS The full citation details ... 2020 DBLP  BibTeX  RDF
24Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu Formalizing Correct-by-Construction Casper in Coq. Search on Bibsonomy IEEE ICBC The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Manuel De Stefano, Michele Simone Gambardella, Fabiano Pecorelli, Fabio Palomba, Andrea De Lucia cASpER: A Plug-in for Automated Code Smell Detection and Refactoring. Search on Bibsonomy AVI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Mustafa M. Shihab, Bharath Ramanidharan, Gaurav Rajavendra Reddy, Jingxiang Tian, William Swartz, Carl Sechen, Yiorgos Makris CASPER: CAD Framework for a Novel Transistor-Level Programmable Fabric. Search on Bibsonomy ISCAS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Ben W. Kolosz, Saran P. Sohi, David A. C. Manning CASPER: A modelling framework to link mineral carbonation with the turnover of organic matter in soil. Search on Bibsonomy Comput. Geosci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras Incentives in Ethereum's Hybrid Casper Protocol. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24Ryuya Nakamura, Takayuki Jimba, Dominik Harz Refinement and Verification of CBC Casper. Search on Bibsonomy IACR Cryptol. ePrint Arch. The full citation details ... 2019 DBLP  BibTeX  RDF
24Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos, Georgios Piliouras Incentives in Ethereum's Hybrid Casper Protocol. Search on Bibsonomy IEEE ICBC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Ryuya Nakamura, Takayuki Jimba, Dominik Harz Refinement and Verification of CBC Casper. Search on Bibsonomy CVCBT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Eirini Liotou, Dimitris Tsolkas, Stefano Tennina, Luigi Pomante, Giorgos Kalpaktsoglou, Nikos I. Passas The CASPER Project Approach Towards User-Centric Mobile Networks. Search on Bibsonomy DSD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Andreea Scurtu, Mihai-Lica Pura Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. Search on Bibsonomy ECAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Jack Michael Harding Sekoranja A Comparison of CasPer Against Other ML Techniques for Stress Recognition. Search on Bibsonomy ICONIP (4) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Ivan Savelyev, William David Miller 0002, Mark A. Sletten, Geoffrey B. Smith, Dana K. Savidge, Glendon Frick, Steven Menk, Trent Moore, Tony de Paolo, Eric J. Terrill, Qing Wang, Robert Kipp Shearman Airborne Remote Sensing of the Upper Ocean Turbulence during CASPER-East. Search on Bibsonomy Remote. Sens. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Edward Jay Wang, Manuja Sharma, Yiran Zhao, Shwetak N. Patel CASPER: capacitive serendipitous power transfer for through-body charging of multiple wearable devices. Search on Bibsonomy UbiComp The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Vitalik Buterin, Virgil Griffith Casper the Friendly Finality Gadget. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
24Parmida Beigi, Robert Rohling, Septimiu E. Salcudean, Gary C. Ng CASPER: computer-aided segmentation of imperceptible motion - a learning-based tracking of an invisible needle in ultrasound. Search on Bibsonomy Int. J. Comput. Assist. Radiol. Surg. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Dilip P. Vasudevan, George Michelogiannakis, David Donofrio, John Shalf CASPER - Configurable design space exploration of programmable architectures for machine learning using beyond moore devices. Search on Bibsonomy NANOARCH The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Andrea Colarieti, Andrea Marotta, Markos Mpervarakis, Luigi Pomante, Vasilis Tsolkas QoE provisioning over mobile networks: The CASPER perspective. Search on Bibsonomy CAMAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Wenqi Liu, Mingyu Fan, Jie Feng, Guangwei Wang The NCC: An Improved Anonymous Method for Location-Based Services Based on Casper. Search on Bibsonomy ICPCSEE (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Khosrow Ramezani, Elankayer Sithirasenan, Kaile Su Formal Security Analysis of EAP-ERP Using Casper. Search on Bibsonomy IEEE Access The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus Casper: Automatic tracking of null dereferences to inception with causality traces. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Azusa Kadomura, Akira Matsuda, Jun Rekimoto CASPER: A Haptic Enhanced Telepresence Exercise System for Elderly People. Search on Bibsonomy AH The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Rongxin Wu, Xiao Xiao 0003, Shing-Chi Cheung, Hongyu Zhang 0002, Charles Zhang 0001 Casper: an efficient approach to call trace collection. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Salil S. Kanhere Carrots and sticks - Incentives that make mobile crowdsensing work (CASPer 2016 Keynote Paper). Search on Bibsonomy PerCom Workshops The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus Casper: Debugging Null Dereferences with Dynamic Causality Traces. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
24Min Si, Antonio J. Peña, Jeff R. Hammond, Pavan Balaji, Masamichi Takagi, Yutaka Ishikawa Casper: An Asynchronous Progress Model for MPI RMA on Many-Core Architectures. Search on Bibsonomy IPDPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Benoit Cornu Casper: Using Ghosts to Debug Null Deferences with Dynamic Causality Traces. Search on Bibsonomy ICSE (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Mahdi Aiash, Jonathan Loo Introducing a novel authentication protocol for secure services in heterogeneous environments using Casper/FDR. Search on Bibsonomy Int. J. Commun. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Sunyoung Kwon, Byunghan Lee, Sungroh Yoon CASPER: context-aware scheme for paired-end reads from high-throughput amplicon sequencing. Search on Bibsonomy BMC Bioinform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Kaveh Shahabi, John P. Wilson CASPER: Intelligent capacity-aware evacuation routing. Search on Bibsonomy Comput. Environ. Urban Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Mahdi Aiash A Formally Verified Initial Authentication and Key Agreement Protocol in Heterogeneous Environments Using Casper/FDR. Search on Bibsonomy NSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Denis J. Reilly, Chris Wren, Susan Giles, Lisa Cunningham, Paul Hargreaves CASPER: Computer Assisted Search Prioritisation and Environmental Response Application. Search on Bibsonomy DeSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Mahdi Aiash, Glenford E. Mapp, Aboubaker Lasebae, Raphael Chung-Wei Phan, Jonathan Loo A formally verified AKA protocol for vertical handover in heterogeneous environments using Casper/FDR. Search on Bibsonomy EURASIP J. Wirel. Commun. Netw. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo A Formally Verified Device Authentication Protocol Using Casper/FDR. Search on Bibsonomy TrustCom The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Julio Ariel Hurtado Alegria, María Cecilia Bastarrica Building software process lines with CASPER. Search on Bibsonomy ICSSP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Mohammad S. Obaidat, Sanjay K. Dhurandher, Khushboo Diwakar CASPER: Congestion Aware Selection of Path with Efficient Routing in Multimedia Networks. Search on Bibsonomy J. Inf. Process. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Ronny Merkel, Christian Kraetzer, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann Fingerprint Forensics Application Protocol: Semi-automated Modeling and Verification of Watermark-Based Communication Using CASPER and FDR. Search on Bibsonomy IWDW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Christian Kraetzer, Ronny Merkel, Robert Altschaffel, Eric Clausing, Maik Schott, Jana Dittmann Modelling watermark communication protocols using the CASPER modelling language. Search on Bibsonomy MM&Sec The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Jeongkyu Park, Keung Hae Lee CASPER: Mining Personalized Services. Search on Bibsonomy UIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Chi-Yin Chow, Mohamed F. Mokbel, Walid G. Aref Casper*: Query processing for location services without compromising privacy. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Alexander Loß, Roland Stenutz, Eberhard Schwarzer, Claus-Wilhelm von der Lieth GlyNest and CASPER: two independent approaches to estimate 1H and 13C NMR shifts of glycans available through a common web-interface. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Mohamed F. Mokbel, Chi-Yin Chow, Walid G. Aref The New Casper: Query Processing for Location Services without Compromising Privacy. (PDF / PS) Search on Bibsonomy VLDB The full citation details ... 2006 DBLP  BibTeX  RDF
24Boris Dragovic CASPEr: containment-aware security for pervasive computing environments. Search on Bibsonomy 2006   RDF
24Il-Gon Kim, Jin-Young Choi New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. Search on Bibsonomy VVEIS The full citation details ... 2004 DBLP  BibTeX  RDF
24Gavin Lowe Casper: A Compiler for the Analysis of Security Protocols. Search on Bibsonomy J. Comput. Secur. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Bharat P. Dave, Niraj K. Jha CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF aperiodic task graphs, scheduling, distributed systems, embedded systems, allocation, system synthesis, hardware-software co-synthesis
24Gavin Lowe Casper: A Compiler for the Analysis of Security Protocols. Search on Bibsonomy CSFW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Nick K. Treadgold, Tamás D. Gedeon Extending CasPer: A Regression Survey. Search on Bibsonomy ICONIP (1) The full citation details ... 1997 DBLP  BibTeX  RDF
24Robert Strong CASPER: a speech interface for the macintosh. Search on Bibsonomy EUROSPEECH The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24Francis Vaughan, Tracy Lo Basso, Alan Dearle, Chris D. Marlin, Chris J. Barter Casper: A Cached Architecture Supporting Persistence. Search on Bibsonomy Comput. Syst. The full citation details ... 1992 DBLP  BibTeX  RDF
24Per Erik Jansson, Lennart Kenne, Göran Widmalm CASPER: a computer program used for structural analysis of carbohydrates. Search on Bibsonomy J. Chem. Inf. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24William A. Rux, Eric Baelen CASPER. Search on Bibsonomy APL The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
19Abheeshta Putta, Maria Paasivaara, Casper Lassenius SAFe transformation in a large financial corporation. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Casper Fibaek, Luke Camilleri, Andreas Luyts, Nikolaos Dionelis, Bertrand Le Saux PhilEO Bench: Evaluating Geo-Spatial Foundation Models. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Casper van Elteren, Vítor V. Vasconcelos, Mike Lees Criminal organizations exhibit hysteresis, resilience, and robustness by balancing security and efficiency. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Stephen Casper, Lennart Schulze, Oam Patel, Dylan Hadfield-Menell Defending Against Unforeseen Failure Modes with Latent Adversarial Training. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Jupinder Parmar, Shrimai Prabhumoye, Joseph Jennings, Mostofa Patwary, Sandeep Subramanian, Dan Su 0003, Chen Zhu 0001, Deepak Narayanan, Aastha Jhunjhunwala, Ayush Dattagupta, Vibhu Jawa, Jiwei Liu, Ameya Mahabaleshwarkar, Osvald Nitski, Annika Brundyn, James Maki, Miguel Martinez, Jiaxuan You, John Kamalu, Patrick LeGresley, Denys Fridman, Jared Casper, Ashwath Aithal, Oleksii Kuchaiev, Mohammad Shoeybi, Jonathan M. Cohen, Bryan Catanzaro Nemotron-4 15B Technical Report. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Aengus Lynch, Phillip Guo, Aidan Ewart, Stephen Casper, Dylan Hadfield-Menell Eight Methods to Evaluate Robust Unlearning in LLMs. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Sijia Liu 0001, Yuanshun Yao, Jinghan Jia, Stephen Casper, Nathalie Baracaldo, Peter Hase, Xiaojun Xu, Yuguang Yao, Hang Li, Kush R. Varshney, Mohit Bansal, Sanmi Koyejo, Yang Liu Rethinking Machine Unlearning for Large Language Models. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Stephen Casper, Carson Ezell, Charlotte Siegmann, Noam Kolt, Taylor Lynn Curtis, Benjamin Bucknall, Andreas Alexander Haupt, Kevin Wei, Jérémy Scheurer, Marius Hobbhahn, Lee Sharkey, Satyapriya Krishna, Marvin Von Hagen, Silas Alberti, Alan Chan, Qinyi Sun, Michael Gerovitch, David Bau, Max Tegmark, David Krueger, Dylan Hadfield-Menell Black-Box Access is Insufficient for Rigorous AI Audits. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Nigel Markey, Ilyass El-Mansouri, Gaëtan Rensonnet, Casper van Langen, Christoph Meier From RAGs to riches: Using large language models to write documents for clinical trials. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Simon Thrane Hansen, Casper Thule, Cláudio Gomes 0001, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen Co-simulation at different levels of expertise with Maestro2. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Casper Haems, Jeroen van der Hooft, Hannes Mareen, Peter Steenkiste, Glenn Van Wallendael, Tim Wauters, Filip De Turck Enabling adaptive and reliable video delivery over hybrid unicast/broadcast networks. Search on Bibsonomy NOSSDAV The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Santiago Gil 0001, Casper Schou, Peter Høgh Mikkelsen, Grant Larsen Integrating Skills into Digital Twins in Cooperative Systems. Search on Bibsonomy SII The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
19Casper Bach Poulsen, Cas van der Rest Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
19Jieqing Jiao, Fiona Heeman, Rachael Dixon, Catriona Wimberley, Isadora Lopes Alves, Juan Domingo Gispert, Adriaan A. Lammertsma, Bart N. M. van Berckel, Casper O. da Costa-Luis, Pawel Markiewicz, David M. Cash, M. Jorge Cardoso, Sébastien Ourselin, Maqsood Yaqub, Frederik Barkhof NiftyPAD - Novel Python Package for Quantitative Analysis of Dynamic PET Data. Search on Bibsonomy Neuroinformatics The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 980 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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