SYNASC 2026: 28TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Achirei, Stefan Daniel	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
Aldea, Andrei	Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN
Alhazmi Ahmed, Alaeddin Ali	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Alimova, Karomat	The Search for Sharac Quandles
Andrei, Denis Alexandru Gabriel	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
Andreica, Anca-Mirela	3D Object Reassembly of Broken Objects using Deep Learning Methods
Antoneac, Andrada-Livia	Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification
Antonijevic, Milos	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Apostol, Elena-Simona	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Atayeva, Bahar	Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents
Aubry, Stéphane	Program and Proof in F* of an LTL Model Checking Algorithm
B
B. Kreckel, Richard	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Babuc, Diogen	Intelligent assistant for medical pre-triage
Bacanin, Nebojsa	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap AI-Assisted Contextualization of Museum Artefacts
Badoi, Tiberiu-Alexandru	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
Balașcă, Diana-Loredana	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
Beiu, Valeriu	On Counting the Shortest Paths for Hammocks
Bejan, Andreea	Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
Ben Khalifa, Dorra	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
Berard, Alexandre	Certified Compilation in the TELEPERM XS Nuclear Safety I&C Platform
Berca, Daria-Maria	Performance Evaluation of the Naccache-Stern Trapdoor Scheme vs. NIST P-256 and Curve25519 in Classical and NISQ Environments
Berciu, Liviu	A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python
Bereczky, Péter	Dependently Typed Model Composition for Matching Logic
Berinde, Vasile	The role of nonexpansive type mappings in designing fixed point algorithms for Data Science problems
Bhatt, Shubhankar	Reducing the computation of convex hulls to linear programming
Biris, David	Detecting and Mitigating Hallucinations in Large Language Models via Confidence Signals and Internal States
Blaimschein, Katharina	Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
Bogdan, Ana-Maria-Iulia	RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems
Boldea, Costin Radu	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
Boldo, Sylvie	Monomial and Graded Orders in Rocq Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
Boncalo, Oana	Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding
Bonchis, Cosmin	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
Borsoi, Ricardo	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
Bortolussi, Julien	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
Brie, David	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
Brindusescu, Alin Aurica	Comparing Evacuation Strategies Through Agent-Based Simulation on Real World Maps
Bruzzone, Federico	The Minimal Essence of Higher-Order Functions in Maude
Brănici-Faraon, Ariadna	Formalizing the Omega Test in Dafny - Short Paper
Butelle, Franck	Program and Proof in F* of an LTL Model Checking Algorithm
Buzuriu, Roxana	Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks
Bălăban, Iosua-Patrik	An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
C
Capra, Lorenzo	The Minimal Essence of Higher-Order Functions in Maude Semi-automated Verification of Symbolic Invariants In Extended Symmetric Nets
Cazzola, Walter	The Minimal Essence of Higher-Order Functions in Maude
Ceausescu, Ciprian-Mihai	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
Cecan, Valerian	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
Cheval, Horatiu	Complete Heyting algebra semantics for an intuitionistic version of Matching Logic
Chirita, Catalin-Andrei	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
Chiroiu-Jitianu, Doina	ViTs and CNNs Under NPR Anonymization
Chis, Raluca Diana	3D Object Reassembly of Broken Objects using Deep Learning Methods
Ciaun, Mădălina-Elena	Multimodal RGB–LiDAR Fusion for Robust Object Detection
Cincar, Kristijan	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation
Ciobanu, Alexandru-Adrian	An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap
Ciobanu, Gabriel	A Semantic Investigation of Spiking Neural P Systems with Mute Rules
Ciobâcă, Ștefan	Formalizing the Omega Test in Dafny - Short Paper The formalization of two computational models in Dafny - Short Paper
Ciocan, Daniel	Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning
Cira, Cristian	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
Clement, Francois	Monomial and Graded Orders in Rocq
Cojocaru, Daniela	Neural Network-Based Prediction of N-Body System Evolution
Combei, David	AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models
Corlan, Ana Silvia	EndoFormer: Biologically Grounded Neuro-Symbolic Reasoning over CT Foundation-Model Representations for Adrenocortical Carcinoma
Corless, Robert M.	A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
Costa, Vito Marcel	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
Costi, Flavia Emanuela	Score-CAM Guided Region-of-Interest Extraction with Attention-Based Classification for Chest X-Ray Pneumonia Detection
Covaci, Emanuel	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
Croitoru, Eugen	Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
Crăciun, Adrian	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Crăciun, Florin	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Cupșan, Teodora-Vanessa	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
Cărunta, Cristina	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes
D
Dascalu, Mihai	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis RoJBMO: Evaluating Large Language Models on Junior Balkan Mathematical Olympiad Problems Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness
del Río, Tereso	Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
Dima, Catalin	Foundations of a theory of bandwidth for timed automata
Dinu, Sergiu-Andrei	Escaping Forests using Evolutionary Computation
Diosan, Laura	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
Dobra, Robert-Cristian	Benchmarking Self-Supervised Speech Representations for Cross-Corpus Emotion Recognition: Wav2Vec2 vs. HuBERT vs. WavLM vs. Whisper vs. Classical Baselines
Drămnesc, Isabela	Certification of Bilateral Patience Sort in Theorema and Rocq
Duță, Andrei-Sebastian	OpenRoGrid: A Public Dataset and Machine Learning Benchmark for Romanian Electricity Load Forecasting
E
Erhan, Laura	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
Evangelista, Sami	Program and Proof in F* of an LTL Model Checking Algorithm
F
Ferrarotti, Flavio	A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
Fiodorov, Cristian	Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
Florea, Adina Magda	Multimodal Hierarchical Retrieval for Medical Image Search
Florea, Vlad-Alexandru	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
Foldvari, Harold-Nimrod	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows An Algorithmically-Decoded Game Boy Emulator with Concurrent Lua Instrumentation
Frincu, Marc	Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data A Hybrid Deep-Shallow Air Quality Anomaly Detection Method Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
Fränzle, Martin	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
G
Garoche, Pierre-Loic	FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
Gaskó, Noémi	Solving bilevel multi-objective optimization problems with Lorenz dominance
Genge, Bela	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
Gheorghe, Andreea-Ioana	3D Object Reassembly of Broken Objects using Deep Learning Methods
Gheorghe, Cristina	On some strict fixed point results for Ćirić type contractions
Gheorghevici, Mihai Florin	Meta-GA-Evolved Hyperparameters by Objective, Starting Condition, and Evaluation Budget
Gheorghiu, Maria	Automatic Guitar Tone Matching: A Closed-Loop Framework Integrating Symbolic Generative AI and Genetic Optimization
Gherghe, Gabriela-Adelina	Multilingual Phishing Email Generation and Detection: A Synthetic Data Pipeline with GRPO Fine-Tuning
Ghiață, Mihaela-Gabriela	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring
Goina, Dacian	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method
Gratie, Diana-Elena	Formalizing the Omega Test in Dafny - Short Paper The formalization of two computational models in Dafny - Short Paper
Groza, Adrian	AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models
Guiu, Lorena-Malina	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation
Gușcă, Ana-Maria-Iasmina	Ami: a Chatbot for Emotional Support in Romanian
H
Hamelin, David	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
Haniková, Zuzana	Formalization of fragments of the theory of hereditarily finite sets
Hatzel, Michelle	A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
Heghea, Mihail-Cristian	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans
Hilaire, Thibault	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
Hogea, Eduard	GEARXAI NeuroSymbolic@IJCAI2026 Competition Winner Model Presentation Reasoning Behind Reconstruction: A Bilingual Benchmark for Reasoning over Incomplete Artworks
Holub, Štěpán	Formalization of fragments of the theory of hereditarily finite sets
Horpácsi, Dániel	Formally based tools for Erlang Dependently Typed Model Composition for Matching Logic
I
Ida, Tetsuo	Revisiting Computational Origami in the Era of Large Language Models
Ifju, Vlad	Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
Iftene, Adrian	Multispectral Voice Extraction Biometric System for Wearable Medical Devices
Igret, Ioana-Cristina	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
Iorga, Denis	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis
Iosif, Radu	Robust and Effective Recognisability of Small Tree-Width Graphs
Ivascu, Todor	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data Intelligent assistant for medical pre-triage A Formal and Simulation-Based Analysis of Hierarchical Multi-Agent Collaboration in CT Report Generation Ami: a Chatbot for Emotional Support in Romanian
J
Jebelean, Tudor	Certification of Bilateral Patience Sort in Theorema and Rocq
Jing, Rui-Juan	Reducing the computation of convex hulls to linear programming
Jinga, Tudor	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
K
Kaslik, Eva	Physics-Informed Neural Networks and Method-of-Steps Integration for the Mackey-Glass Delay Differential Equation: A Comparative Study
Kikot, Stanislav	Data-aware candidate selection in NL2SQL translation via small separating instances
Kröger, Janis	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
Kröger, Paul	Synthesizing Update-Schedules with Game-Based Extension of Bounded Model Checking
Kurucz, Ádám	Dependently Typed Model Composition for Matching Logic
Kusper, Gábor	Subsumption-Free Private-Pivot Learning in Resolvable Network-Based SAT Solving
Kutsia, Temur	Logic-Based Generalization: Theory and Applications
L
Laicu-Hausberger, Alexandra-Gabriela	Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Lalovic, Komlen	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Lei, Yuzhuo	Reducing the computation of convex hulls to linear programming
Lianou, Vasileia	Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data
Logofătu, Doina	Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6 Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Lucanu, Dorel	Matching-Logic-Based Domain Specific Reasoning
Luchian, Henri	Escaping Forests using Evolutionary Computation
Luong, Chuong	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
M
Macovei, Bogdan	A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks
Maftei, Elena-Claudia	Multimodal RGB–LiDAR Fusion for Robust Object Detection
Magyari-Saska, Zsolt	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
Manalai, Husna	The Search for Sharac Quandles
Manea, Lidia-Elena	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
Marinas, Ionut Vlad	Semantic Segmentation of Maize–Weed Fields for Precision Spraying
Marius, Vlad-Andrei	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification
Martin, Vincent	Monomial and Graded Orders in Rocq
Mateas, Ramon	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
Matei, Ionut-Eduard	Native Differential Addition in (Y, Z) Coordinates for Twisted Edwards Curves
Mayero, Micaela	Monomial and Graded Orders in Rocq Program and Proof in F* of an LTL Model Checking Algorithm
Mazdarani, Fateme	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
McGrail, Robert W.	The Search for Sharac Quandles
Meyer, Bertrand	Invisible Verification: the Eiffel experience
Miclaus, Adrian	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
Mihai, Cosmin	Multi-Layered Semantic Validation: A Defense-in-Depth Approach against White-Box Adversarial Attacks on Deepfake Audio
Mihoc, Tudor	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
Milos, Deian	Machine-Learning Assisted Gradient-Descent Bit-Flipping Decoding
Miron, Sebastian	A Jacobian Rank Certificate for Generic Recoverability of Block-Term Tensor Decompositions
Mitran, Andrei-Gabriel	Multimodal Hierarchical Retrieval for Medical Image Search
Mocanu, Irina Georgiana	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities ViTs and CNNs Under NPR Anonymization
Moișan, Cătălin-Ionuț	AIR-TV: Generating Scientific News Broadcasts Using Generative AI Models
Moldovan, Vasilica Andreea	A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python
Moreno Maza, Marc	Reducing the computation of convex hulls to linear programming Improvements to the Frobenius Method A Fast Matrix-Vector Product for Fibonacci-Mandelbrot Matrices
Morosanu, Alexandru Stefan	Distinguishing AI-Generated Music from Edited Audio as a Hard-Negative Robustness Task
Motogna, Simona	A Comparative Evaluation of Intelligent Methods for Code Smell Detection in Python
Mukherjee, Chirantan	Reducing the computation of convex hulls to linear programming
Muntean, Razvan	Benchmarking Vision-Language Models Across All Romanian Driving License Categories: A Failure Mode Analysis
Mureșan, Luca	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
Mutescul, Alexandru-Raul	Characterizing NVFP4 and FP8 Low-Precision LLM Inference on GB10 Grace Blackwell: A Numerical-Error and Throughput Study
N
Nagy, Réka	Solving bilevel multi-objective optimization problems with Lorenz dominance
Nan, Mihai	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities ViTs and CNNs Under NPR Anonymization
Neagu, Laurentiu-Marian	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness
Negru, Viorel	A Multi-Agent Microservices Framework for Intelligent Hospital Scheduling Supported by Machine Learning on Clinical Data
Nowak, David	Domain Theory Meets Interaction Trees in Rocq
O
O. Offorjindu, Samson	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Oancea, Cosmin	High-Level Big Integer Arithmetic in Futhark for GPUs
Ochis, Paul-Catalin	A Consolidated Eight-Class Engine-Component Detection Dataset and an In-Domain YOLOv11 Variant Study for Automotive Diagnostics
Olarte, Carlos	The Minimal Essence of Higher-Order Functions in Maude
Olaru, Andrei	A Hybrid Framework for Low-Overhead Observability and Runtime Verification in Concurrent Multi-Agent Systems
Olaru, Marius-Alexandru	Multispectral Voice Extraction Biometric System for Wearable Medical Devices
Onchis, Darian	X-BrainVAE: Transformer-based Variational Autoencoders for Debiasing EEG Data
Onicescu, Oriana-Maria	Escaping Forests using Evolutionary Computation
Oniga, Aris	Dagular: Gradually-Typed, Implicitly-Parallel Serverless Workflows
P
Pang, Daniel	Progress in Benchmarking Generics for Mathematical Computation
Paschke, Adrian	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Petrusel, Adrian	Fixed point results for nonself contractions in strong b-metric spaces Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
Petrusel, Gabriela	Fixed point results for nonself contractions in strong b-metric spaces Feng-Liu and Kikkawa-Suzuki contractions on sets with a cyclical representation and applications
Piriou, Pierre-Yves	Guaranteed Pathological Inputs Generation to Warrant Floating-Point Error Bounds
Pop, Raul-Stefan	Exploring AI-Driven Research with DATA SWEEP
Popa, Alexandru	Minimum-Cost Electoral Manipulation under Media Influence: Hardness, Approximation, and Algorithms
Popa, Călin-Adrian	Hybrid CNN-VMamba Architecture for Real-Time Semantic Segmentation of Autonomous Driving Scenes Revisiting UltraScanNet: Multi-Scale Fusion, Refinement, and the Limits of One-Shot Language Cues for Breast Ultrasound Classification
Precupas, Daniel	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
Preda, Maria	A Łukasiewicz-Moisil Abstraction of Gene Regulatory Networks
Prelipcean, Dumitru-Bogdan	Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN Detecting AI-Generated Code Under Cosmetic Transformations: A Graph-Neural Approach
Pușcaș, Darius	Explainable Escape Analysis for Heap-to-Stack Promotion in C Programs
Pădurean, Ioan	Matter Device Class Detection Based on Encrypted Traffic Using Tree-Based Methods
R
Radu, Mircea-Andrei	AI-Assisted Contextualization of Museum Artefacts
Roggenbach, Markus	Verifying Ladder Logic Programs in the Railway Domain – Theory and Practice
Rosu, Grigore	FastSet: Verified Settlement for AI-Native Work
Rotariu, Dragoș-Irinel	The formalization of two computational models in Dafny - Short Paper
Ruff, Laura	Solving bilevel multi-objective optimization problems with Lorenz dominance
Rusu, Valentin	Robust Multi-View Pedestrian Detection through Coordinated Per-Camera Assessment and Adaptive Intervention
Rusu, Vlad	Domain Theory Meets Interaction Trees in Rocq
S
Saha, Akash	Efficient Deep Learning and Homology Ensemble for Protein Function Prediction in CAFA 6
Sancira, Monica	Registry-Driven Multi-Modal Computer Vision for Industrial Device Identification Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
Savin, Cristina-Diana	Multimodal MRI Fusion Strategies for Brain Tumor Segmentation Using TransResU-Net
Savu, Roxana	MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
Schewe, Klaus-Dieter	A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines
Schreiner, Wolfgang	Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
Scorobete, Cozmina	Comparative Analysis on how the Architecture of an Autoencoder Could Affect the Result of a XAI Post-Method
Sebe, Nicu	How AI Learns to See, Generate, and Judge Fairly
Seidl, Martina	Towards Automatising the Formulation of Industrial Optimisation Problems with LLMs: A Case Study
Selea, Teodora	AI Detection and Camera-LiDAR Early Fusion for Distance Estimation under Progressive Sensor Degradation Reliability-Calibrated Labels for Predicting Problematic Internet Use in Adolescents Beyond Polarity: Sentiment-Quality Features for Cross-Sectional Volatility Prediction with Deep Learning MyMed: Patient-Centered Laboratory Report Analysis with Faithfulness Verification
Shulgin, Alexander	Data-aware candidate selection in NL2SQL translation via small separating instances
Silaghi, Fineas	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
Silaș, Ioana	Monitoring and Verification of Multitenant Kubernetes Clusters using TLA+ Trace Checking
Socaciu, Liviu-Ignat	New iteration process for approximating fixed points of enriched nonexpansive operators
Solis-Reyes, Greg	Improvements to the Frobenius Method
Sorici, Alexandru	Semi-supervised Learning for Robust Time Series Classification in Remote Health Monitoring
Spataru, Adrian	Transformer-Based Anomaly Detection in Decentralized Exchange Transactions
Stefanescu, Gheorghe	Artificial Consciousness in Complex Computing Networks
Stoean, Catalin	Semantic Segmentation of Maize–Weed Fields for Precision Spraying An Interactive Museum Platform for Visitor Engagement with AI-Powered Hybrid Head--Face Swap AI-Assisted Contextualization of Museum Artefacts
Stoean, Ruxandra	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Stoica Marcu, Floris Andrei	Corner-Guided Bottom-Up Wireframe Parsing
Stratulat, Sorin	Certification of Bilateral Patience Sort in Theorema and Rocq
Sultangazieva, Bermet	The Search for Sharac Quandles
T
Tache, Alexandru-Petre	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper) A Verification-First Computational Pipeline for Extremal Problems on Degree-Based Graph Indices A Computational Test for Total Orderability of Graph Families by Degree-Based Topological Indices
Tache, Rozica-Maria	A Computer-Aided Study of the Diminished Euler Sombor Index (Work in progress paper)
Talukdar, Fahim	Symbolic Distillation of Random Forests for Real-Time Behavioural Classification of Player Frustration and Engagement
Teleaga, Delia	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
Terei, Carmen	On Counting the Shortest Paths for Hammocks
Ticiu, Cristina	A Hybrid Deep-Shallow Air Quality Anomaly Detection Method Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
Todoran, Eneia Nicolae	A Semantic Investigation of Spiking Neural P Systems with Mute Rules
Toma, Ștefan-Adrian	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Toma, Ștefan-Adrian	Analysis of PS-InSAR and Precipitation Time Series Using Univariate and Multivariate Bayesian Ensemble Modeling
Tonu, Ioana-Alexandra	Hierarchical and Explainable Forensics of Manipulated Facial Images
Tonu, Sebastian	Hierarchical and Explainable Forensics of Manipulated Facial Images
Toxtli, Carlos	TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations
Truică, Ciprian-Octavian	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
U
Uddin, Faiaz Sharaf	Improving Forecast Stability in Financial Time Series through Adaptive Retraining
Untaru, Cristian	Intelligent assistant for medical pre-triage
Urrutia-Aparicio, Maitane	Content-Based Image Retrieval of Roman Settlements Across Multiple Image Representations Using Canny-HOG Features and Orientation Data Hybrid Deep Learning Pipelines for Detection of Churches in Satellite Images
V
Valase, Paul Mihai	End-to-End AI-Assisted Discovery and Validation of Improper Privilege Management in WordPress Plugins: The Case of CVE-2026-6741
Vasile, Dragoș-Mitruț	Cross-lingual Relation Extraction with Large Language Models: Zero-Shot, Few-Shot, and Fine-Tuned Evaluation on Romanian
Vuescu, Mihai-David	Wi-Fi, Noise, and Chewing: What Actually Breaks a Consumer BCI
Vukicevic, Marko	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Vîlcu, Răzvan-Valeriu	A comparision between different heuristic in solving Dynamic Vehicle Routing Problem
Văran, Andrei	Temporal and Climate-Aware Predictive Modeling of Emergency Department Attendance in Romania
W
Watt, Stephen	Progress in Benchmarking Generics for Mathematical Computation High-Level Big Integer Arithmetic in Futhark for GPUs
X
Xu, Yanwei	Data-aware candidate selection in NL2SQL translation via small separating instances
Z
Zavaleta, Gary	Beneficial but Not Sufficient: A Multi-Dimensional Ablation of Metadata Richness for Text-to-SQL Correctness
Zivkovic, Miodrag	Art Museum Feedback Sentiment Analysis: A Word2Vec, XGBoost and Quasi-Reflexive Genetic Sinh - Cosh Optimizer Approach
Zvorișteanu, Otilia	VR-Based Training of Daily Living Skills in Autism with Quantitative Progress Monitoring Hierarchical and Explainable Forensics of Manipulated Facial Images Study On Hierarchical Classification Of Alzheimer’s Disease Stages From MRI Scans Multimodal RGB–LiDAR Fusion for Robust Object Detection
Ö
Ölveczky, Peter Csaba	Formal Modeling and Analysis of Distributed and Real-Time Systems in Maude
Ș
Șerb, Răzvan-Gabriel	A Robustness Assessment Framework for 2D Brain Tumor Segmentation under Missing MRI Modalities
Ștefănigă, Sebastian-Aurelian	Ami: a Chatbot for Emotional Support in Romanian

Disclaimer | Powered by EasyChair Smart Program