Search results for "Jasmin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin	On Distributing JASMIN's Optimistic Multiversioning Page Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules
141	Daniel H. Fishman, Ming-Yee Lai, W. Kevin Wilkinson	Overview of the Jasmin Database Machine.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
58	Abdul Sattar 0002, Torben Lorenzen	Develop a compiler in Java for a compiler design course.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	Jasmin, complier, recursive descent parser, Java, Java, JVM
37	Jasmin Menges, Johannes Walter, Jasmin Bächle, Klemens Schnattinger	Speech Detection of Real-Time MRI Vocal Tract Data.	KDIR	2023	DBLP DOI BibTeX RDF
37	Jasmin Walk, Jasmin Weber, Christopher Soell, Robert Weigel, Georg Fischer 0001, Thomas Ussmueller	Remote Powered Medical Implants for Telemonitoring.	Proc. IEEE	2014	DBLP DOI BibTeX RDF
31	Micah Beck, Dina Bitton, W. Kevin Wilkinson	Sorting Large Files on a Backend Multiprocessor.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	backend multiprocessor, parallel sort-merge algorithm, JASMIN prototype, fast packet bus, streamlined distributed operating system, database management systems, sorting, multiprocessing systems
30	Denis Firsov, Tiago Oliveira 0004, Dominique Unruh	Schnorr protocol in Jasmin.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
30	José Bacelar Almeida, Denis Firsov, Tiago Oliveira 0004, Dominique Unruh	Leakage-Free Probabilistic Jasmin Programs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
30	Arthur Charguéraud	Review on Functional Algorithms, Verified!: By Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan Freely downloadable: https://functional-algorithms-verified.org.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
30	Benjamin Grégoire, Jean-Christophe Léchenet, Enrico Tassi	Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.	CPP	2023	DBLP DOI BibTeX RDF
30	José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Arthur Blot, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira 0004, Hugo Pacheco 0001, Benedikt Schmidt, Pierre-Yves Strub	Jasmin: High-Assurance and High-Speed Cryptography.	CCS	2017	DBLP DOI BibTeX RDF
30	Hong Guo, Aiqing Zhang, Zeyao Mo	A Parallel Module for Multiblock Structured Grids in JASMIN and Its Applications.	PARCO	2017	DBLP DOI BibTeX RDF
30	Xiaolin Cao, Aiqing Zhang, Qingkai Liu	Software Quality Assurance for the Development of JASMIN Infrastructure.	ICSOFT EA	2014	DBLP DOI BibTeX RDF
30	Catia Cucchiarini, Hugo Van hamme	The JASMIN Speech Corpus: Recordings of Children, Non-natives and Elderly People.	Essential Speech and Language Technology for Dutch	2013	DBLP DOI BibTeX RDF
30	Bryan N. Lawrence, Victoria L. Bennett, J. Churchill, Martin Juckes, Philip Kershaw, Stephen Pascoe, Sam Pepler, M. Pritchard, Ag Stephens	Storing and manipulating environmental big data with JASMIN.	IEEE BigData	2013	DBLP DOI BibTeX RDF
30	Li Liao, Aiqing Zhang, Zhang Yang, Wei Wang, Cuiping Jing	IDE-JASMIN - An Interactive Graphical Approach for Parallel Programming in Scientific Computing.	ICSOFT	2013	DBLP DOI BibTeX RDF
30	Bryan N. Lawrence, Victoria L. Bennett, J. Churchill, Martin Juckes, Philip Kershaw, P. Oliver, M. Pritchard, Ag Stephens	The JASMIN super-data-cluster	CoRR	2012	DBLP BibTeX RDF
30	Matthieu Anne, Koutheir Attouchi, Dominique Henry de Villeneuve, Jacques Pulou	Jasmin: an alternative for secure modularity inside the digital home.	CBSE	2012	DBLP DOI BibTeX RDF
30	Xiaolin Cao, Zeyao Mo, Xu Liu, Xiaowen Xu, Aiqing Zhang	Parallel implementation of fast multipole method based on JASMIN.	Sci. China Inf. Sci.	2011	DBLP DOI BibTeX RDF
30	Zeyao Mo, Aiqing Zhang, Xiaolin Cao, Qingkai Liu, Xiaowen Xu, Hengbin An, Wenbing Pei, Shaoping Zhu	JASMIN: a parallel software infrastructure for scientific computing.	Frontiers Comput. Sci. China	2010	DBLP DOI BibTeX RDF
30	Catia Cucchiarini, Joris Driesen, Hugo Van hamme, Eric Sanders	Recording Speech of Children, Non-Natives and Elderly People for HLT Applications: the JASMIN-CGN Corpus.	LREC	2008	DBLP BibTeX RDF
30	Catia Cucchiarini, Hugo Van hamme, Olga van Herwijnen, Felix Smits	JASMIN-CGN: Extension of the Spoken Dutch Corpus with Speech of Elderly People, Children and Non-natives in the Human-Machine Interaction Modality.	LREC	2006	DBLP BibTeX RDF
30	Ming-Yee Lai, Vladimir Lanin	Distributing the Optimistic Multiversioning Page Manager in the Jasmin Database Machine.	IWDM	1987	DBLP DOI BibTeX RDF
30	Prem Uppaluru, W. Kevin Wilkinson, H. Lee	Reliable Servers in the JASMIN Distributed System.	ICDCS	1987	DBLP BibTeX RDF
30	W. Kevin Wilkinson, Ming-Yee Lai	The JASMIN Kernel as a Data Manager Base.	IEEE Database Eng. Bull.	1986	DBLP BibTeX RDF
30	W. Kevin Wilkinson, Ming-Yee Lai	Managing Replicate Data in JASMIN.	Symposium on Reliability in Distributed Software and Database Systems	1984	DBLP BibTeX RDF
30	Ming-Yee Lai, W. Kevin Wilkinson	Distributed Transaction Management in Jasmin.	VLDB	1984	DBLP BibTeX RDF
19	M. Claire Buchan, Jasmin Bhawra, Tarun Reddy Katapally	Navigating the digital world: development of an evidence-based digital literacy program and assessment tool for youth.	Smart Learn. Environ.	2024	DBLP DOI BibTeX RDF
19	Jasmin Rühl, Sarah Friedrich	Resampling-based confidence intervals and bands for the average treatment effect in observational studies with competing risks.	Stat. Comput.	2024	DBLP DOI BibTeX RDF
19	Jasmin Bey Cowin	Generative Künstliche Intelligenz in Bildung, Forschung und Industrie: Die Philebus-Triade?	HMD Prax. Wirtsch.	2024	DBLP DOI BibTeX RDF
19	Darshan Shetty, Christoph Steffan, Wolfgang Bösch, Jasmin Grosinger 0002	Fully Passive RF Wake-Up Receiver Including a Small Loop Antenna With -30.7-dBm Sensitivity at 26-kbps Bitrate.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
19	Dazheng Zhang, Jiayi Tong, Naimin Jing, Yuchen Yang, Chongliang Luo, Yiwen Lu, Dimitri A. Christakis, Diana Güthe, Mady Hornig, Kelly J. Kelleher, Keith E. Morse, Colin M. Rogerson, Jasmin Divers, Raymond J. Carroll, Christopher B. Forrest, Yong Chen 0016	Learning competing risks across multiple hospitals: one-shot distributed algorithms.	J. Am. Medical Informatics Assoc.	2024	DBLP DOI BibTeX RDF
19	Jasmin Kaur, Alvaro Cintas Canto, Mehran Mozaffari Kermani, Reza Azarderakhsh	Hardware Constructions for Error Detection in WG-29 Stream Cipher Benchmarked on FPGA.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2024	DBLP DOI BibTeX RDF
19	Jan Schuetzke, Simon Schweidler, Friedrich R. Münke, Andre Orth, Anurag D. Khandelwal, Ben Breitung, Jasmin Aghassi-Hagmann, Markus Reischl	Accelerating Materials Discovery: Automated Identification of Prospects from X-Ray Diffraction Data in Fast Screening Experiments.	Adv. Intell. Syst.	2024	DBLP DOI BibTeX RDF
19	Thomas Mildner, Orla Cooney, Anna-Maria Meck, Marion Bartl, Gian-Luca Savino, Philip R. Doyle, Diego Garaialde, Leigh Clark, John Sloan, Nina Wenig, Rainer Malaka, Jasmin Niess	Listening to the Voices: Describing Ethical Caveats of Conversational User Interfaces According to Experts and Frequent Users.	CoRR	2024	DBLP DOI BibTeX RDF
19	Anita Graser, Anahid N. Jalali, Jasmin Lampert, Axel Weißenfeld, Krzysztof Janowicz	MobilityDL: A Review of Deep Learning From Trajectory Data.	CoRR	2024	DBLP DOI BibTeX RDF
19	Sebastián Espinel-Ríos, Gerrich Behrendt, Jasmin Bauer, Bruno Morabito, Johannes Pohlodek, Andrea Schütze, Rolf Findeisen, Katja Bettenbrock, Steffen Klamt	Experimentally implemented dynamic optogenetic optimization of ATPase expression using knowledge-based and Gaussian-process-supported models.	CoRR	2024	DBLP DOI BibTeX RDF
19	Anna-Jasmin Wetzel, Malte Klemmt, Regina Müller, Monika A. Rieger, Stefanie Joos, Roland Koch	Only the anxious ones? Identifying characteristics of symptom checker app users: a cross-sectional survey.	BMC Medical Informatics Decis. Mak.	2024	DBLP DOI BibTeX RDF
19	Maleyka Seyidova, Jasmin Henze, Arne Pelzer, Beate Rhein	Comparison of Different Data Augmentation Techniques for Improving Epileptic Seizure Detection Based on 3D Acceleration, Heart Rate and Temperature Data.	BIOSTEC (2)	2024	DBLP DOI BibTeX RDF
19	Natasha Sahare, Patricio Fuentealba, Rutuja Salvi, Anja Burmann, Jasmin Henze	GAN-Based Data Augmentation for Improving Biometric Authentication Using CWT Images of Blood Flow Sounds.	BIOSTEC (2)	2024	DBLP DOI BibTeX RDF
19	Jasmin Gabsteiger, Timo Maiwald, Thomas Kurin, Christian Dorn, Robert Weigel, Fabian Lurz	Deep Learning-based Person Detection on a Moving Robot.	WiSNeT	2024	DBLP DOI BibTeX RDF
19	Jill-Valerie Tamanini, Jasmin Gorlt	Applying and Validating a New Creativity Method: CityInnoCards.	REFSQ Workshops	2024	DBLP BibTeX RDF
19	Jill-Valerie Tamanini, Jasmin Gorlt	Towards a Card Game for Creative Solution Ideas: InnoCards.	REFSQ Workshops	2024	DBLP BibTeX RDF
19	Timo Maiwald, Jasmin Gabsteiger, Robert Weigel, Fabian Lurz	Gesture Recognition to Control a Moving Robot With FMCW Radar.	RWS	2024	DBLP DOI BibTeX RDF
19	Jasmin Hennrich, Hannah Fuhrmann, Torsten Eymann	Accelerating the Adoption of Artificial Intelligence Technologies in Radiology: A Comprehensive Overview on Current Obstacles.	HICSS	2024	DBLP BibTeX RDF
19	Jayson Andrew Killoran, Jasmin Manseau	Biometric Affordances and Ethical Dilemmas: Considerations for a Better Workplace.	HICSS	2024	DBLP BibTeX RDF
19	Jasmin Fattah-Weil	Paving the way for ERP Implementation in Higher Education Institutions - A Review of Critical Success Factors.	HICSS	2024	DBLP BibTeX RDF
19	Daisy M. Kiyemba, Jasmin Marward, Elizabeth J. Carter, Adam Norton	Evaluation Tools for Human-AI Interactions Involving Older Adults with Mild Cognitive Impairments.	HRI	2024	DBLP DOI BibTeX RDF
19	Jonathan Gerber, Jasmin S. Saxer, Bruno B. Kreiner, Andreas Weiler	DIGILOG: Towards a Monitoring Platform for Digital Transformation of European Communities.	RCIS Workshops	2024	DBLP BibTeX RDF
19	Jason J. Ford, Justin M. Kennedy, Caitlin Tompkins, Jasmin James, Aaron McFadyen	Exactly Optimal Quickest Change Detection of Markov Chains.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
19	Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann	Complete and Efficient Higher-Order Reasoning via Lambda-Superposition.	ACM SIGLOG News	2023	DBLP DOI BibTeX RDF
19	Magdalena Wrobel-Lachowska, Julia Dominiak, Mikolaj P. Wozniak, Natalia Bartlomiejczyk, Daniel Diethei, Aleksandra Wysokinska, Jasmin Niess, Krzysztof Grudzien, Pawel W. Wozniak, Andrzej Romanowski	'That's when I put it on': stakeholder perspectives in large-scale remote health monitoring for older adults.	Pers. Ubiquitous Comput.	2023	DBLP DOI BibTeX RDF
19	Jasmin Bernotat, Lorenzo Landolfi, Dario Pasquali, Alice Nardelli, Francesco Rea	Remember me - user-centered implementation of working memory architectures on an industrial robot.	Frontiers Robotics AI	2023	DBLP DOI BibTeX RDF
19	Roselly Jasmin Arce-Pizarro, Jeremy Darlin Arce-Pizarro, Alejandro Daniel Liñan-Romero, William Joel Marín-Rodriguez, Daniel Cristóbal Andrade-Girón, Flor de María Lioo-Jordán, Félix Gil Caro-Soto, Irina Patricia Calvo-Rivera	Water contamination due to oil spill in Ancon.	EAI Endorsed Trans. Energy Web	2023	DBLP DOI BibTeX RDF
19	Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule	SAT-Inspired Eliminations for Superposition.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
19	Jasmin Mensik, Henrik Stubner, David Wöß, Tobias Pröll	Simulation eines hybriden Energiespeichersystems für 100 % erneuerbare Stromerzeugung in Österreich.	Elektrotech. Informationstechnik	2023	DBLP DOI BibTeX RDF
19	Alvaro Cintas Canto, Ausmita Sarker, Jasmin Kaur, Mehran Mozaffari Kermani, Reza Azarderakhsh	Error Detection Schemes Assessed on FPGA for Multipliers in Lattice-Based Key Encapsulation Mechanisms in Post-Quantum Cryptography.	IEEE Trans. Emerg. Top. Comput.	2023	DBLP DOI BibTeX RDF
19	Andrea Siposova, Rudolf Mayer, Matthias Schlögl, Jasmin Lampert	Supporting Landslide Disaster Risk Reduction Using Data-driven Methods.	ERCIM News	2023	DBLP BibTeX RDF
19	Anahid N. Jalali, Andreas Rauber, Jasmin Lampert	Decoding the Unknown: Unveiling Industrial Time Series Classification with Counterfactuals.	ERCIM News	2023	DBLP BibTeX RDF
19	Tomás Bruna, Heng Li, Joseph Guhlin, Daniel Honsel, Steffen Herbold, Mario Stanke, Natalia Nenasheva, Matthis Ebel, Lars Gabriel, Katharina Jasmin Hoff	Galba: genome annotation with miniprot and AUGUSTUS.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
19	Meagan B. Loerakker, Jasmin Niess, Marit Bentvelzen, Pawel W. Wozniak	Designing Data Visualisations for Self-Compassion in Personal Informatics.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2023	DBLP DOI BibTeX RDF
19	Steeven Villa, Jasmin Niess, Albrecht Schmidt 0001, Robin Welsch	Society's Attitudes Towards Human Augmentation and Performance Enhancement Technologies (SHAPE) Scale.	Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.	2023	DBLP DOI BibTeX RDF
19	Grace Handley, Jennifer T. Kubota, Jasmin Cloutier	Reading the mind in the eyes of Black and White people: Interracial contact and perceived race affects brain activity when inferring mental states.	NeuroImage	2023	DBLP DOI BibTeX RDF
19	Darshan Shetty, Christoph Steffan, Gerald Holweg, Wolfgang Bösch, Jasmin Grosinger 0002	Ultra-Low-Power Sub-1 V 29 ppm/°C Voltage Reference and Shared-Resistive Current Reference.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
19	Lukas Schramm, Peter Baumgartner 0005, Jasmin Aghassi-Hagmann	On-Chip Quantization- and Correlation-Robust Jitter Measurement for Low Phase Noise and High Frequency Oscillators.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
19	Nick Taptiklis, Merina Su, Jennifer H. Barnett, Caroline Skirrow, Jasmin Kroll, Francesca Cormack	Prediction of mental effort derived from an automated vocal biomarker using machine learning in a large-scale remote sample.	Frontiers Artif. Intell.	2023	DBLP DOI BibTeX RDF
19	Keith Marsolo, Daniel Kiernan, Sengwee Toh, Jasmin Phua, Darcy Louzao, Kevin Haynes, Mark G. Weiner, Francisco Angulo, Charles Bailey 0001, Jiang Bian 0001, Daniel Fort, Shaun J. Grannis, Ashok Kumar Krishnamurthy, Vinit Nair, Pedro Rivera, Jonathan C. Silverstein, Maryan Zirkle, Thomas Carton	Assessing the impact of privacy-preserving record linkage on record overlap and patient demographic and clinical characteristics in PCORnet®, the National Patient-Centered Clinical Research Network.	J. Am. Medical Informatics Assoc.	2023	DBLP DOI BibTeX RDF
19	Jasmin Ohlig, Thomas Hellebrandt, Patrick Pötters, Ina Heine, Robert H. Schmitt, Bert Leyendecker	Human-centered performance management in manual assembly - The impact of gamified KPI provision on performance and motivation.	Int. J. Comput. Integr. Manuf.	2023	DBLP DOI BibTeX RDF
19	Christopher Morse, Jasmin Niess, Kerstin Bongard-Blanchy, Salvador Rivas, Carine Lallemand, Vincent Koenig	Impressions that last: representing the meaningful museum experience.	Behav. Inf. Technol.	2023	DBLP DOI BibTeX RDF
19	Mario Rosenfelder, Henrik Ebel, Jasmin Krauspenhaar, Peter Eberhard	Model predictive control of non-holonomic systems: Beyond differential-drive vehicles.	Autom.	2023	DBLP DOI BibTeX RDF
19	Jason J. Ford, Jasmin James, Timothy L. Molloy	Exactly optimal Bayesian quickest change detection for hidden Markov models.	Autom.	2023	DBLP DOI BibTeX RDF
19	Allen-Jasmin Farcas, Radu Marculescu	Teaching Edge AI at the Undergraduate Level: A Hardware-Software Co-Design Approach.	Computer	2023	DBLP DOI BibTeX RDF
19	Moritz Weitbrecht, Fabian Holzgreve, Laura Fraeulin, Jasmin Haenel, Werner Betz, Christina Erbe, Christian Maurer-Grubinger, Eileen M. Wanke, Dörthe Brüggmann, Albert Nienhaus, David A. Groneberg, Daniela Ohlendorf	Ergonomic Risk Assessment of Oral and Maxillofacial Surgeons - RULA Applied to Objective Kinematic Data.	Hum. Factors	2023	DBLP DOI BibTeX RDF
19	James L. Crowley, Joëlle Coutaz, Jasmin Grosinger 0001, Javier Vázquez-Salceda, Cecilio Angulo, Alberto Sanfeliu, Luca Iocchi, Anthony G. Cohn 0001	A Hierarchical Framework for Collaborative Artificial Intelligence.	IEEE Pervasive Comput.	2023	DBLP DOI BibTeX RDF
19	Stefan Reutimann, Noah Hübscher, Jasmin Steiner, Ulrich Voderholzer, Mareike Augsburger	Assessing validity of the Klenico diagnostic software system in a large psychotherapeutic inpatient sample.	Frontiers Digit. Health	2023	DBLP DOI BibTeX RDF
19	Duy T. Pham, Kenneth E. Westerman, Cong Pan, Ling Chen, Shylaja Srinivasan, Elvira Isganaitis, Mary Ellen Vajravelu, Fida Bacha, Steve Chernausek, Rose Gubitosi-Klug, Jasmin Divers, Catherine Pihoker, Santica M. Marcovina, Alisa K. Manning, Han Chen	Re-analysis and meta-analysis of summary statistics from gene-environment interaction studies.	Bioinform.	2023	DBLP DOI BibTeX RDF
19	Cam Le, Lam Pham, Jasmin Lampert, Matthias Schlögl, Alexander Schindler	Landslide Detection and Segmentation Using Remote Sensing Images and Deep Neural Network.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jasmin Wachter	Graph models for Cybersecurity - A Survey.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jasmin Bernotat, Doreen Jirak, Eduardo Benítez Sandoval, Francisco Cruz 0002, Alessandra Sciutti	Asch Meets HRI: Human Conformity to Robot Groups.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jason J. Ford, Justin M. Kennedy, Caitlin Tompkins, Jasmin James, Aaron McFadyen	Exactly Optimal Quickest Change Detection of Markov Chains.	CoRR	2023	DBLP DOI BibTeX RDF
19	Lam Pham, Cam Le, Dat Ngo, Anh Nguyen, Jasmin Lampert, Alexander Schindler, Ian McLoughlin 0001	A Light-weight Deep Learning Model for Remote Sensing Image Classification.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jasmin Brandt, Marcel Wever, Dimitrios Iliadis, Viktor Bengs, Eyke Hüllermeier	Iterative Deepening Hyperband.	CoRR	2023	DBLP DOI BibTeX RDF
19	Martin Dvorak, Jasmin Blanchette	Closure Properties of Unrestricted Grammars - Formally Verified.	CoRR	2023	DBLP DOI BibTeX RDF
19	Luke Haliburton, Natalia Bartlomiejczyk, Pawel W. Wozniak, Albrecht Schmidt 0001, Jasmin Niess	The Walking Talking Stick: Understanding Automated Note-Taking in Walking Meetings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jasmin Mousavi, Arash Termehchy	Towards Consistent Language Models Using Declarative Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
19	Alvaro Cintas Canto, Jasmin Kaur, Mehran Mozaffari Kermani, Reza Azarderakhsh	Algorithmic Security is Insufficient: A Comprehensive Survey on Implementation Attacks Haunting Post-Quantum Security.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jasmin Kaur, Alvaro Cintas Canto, Mehran Mozaffari Kermani, Reza Azarderakhsh	A Comprehensive Survey on the Implementations, Attacks, and Countermeasures of the Current NIST Lightweight Cryptography Standard.	CoRR	2023	DBLP DOI BibTeX RDF
19	Alvaro Cintas Canto, Jasmin Kaur, Mehran Mozaffari Kermani, Reza Azarderakhsh	ChatGPT vs. Lightweight Security: First Work Implementing the NIST Cryptographic Standard ASCON.	CoRR	2023	DBLP DOI BibTeX RDF
19	Wenyuan Wu, Jasmin Heierli, Max Meisterhans, Adrian Moser, Andri Färber, Mateusz Dolata, Elena Gavagnin, Alexandre de Spindler, Gerhard Schwabe	PROMISE: A Framework for Model-Driven Stateful Prompt Orchestration.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yuecheng Cai, Jasmin Jelovica	Graph Neural Network for Stress Predictions in Stiffened Panels Under Uniform Loading.	CoRR	2023	DBLP DOI BibTeX RDF
19	Verena Jasmin Hallitschke, Tobias Schlumberger, Philipp Kataliakos, Zdravko Marinov, Moon Kim 0002, Lars Heiliger, Constantin Seibold, Jens Kleesiek, Rainer Stiefelhagen	Multimodal Interactive Lung Lesion Segmentation: A Framework for Annotating PET/CT Images based on Physiological and Anatomical Cues.	CoRR	2023	DBLP DOI BibTeX RDF
19	Jasmin Fiedler, Michael Gnewuch, Christian Weiß	New Bounds for the Extreme and the Star Discrepancy of Double-Infinite Matrices.	CoRR	2023	DBLP DOI BibTeX RDF
19	Christopher Buss, Jasmin Mousavi, Mikhail Tokarev, Arash Termehchy, David Maier 0001, Stefan Lee	Effective Entity Augmentation By Querying External Data Sources. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
19	Jasmin Blanchette, Petar Vukmirovic	SAT-Inspired Higher-Order Eliminations.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann	Mechanical Mathematicians.	Commun. ACM	2023	DBLP DOI BibTeX RDF
19	Jayson Andrew Killoran, Tracy A. Jenkin, Jasmin Manseau	ICT Interactions and COVID-19 - A Theorization Across Two Pandemic Waves.	ACM Trans. Manag. Inf. Syst.	2023	DBLP DOI BibTeX RDF
19	Jasmin Haunschild, Selina Pauli, Christian Reuter 0001	Preparedness nudging for warning apps? A mixed-method study investigating popularity and effects of preparedness alerts in warning apps.	Int. J. Hum. Comput. Stud.	2023	DBLP DOI BibTeX RDF
19	Yuecheng Cai, Jasmin Jelovica	Neural network-enabled discovery of mapping between variables and constraints for autonomous repair-based constraint handling in multi-objective structural optimization.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
19	Stefan Rass, Sandra König, Jasmin Wachter, Víctor Mayoral Vilches, Emmanouil Panaousis	Game-theoretic APT defense: An experimental study on robotics.	Comput. Secur.	2023	DBLP DOI BibTeX RDF
19	William Q. Erickson, Daniel Herden, Jonathan Meddaugh, Mark Roger Sepanski, Isaac Echols, Cordell Hammon, Jorge Marchena-Menendez, Jasmin Mohn, Blanca Radillo-Murguia, Indalecio Ruiz-Bolanos	Klein cordial trees and odd cyclic cordial friendship graphs.	Discret. Math.	2023	DBLP DOI BibTeX RDF