- Causal Discovery for Cloud Microservice Architectures. Lohse, Christopher; Tsutsumi, Diego; Ba, Amadou; Harsha, Pavithra; Subramanian, Chitra K; Straesser, Martin; Ruffini, Marco (2025).
- Social Virtual Reality für Inter- und Transkulturelles Lernen und Lehren im Englischunterricht. Hein, Rebecca; Steinbock, Jeanine; Eisenmann, Maria; Wienrich, Carolin; Latoschik, Marc Erich A. Füting-Lippert, M. Eisenmann, S. Grafe, H.-S. Siller, T. Trefzger (eds.) (2025). 141–158.
- Interdisziplinäre Entwicklung Eines Konzepts für die Weiterbildung von Dozierenden in der Lehrpersonenbildung Unter Nutzung von Social Virtual Reality. Förster, Kristina; Hein, Rebecca; Wienrich, Carolin; Latoschik, Marc Erich; Grafe, Silke A. Füting-Lippert, M. Eisenmann, S. Grafe, H.-S. Siller, T. Trefzger (eds.) (2025). 159–172.
- Algorithmen erleben in Virtual Reality. Göbel, Erik; Andres, Daniela; Korwisi, Kristof; Latoschik, Marc Erich; Hennecke, Martin A. Füting-Lippert, M. Eisenmann, S. Grafe, H.-S. Siller, T. Trefzger (eds.) (2025). 173–185.
- Drugs for dyslipidaemia: the legacy effect of the Scandinavian Simvastatin Survival Study (4S). Strandberg, Timo E; Kovanen, Petri T; Lloyd-Jones, Donald M; Raal, Frederick J; Santos, Raul D; Watts, Gerald F (2024). 404(10470) 2462–2475.
- Numerical Literals in Link Prediction: A Critical Examination of Models and Datasets. Blum, Moritz; Ell, Basil; Ill, Hannes; Cimiano, Philipp in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 23–46.
- PRONTO: Prompt-Based Detection of Semantic Containment Patterns in MLMs. Bellis, Alessandro De; Anelli, Vito Walter; Noia, Tommaso Di; Sciascio, Eugenio Di in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 227–246.
- eSPARQL: Representing and Reconciling Agnostic and Atheistic Beliefs in RDF-star Knowledge Graphs. Pan, Xiny; Hernández, Daniel; Seifer, Philipp; Lämmel, Ralf; Staab, Steffen in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 155–172.
- Compiling SHACL Into SQL. Jakubowski, Maxime; den Bussche, Jan Van in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 59–77.
- DUNKS: Chunking and Summarizing Large and Heterogeneous Data for Dataset Search. Chen, Qiaosheng; Zhou, Xiao; Zhang, Zhiyang; Cheng, Gong in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 78–97.
- CRAWD: Sampling-Based Estimation of Count-Distinct SPARQL Queries. Pham, Thi Hoang Thi; Molli, Pascal; Nédelec, Brice; Skaf-Molli, Hala; Aimonier-Davat, Julien in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 98–115.
- Do LLMs Really Adapt to Domains? An Ontology Learning Perspective. Mai, Huu Tan; Chu, Cuong Xuan; Paulheim, Heiko in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 126–143.
- DISCIE-Discriminative Closed Information Extraction. Möller, Cedric; Usbeck, Ricardo in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 23–40.
- Repairing Networks of \($\mathcalE\mathcalL_\perp $\) Ontologies Using Weakening and Completing. Li, Ying; Lambrix, Patrick in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 107–125.
- Knowledge Graphs for Enhancing Large Language Models in Entity Disambiguation. Recasens, Gerard Pons; Bilalli, Besim; Queralt, Anna in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 162–179.
- Knowledge Graph Structure as Prompt: Improving Small Language Models Capabilities for Knowledge-Based Causal Discovery. Susanti, Yuni; Färber, Michael in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 87–106.
- Blink: Blank Node Matching Using Embeddings. Becker, Alexander; Sherif, Mohamed Ahmed; Ngomo, Axel-Cyrille Ngonga in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 218–236.
- SnapE - Training Snapshot Ensembles of Link Prediction Models. Shaban, Ali; Paulheim, Heiko in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 3–22.
- Multi-view Transformer-Based Network for Prerequisite Learning in Concept Graphs. Wang, Zhichun; Shao, Yifeng; Peng, Boci; Li, Bangui; Li, Yun; Wang, Qianren; Li, Nijun in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 67–86.
- Finetuning Generative Large Language Models with Discrimination Instructions for Knowledge Graph Completion. Liu, Yang; Tian, Xiaobin; Sun, Zequn; Hu, Wei in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15231) 199–217.
- Correct and Complete Symbolic Execution for Free. Voogd, Erik; Johnsen, Einar Broch; Kløvstad, Åsmund Aqissiaq Arild; Rot, Jurriaan; Silva, Alexandra in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 237–255.
- Monitoring Extended Hypernode Logic. Chalupa, Marek; Henzinger, Thomas A.; da Costa, Ana Oliveira in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 151–171.
- Adverse events in clinically complex elderly patients with atrial fibrillation according to oral anticoagulation status. Bucci, Tommaso; Romiti, Giulio Francesco; Ishiguchi, Hironori; Gerra, Luigi; Mantovani, Marta; Huang, Bi; Proietti, Marco; Lip, Gregory Y.H. (2024). 78 102974.
- AdaptLIL: A Real-Time Adaptive Linked Indented List Visualization for Ontology Mapping. Fu, Bo; Chow, Nicholas in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 3–22.
- KGHeartBeat: An Open Source Tool for Periodically Evaluating the Quality of Knowledge Graphs. Pellegrino, Maria Angela; Rula, Anisa; Tuozzo, Gabriele in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 40–58.
- Expanding the Scope: Inductive Knowledge Graph Reasoning with Multi-starting Progressive Propagation. Shao, Zhoutian; Cui, Yuanning; Hu, Wei in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 41–58.
- Diachronical Geometry Without Polygons: The Extended HHT Ontology for Heterogeneous Geometrical Representations. Charles, William; Aussenac-Gilles, Nathalie; Hernandez, Nathalie in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 80–96.
- Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM. Washburn, Alex J.; Shankar, Subash in Lecture Notes in Computer Science, S. C. Nogueira, C. Teodorov (eds.) (2024). (Vol. 15403) 155–170.
- Formal Privacy Analyses for Open Banking. Soares, Luigi; Alvim, Mário S.; Bu, Di; Fernandes, Natasha; Liao, Yin in Lecture Notes in Computer Science, S. C. Nogueira, C. Teodorov (eds.) (2024). (Vol. 15403) 171–193.
- SMTQuery: Analysing SMT-LIB String Benchmarks. Kulczynski, Mitja; Lotz, Kevin; Manea, Florin; Poulsen, Danny Bøgsted; Sarnighausen-Cahn, Paul in Lecture Notes in Computer Science, S. C. Nogueira, C. Teodorov (eds.) (2024). (Vol. 15403) 22–34.
- The Next 50 Years. Reyes, Everardo; Valdes, Andrés E. Burbano T. Igarashi, Y. Katsumoto (eds.) (2024). 28:1–28:4.
- SciHyp: A Fine-Grained Dataset Describing Hypotheses and Their Components from Scientific Articles. Vasu, Rosni; Sarasua, Cristina; Bernstein, Abraham in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 134–152.
- Integrating Large Language Models and Knowledge Graphs for Extraction and Validation of Textual Test Data. Santis, Antonio De; Balduini, Marco; Santis, Federico De; Proia, Andrea; Leo, Arsenio; Brambilla, Marco; Valle, Emanuele Della in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 304–323.
- CimpleKG: A Continuously Updated Knowledge Graph on Misinformation, Factors and Fact-Checks. Burel, Grégoire; Mensio, Martino; Peskine, Youri; Troncy, Raphaël; Papotti, Paolo; Alani, Harith in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 97–114.
- KROWN: A Benchmark for RDF Graph Materialisation. Assche, Dylan Van; Chaves-Fraga, David; Dimou, Anastasia in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 20–39.
- Developing Application Profiles for Enhancing Data and Workflows in Cultural Heritage Digitisation Processes. Barzaghi, Sebastian; Heibi, Ivan; Moretti, Arianna; Peroni, Silvio in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 197–217.
- Advancing Robotic Perception with Perceived-Entity Linking. Adamik, Mark; Pernisch, Romana; Tiddi, Ilaria; Schlobach, Stefan in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15232) 192–209.
- Intelligent Urban Traffic Management via Semantic Interoperability Across Multiple Heterogeneous Mobility Data Sources. Scrocca, Mario; Grassi, Marco; Comerio, Marco; Carriero, Valentina Anita; Dias, Tiago Delgado; Silva, Ana Vieira; Celino, Irene in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 218–235.
- Semantic and Technically Interoperable Data Exchange in the Flanders Smart Data Space. Lancker, Dwight Van; Logghe, Steven; Rojas, Julián Andrés; Craene, Annelies De; Vanlishout, Ziggy; Colpaert, Pieter in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 289–303.
- UFEL: a By-Design Understandable and Frugal Entity Linking System for French Microposts. Leonard, Vivien; Markhoff, Béatrice; Antoine, Jean-Yves in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 253–270.
- AutoRDF2GML: Facilitating RDF Integration in Graph Machine Learning. Färber, Michael; Lamprecht, David; Susanti, Yuni in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 115–133.
- Leveraging Knowledge Graphs for Earth System Dataset Discovery. Armant, Vincent; Vargas-Rojas, Felipe; Agazzi, Victoria; Desconnets, Jean-Christophe; Mougenot, Isabelle; Beretta, Valentina; Debard, Stéphane; Symeonidou, Danai; Mouakher, Amira; Guérin, Joris; Catry, Thibault; Roux, Emmanuel in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 271–288.
- The ICS-SEC KG: An Integrated Cybersecurity Resource for Industrial Control Systems. Kurniawan, Kabul; Kiesling, Elmar; Winkler, Dietmar; Ekelhart, Andreas in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 153–170.
- SparkKG-ML: A Library to Facilitate End-to-End Large-Scale Machine Learning Over Knowledge Graphs in Python. Gergin, Bedirhan; Chelmis, Charalampos in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 3–19.
- Increasing the Accuracy of LLM Question-Answering Systems with Ontologies. Allemang, Dean; Sequeda, Juan in Lecture Notes in Computer Science, G. Demartini, K. Hose, M. Acosta, M. Palmonari, G. Cheng, H. Skaf-Molli, N. Ferranti, D. Hernández, A. Hogan (eds.) (2024). (Vol. 15233) 324–339.
- Solvent: Liquidity Verification of Smart Contracts. Bartoletti, Massimo; Ferrando, Angelo; Lipparini, Enrico; Malvone, Vadim in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 256–266.
- StEVe: A Rational Verification Tool for Stackelberg Security Games. Phetmanee, Surasak; Sevegnani, Michele; Andrei, Oana in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 267–275.
- Implementing, Specifying, and Verifying the QOI Format in Dafny: A Case Study. Ciobaca, Stefan; Gratie, Diana-Elena in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 35–52.
- Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. Granberry, George; Ahrendt, Wolfgang; Johansson, Moa in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 307–325.
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- Effectiveness of strategies for implementing guideline-concordant care in low back pain: a systematic review and meta-analysis of randomised controlled trials. Zhao, Siya; Langford, Aili V.; Chen, Qiuzhe; Lyu, Meng; Yang, Zhiwei; French, Simon D.; Williams, Christopher M.; Lin, Chung-Wei Christine (2024). 78 102916.
- Atrial Fibrillation: A Review. Ko, Darae; Chung, Mina K.; Evans, Peter T.; Benjamin, Emelia J.; Helm, Robert H. (2024).
- Associations Between Metabolic Age, Sociodemographic Variables, and Lifestyle Factors in Spanish Workers. Ramírez-Gallegos, Ignacio; Marina-Arroyo, Marta; López-González, Ángel Arturo; Vallejos, Daniela; Martínez-Almoyna-Rifá, Emilio; Tárraga López, Pedro Juan; Ramírez-Manent, José Ignacio (2024). 16(23) 4207-.
- Major abnormalities of the electrocardiogram and cardiovascular risk in a medium and high-risk Mediterranean population. Pou Bordoy, Joan; Leiva, Alfonso; Albendín Ariza, Maria José; Llanos, Roberto Elosúa; Rigo Carratalà, Fernando; Romaguera, Dora; Salas-Salvadó, Jordi; Babio, Nancy; Martinez-González, Miguel Angel; Toledo, Estefanía; Fitó, Montserrat; Aros, Fernando; Estruch, Ramon; Fiol Sala, Miquel (2024). S0025–7753(24)00665.
- Fuzzy-Based Clustering of Wireless Sensor Networks for Multiple Mobile Agent Itinerary Planning. Kashyap, Nidhi (2024). 16(6) 57–74.
- Paris in ruins : love, war, and the birth of Impressionism Smee, Sebastian (2024). W.W. Norton & Company, New York.
- Resources Price Adjustment in Cloud Computing for Load Balancing and Fairness Between Users and Suppliers. Gherir, Lilia Chourou; Elleuch, Ahmed; Jemni, Mohamed (2024). 6770 LNCS(PART 2) 205–214.
- VeriCode: Correct Translation of Abstract Specifications to C Code. Schellhorn, Gerhard; Bodenmüller, Stefan; Reif, Wolfgang in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 53–74.
- Der Weg zum »Parlament der Arbeit«. Ochsmann, Jonas (2024).
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- An Integrated Framework for Analysing, Simulating and Testing UML Models. Carvalho, Gustavo; Dihego, José; Sampaio, Augusto in Lecture Notes in Computer Science, S. C. Nogueira, C. Teodorov (eds.) (2024). (Vol. 15403) 86–104.
- Challenges in the evaluation of earth observation products: Accuracy assessment case study using convolutional neural networks. Prantl, Thomas; Barthel, Til; Kaiser, Dennis; Schwinger, Maximilian; Bauer, André; Kounev, Samuel (2024).
- A Systematic Literature Review on a Decade of Industrial TLA+ Practice. Bögli, Roman; Lerena, Leandro; Tsigkanos, Christos; Kehrer, Timo in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 24–34.
- Modeling Register Pairs in CompCert. Loitzl, Alexander; Zuleger, Florian in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 128–147.
- Monitoring Real-Time Systems Under Parametric Delay. Fränzle, Martin; Grosen, Thomas Møller; Larsen, Kim G.; Zimmermann, Martin in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 194–213.
- VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. Rubbens, Robert; van den Bos, Petra; Huisman, Marieke in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 217–236.
- Proving Termination via Measure Transfer in Equivalence Checking. Milovancevic, Dragana; Fuhs, Carsten; Bucev, Mario; Kuncak, Viktor in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 75–84.
- Stateful Functional Modeling with Refinement (a Lean4 Framework). Peschanski, Frédéric in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 109–127.
- PyQBF: A Python Framework for Solving Quantified Boolean Formulas. Peyrer, Mark; Heisinger, Maximilian; Seidl, Martina in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 279–287.
- Neighborhood Spatio-temporal Self-Attention for Crowd Flow Prediction. Kodama, Sohei; Ando, Shin R. R. Vatsavai (ed.) (2024).
- Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. Blohm, Pauline; Herber, Paula; Remke, Anne in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 172–193.
- Purity: a New Dimension for Measuring Data Centralization Quality. Bonilla, Lander; Osa, María José López; de Arcaya, Josu Díaz; Torre-Bastida, Ana I.; Almeida, Aitor (2024). 8–14.
- RECAST: An Open Source Platform for Item-Specific Capturing of Real Production Processes. Köhler, Tim; Fraunholz, Thomas; Rall, Dennis; Larsen, Lars; Görick, Dominik; Schuster, Alfons (2024). 1–7.
- Analyzing Programmer Psychological Traits Using Code and Sentiment Analysis. Martinez-Gil, Jorge (2024).
- cLegal-QA: a Chinese legal question answering with natural language generation methods. Wang, Yizhen; Shen, Xueying; Huang, Zixian; Niu, Lihui; Ou, Shiyan (2024). 11(1) 77.
- 生成モデル編 斎藤康毅 in ゼロから作るdeep learning (2024). オライリー・ジャパン.
- A Formal Tainting-Based Framework for Malware Analysis. Mogage, Andrei; Lucanu, Dorel in Lecture Notes in Computer Science, N. Kosmatov, L. Kovács (eds.) (2024). (Vol. 15234) 3–23.
- Re-articulating North-South Collaborations in HCI. Talhouk, Reem; Alabdulqader, Ebtisam Abdullah; Kutay, Cat; Awori, Kagonya; Wong-Villacres, Marisol; Kumar, Neha; Zaman, Tariq; Wulf, Volker; AlMeraj, Zainab; Lazem, Shaimaa A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters (eds.) (2023). 528:1–528:4.
- Self-Consuming Generative Models Go MAD. Alemohammad, Sina; Casco-Rodriguez, Josue; Luzi, Lorenzo; Humayun, Ahmed Imtiaz; Babaei, Hossein; LeJeune, Daniel; Siahkoohi, Ali; Baraniuk, Richard G. (2023).
- Feminist Voices about Ecological Issues in HCI. Søndergaard, Marie Louise Juul; Kannabiran, Gopinaath; Chopra, Simran; Woytuk, Nadia Campo; Gamage, Dilrukshi; Alabdulqader, Ebtisam Abdullah; McKinnon, Heather; Winschiers-Theophilus, Heike; Bardzell, Shaowen S. D. J. Barbosa, C. Lampe, C. Appert, D. A. Shamma (eds.) (2022). 90:1–90:7.
- Modular and Didactic Compiler Design with Xml Inter-Phases Communication. Navas-López, Eduardo Adam (E. A. Navas-López, ed.) (2022). 12(1) 1–20.
- Cancel Culture Transfer: Wie eine moralische Panik die Welt erfasst Daub, Adrian (2022). Suhrkamp, Berlin.
- Storing Data in A Document-oriented Database and Implemented from A Structured Nesting Logical Model. Hiyane, Y. (2020). 12(02) 17–23.
- IslamicHCI: Designing with and within Muslim Populations. Mustafa, Maryam; Lazem, Shaimaa; Alabdulqader, Ebtisam Abdullah; Toyama, Kentaro; Sultana, Sharifa; Ibtasam, Samia; Anderson, Richard; Ahmed, Syed Ishtiaque R. Bernhaupt, F. ’Floyd’ Mueller, D. Verweij, J. Andres, J. McGrenere, A. Cockburn, I. Avellino, A. Goguey, P. Bjøn, S. Zhao, B. P. Samson, R. Kocielnik (eds.) (2020). 1–8.
- CHInclusion: Working Toward a More Inclusive HCI Community. Strohmayer, Angelika; MacArthur, Cayley; Spors, Velvet; Muller, Michael J.; Vigil-Hayes, Morgan; Alabdulqader, Ebtisam Abdullah R. L. Mandryk, S. A. Brewster, M. Hancock, G. Fitzpatrick, A. L. Cox, V. Kostakos, M. Perry (eds.) (2019).
- With an Eye to the Future: HCI Practice and Research in the Arab World1. Alabdulqader, Ebtisam Abdullah; Lazem, Shaimaa; Nassir, Soud; Saleh, Mennatallah; Armouch, Sara; Dray, Susan M. R. L. Mandryk, S. A. Brewster, M. Hancock, G. Fitzpatrick, A. L. Cox, V. Kostakos, M. Perry (eds.) (2019).
- Feminist HCI: Taking Stock, Moving Forward, and Engaging Community. Bellini, Rosanna; Strohmayer, Angelika; Alabdulqader, Ebtisam Abdullah; Ahmed, Alex A.; Spiel, Katta; Bardzell, Shaowen; Balaam, Madeline R. L. Mandryk, M. Hancock, M. Perry, A. L. Cox (eds.) (2018).
- Exploring Participatory Design Methods to Engage with Arab Communities. Alabdulqader, Ebtisam Abdullah; Lazem, Shaimaa; Khamis, Mohamed; Dray, Susan M. R. L. Mandryk, M. Hancock, M. Perry, A. L. Cox (eds.) (2018).
- #CHIversity: Implications for Equality, Diversity, and Inclusion Campaigns. Strohmayer, Angelika; Bellini, Rosanna; Meissner, Janis Lena; Finnigan, Samantha Mitchell; Alabdulqader, Ebtisam Abdullah; Toombs, Austin; Balaam, Madeline R. L. Mandryk, M. Hancock, M. Perry, A. L. Cox (eds.) (2018).
- Human-Computer Interaction Across the Arab World. Alabdulqader, Ebtisam Abdullah; Abokhodair, Norah; Lazem, Shaimaa Y. G. Mark, S. R. Fussell, C. Lampe, m. c. schraefel, J. P. Hourcade, C. Appert, D. Wigdor (eds.) (2017). 1356–1359.
- MULTI-HOP DISTRIBUTED ENERGY EFFICIENT HIERARCHICAL CLUSTERING SCHEME FOR HETEROGENEOUS WIRELESS SENSOR NETWORKS. Technical Report (5), Sheenam (2015).
- Supervised Learning for Dynamical System Learning. Hefny, Ahmed; Downey, Carlton; Gordon, Geoffrey J. C. Cortes, N. D. Lawrence, D. D. Lee, M. Sugiyama, R. Garnett (eds.) (2015). 1963–1971.
- MATHEMATICAL DISEASE MODELING FOR PUBLIC HEALTH EPIDEMIOLOGISTS: DIFFERENTIAL EQUATIONS SUPPORTING PUBLIC HEALTH INTERVENTIONS. Fant, GV (2011). 3(3) 9–21.
- The magical maze: seeing the world through mathematical eyes Stewart, Ian (00A05 00A08, ed.) (1998). John Wiley & Sons, New York.
- The nature of space and time. With a foreword by Michael Atiyah Hawking, Stephen; Penrose, Roger (1996). Princeton University Press, Princeton, New Jersey.
- Mathematics. A cultural approach Kline, Morris in Addison-Wesley Series in Mathematics. (1962). Addison-Wesley, Reading, Massachusetts.