Search results for "ASLAN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Jeffrey Douglas, Richard A. Kemmerer	Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
40	Seda Akti Aslan, Yigit Emrah Turgut, Alper Aslan	Teachers' views related the middle school curriculum for distance education during the COVID-19 pandemic.	Educ. Inf. Technol.	2021	DBLP DOI BibTeX RDF
40	Bora Aslan, Füsun Yavuzer Aslan, M. Tolga Sakalli	Energy Consumption Analysis of Lightweight Cryptographic Algorithms That Can Be Used in the Security of Internet of Things Applications.	Secur. Commun. Networks	2020	DBLP DOI BibTeX RDF
40	Abdullah F. Rahman, Aslan Aslan	Detecting red tide using spectral shapes.	IGARSS	2016	DBLP DOI BibTeX RDF
40	Serdar Aslan, Ali Taylan Cemgil, Murat Samil Aslan, Behcet Ugur Töreyin, Ata Akin	Joint parameter and state estimation of the hemodynamic model by iterative extended Kalman smoother.	Biomed. Signal Process. Control.	2016	DBLP DOI BibTeX RDF
34	Haixing Yan, Huixing Fang, Christian Kuka, Huibiao Zhu	Verification for OAuth Using ASLan++.	HASE	2015	DBLP DOI BibTeX RDF
34	Ashish Ranjan 0001, Arnab Raha, Swagath Venkataramani, Kaushik Roy 0001, Anand Raghunathan	ASLAN: Synthesis of approximate sequential circuits.	DATE	2014	DBLP DOI BibTeX RDF
34	Johan Oudinet, Alberto Calvi, Matthias Büchler	Evaluation of ASLan Mutation Operators.	TAP@STAF	2013	DBLP DOI BibTeX RDF
34	Sebastian Mödersheim	Deciding Security for a Fragment of ASLan.	ESORICS	2012	DBLP DOI BibTeX RDF
34	Aykut Erdem, Sibel Tari	A similarity-based approach for shape classification using Aslan skeletons.	Pattern Recognit. Lett.	2010	DBLP DOI BibTeX RDF
34	David von Oheimb, Sebastian Mödersheim	ASLan++ - A Formal Security Specification Language for Distributed Systems.	FMCO	2010	DBLP DOI BibTeX RDF
34	Paul Beilby, Ian Comley, Mike Mulholland, Alex Rothwell, Olivier Soares	Aslan and Trufflehunter: creature creation, from follicle to chronicle.	SIGGRAPH Talks	2008	DBLP DOI BibTeX RDF
34	Brent Auernheimer, Daniel Stearns	Using the Aslan Formal Specification Language in Undergraduate Software Engineering Courses.	Comput. Sci. Educ.	1991	DBLP DOI BibTeX RDF
34	Brent Auernheimer, Richard A. Kemmerer	RT-ASLAN: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1986	DBLP DOI BibTeX RDF
33	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
33	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
26	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
26	Sibel Tari	Hierarchical Shape Decomposition via Level Sets.	ISMM	2009	DBLP DOI BibTeX RDF	PDEs and variational methods, level set methods, shape representation, curve evolution, shape decomposition
26	Andrei Sabelfeld	Dimensions of Declassification in Theory and Practice.	ASIAN	2007	DBLP DOI BibTeX RDF
20	Fatih Aslan, George Iosifidis, Jose A. Ayala-Romero, Andres Garcia-Saavedra, Xavier Costa-Pérez	Fair Resource Allocation in Virtualized O-RAN Platforms.	Proc. ACM Meas. Anal. Comput. Syst.	2024	DBLP DOI BibTeX RDF
20	Murat Aslan, Ismail Koç	Modified Coot bird optimization algorithm for solving community detection problem in social networks.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
20	Murat Aslan, Mario Pavone	MBVS: a modified binary vortex search algorithm for solving uncapacitated facility location problem.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
20	Haci Ismail Aslan, Chang Choi	VisGIN: Visibility Graph Neural Network on one-dimensional data for biometric authentication	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
20	Ibrahim Kucukkoc, Gülsen Aydin Keskin, Aslan Deniz Karaoglan, Sevgi Karadag	A hybrid discrete differential evolution - genetic algorithm approach with a new batch formation mechanism for parallel batch scheduling considering batch delivery.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
20	Ahmad Kabil, Heba Aslan, Marianne Azer	Cryptanalysis of Two Conditional Privacy Preserving Authentication Schemes for Vehicular Ad Hoc Networks.	Cryptogr.	2024	DBLP DOI BibTeX RDF
20	Muhammed Yildirim, Soner Kiziloluk, Serpil Aslan, Eser Sert	A new hybrid approach based on AOA, CNN and feature fusion that can automatically diagnose Parkinson's disease from sound signals: PDD-AOA-CNN.	Signal Image Video Process.	2024	DBLP DOI BibTeX RDF
20	Merve Ozkan-Okay, Erdal Akin, Ömer Aslan, Selahattin Kosunalp, Teodor B. Iliev, Ivaylo S. Stoyanov, Ivan H. Beloev	A Comprehensive Survey: Evaluating the Efficiency of Artificial Intelligence and Machine Learning Techniques on Cyber Security Solutions.	IEEE Access	2024	DBLP DOI BibTeX RDF
20	Diannan Chen, Aslan B. Wong, Kaishun Wu	Fall Detection Based on Fusion of Passive and Active Acoustic Sensing.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
20	Musa Aslan, Muhammet Baykara, Talha Burak Alakus	Analysis of brain areas in emotion recognition from EEG signals with deep learning methods.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
20	Musa Aslan, Muhammet Baykara, Talha Burak Alakus	LSTMNCP: lie detection from EEG signals with novel hybrid deep learning method.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
20	Zülfikar Aslan	A Novel Computer-Aided Diagnostic System for Alzheimer's Diagnosis Using Variational Mode Decomposition Method.	Circuits Syst. Signal Process.	2024	DBLP DOI BibTeX RDF
20	Ghada F. El-Kabbany, Hassan I. Ahmed, Heba K. Aslan, Young-Im Cho, Mohamed S. Abdallah	Lightweight Computational Complexity Stepping Up the NTRU Post-Quantum Algorithm Using Parallel Computing.	Symmetry	2024	DBLP DOI BibTeX RDF
20	Hayati Tutar, Ali Günes, Metin Zontul, Zafer Aslan	A Hybrid Approach to Improve the Video Anomaly Detection Performance of Pixel- and Frame-Based Techniques Using Machine Learning Algorithms.	Comput.	2024	DBLP DOI BibTeX RDF
20	Irem Baglan, Erman Aslan	Analytical and Numerical Investigation of Two-Dimensional Heat Transfer with Periodic Boundary Conditions.	Comput.	2024	DBLP DOI BibTeX RDF
20	Zuhal Aslan Akyol, Murat Yücel 0002	Remote accessible/fully controllable fiber optic systems laboratory design and implementation.	Comput. Appl. Eng. Educ.	2024	DBLP DOI BibTeX RDF
20	Fatih Aslan, George Iosifidis, Jose A. Ayala-Romero, Andres Garcia-Saavedra, Xavier Costa-Pérez	Fair Resource Allocation in Virtualized O-RAN Platforms.	CoRR	2024	DBLP DOI BibTeX RDF
20	Aslan S. Dizaji	A Multi-agent Reinforcement Learning Study of Evolution of Communication and Teaching under Libertarian and Utilitarian Governing Systems.	CoRR	2024	DBLP DOI BibTeX RDF
20	Musa Aslan, Muhammet Baykara, Talha Burak Alakus	LieWaves: dataset for lie detection based on EEG signals and wavelets.	Medical Biol. Eng. Comput.	2024	DBLP DOI BibTeX RDF
20	Mohamed Rasslan, Mahmoud M. Nasreldin, Doaa Abdelrahman, Aya Elshobaky, Heba Aslan	Networking and cryptography library with a non-repudiation flavor for blockchain.	J. Comput. Virol. Hacking Tech.	2024	DBLP DOI BibTeX RDF
20	Anil Utku, Umit Can, Serpil Aslan	Correction to: Detection of hateful twitter users with graph convolutional network model.	Earth Sci. Informatics	2024	DBLP DOI BibTeX RDF
20	Ilyas Aslan, Nizar Polat	Deep learning-based classification of mature and immature lavender plants using UAV orthophotos and a hybrid CNN approach.	Earth Sci. Informatics	2024	DBLP DOI BibTeX RDF
20	Buket Isler, Z. Aslan, F. Sunar, A. Günes, E. Feoli, D. Gabriels	Hybrid model-based prediction of biomass density in case studies in Turkiye.	Ecol. Informatics	2024	DBLP DOI BibTeX RDF
20	Seda Aslan, Xiaolong Liu 0002, Enze Chen, Miya Mese-Jones, Bryan Gonzalez, Ryan O'Hara, Yue-Hin Loke, Narutoshi Hibino, Laura Olivieri, Axel Krieger, Thao D. Nguyen	Computational Modeling of Arterial Walls: Evaluating Model Complexity and the Influence of Model Parameters on Deformation Outcomes.	BIOSTEC (1)	2024	DBLP DOI BibTeX RDF
20	Evan R. Smith, Rachel M. Koldenhoven, John W. Farrell, Semih Aslan, Maria D. Resendiz, Yumeng Li, Ting Liu, Damian Valles	Development of an Augmented Reality Handwashing Tool for Children with Autism Spectrum Disorder.	CCWC	2024	DBLP DOI BibTeX RDF
20	Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal	VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
20	Murat Aslan	Archimedes optimization algorithm based approaches for solving energy demand estimation problem: a case study of Turkey.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
20	Mohamed A. El-Rashidy, Ahmed Farouk, Nawal A. El-Fishawy, Heba K. Aslan, Nabila A. Khodeir	New weighted BERT features and multi-CNN models to enhance the performance of MOOC posts classification.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
20	Serpil Aslan, Soner Kiziloluk, Eser Sert	TSA-CNN-AOA: Twitter sentiment analysis using CNN optimized via arithmetic optimization algorithm.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
20	Melih S. Aslan, Kaan Sik, Izzet Güzelkara, Ibrahim Tuna Özdür, Veli Tayfun Kilic	Study of Helical Antenna Endowing Short Wire Length and Compact Structure for High-Frequency Operations and Its Exclusive Manufacturing Process.	Turkish J. Electr. Eng. Comput. Sci.	2023	DBLP DOI BibTeX RDF
20	Mehmet Aslan, Sevil Sen	A dynamic trust management model for vehicular ad hoc networks.	Veh. Commun.	2023	DBLP DOI BibTeX RDF
20	Ibrahim Arpaci, Ömer Aslan	Development of a Scale to Measure Cybercrime-Awareness on Social Media.	J. Comput. Inf. Syst.	2023	DBLP DOI BibTeX RDF
20	Fatih Aslan, Suleyman Serdar Kozat	Handling irregularly sampled signals with gated temporal convolutional networks.	Signal Image Video Process.	2023	DBLP DOI BibTeX RDF
20	Kaja Faßbender, Philine M. Baumert, Maximilian W. M. Wintergerst, Jan H. Terheyden, Behrem Aslan, Wolf Harmening, Ulrich Ettinger	GABAergic Involvement in Selective Attention.	J. Cogn. Neurosci.	2023	DBLP DOI BibTeX RDF
20	Simge Nur Aslan, Aysegül Uçar, Cüneyt Güzelis	Development of a deep wavelet pyramid scene parsing semantic segmentation network for scene perception in indoor environments.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
20	Niels A. Wouda, Ayse Aslan, Iris F. A. Vis	An adaptive large neighbourhood search metaheuristic for hourly learning activity planning in personalised learning.	Comput. Oper. Res.	2023	DBLP DOI BibTeX RDF
20	Evin Aslan Oguz, Gregor Strle, Andrej Kosir	Multimedia ad exposure scale: measuring short-term impact of online ad exposure.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
20	Zülfikar Aslan	Deep Convolutional Neural Network-Based Framework in the Automatic Diagnosis of Migraine.	Circuits Syst. Signal Process.	2023	DBLP DOI BibTeX RDF
20	Hafize Hasar, Ugur Cem Hasar, Hamdullah Ozturk, Mucahit Izginli, Nevzat Aslan, Taskin Oztas, Mehmet Ertugrul, Mehmet Karayilan, Omar M. Ramahi	Permittivity Extraction of Soil Samples Using Coaxial-Line Measurements by a Simple Calibration.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
20	Stephan Bohn, Ali Aslan Gümüsay, Georg von Richthofen, Georg Reischauer	Digital organising.	Internet Policy Rev.	2023	DBLP DOI BibTeX RDF
20	Selcen Gülsüm Aslan Özsahin, Babek Erdebilli	Statistical-machine-learning-based intelligent relaxation for set-covering location models to identify locations of charging stations for electric vehicles.	EURO J. Transp. Logist.	2023	DBLP DOI BibTeX RDF
20	Muhammet Fatih Aslan	A hybrid end-to-end learning approach for breast cancer diagnosis: convolutional recurrent network.	Comput. Electr. Eng.	2023	DBLP DOI BibTeX RDF
20	Ahmed Mohsen Yassin, Heba Kamal Aslan, Islam Tharwat Abdel-Halim	Smart Automotive Diagnostic and Performance Analysis Using Blockchain Technology.	J. Sens. Actuator Networks	2023	DBLP DOI BibTeX RDF
20	Mohamed Aliwi, Sercan Demirci, Selçuk Aslan	Difference-based firefly programming for symbolic regression problems.	Comput. Stand. Interfaces	2023	DBLP DOI BibTeX RDF
20	Alice Othmani, Aznul Qalid Md Sabri, Sinem Aslan, Faten Chaieb, Hala Rameh, Romain Alfred, Dayron Cohen	EEG-based neural networks approaches for fatigue and drowsiness detection: A survey.	Neurocomputing	2023	DBLP DOI BibTeX RDF
20	Selcuk Aslan, Tevfik Erkin	An immune plasma algorithm based approach for UCAV path planning.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
20	Khairunnisa Hasikin, Khin Wee Lai, Suresh Chandra Satapathy, Kadir Sabanci, Muhammet Fatih Aslan	Editorial: Emerging applications of text analytics and natural language processing in healthcare.	Frontiers Digit. Health	2023	DBLP DOI BibTeX RDF
20	David Häusermann, Sam Bodry, Fabian Wiesemüller, Aslan Miriyev, Severin Siegrist, Fan Fu, Sabyasachi Gaan, Matthias M. Koebel, Wim J. Malfait, Shanyu Zhao, Mirko Kovac	FireDrone: Multi-Environment Thermally Agnostic Aerial Robot.	Adv. Intell. Syst.	2023	DBLP DOI BibTeX RDF
20	David Häusermann, Sam Bodry, Fabian Wiesemüller, Aslan Miriyev, Severin Siegrist, Fan Fu, Sabyasachi Gaan, Matthias M. Koebel, Wim J. Malfait, Shanyu Zhao, Mirko Kovac	FireDrone: Multi-Environment Thermally Agnostic Aerial Robot.	Adv. Intell. Syst.	2023	DBLP DOI BibTeX RDF
20	Aslan Tatarkanov, Rasul M. Glashev, Ekaterina S. Nazarova	Assessment of the actual security of the information system by studying the equivalence of the applied technologies.	Rev. Colomb. de Computación	2023	DBLP DOI BibTeX RDF
20	Jean-Paul Mazellier, Méline Bour-Lang, Sabrina Bourouis, Johan Moreau, Aimable Muzuri, Olivier Schweitzer, Aslan Vatsaev, Julien Waechter, Emilie Wernert, Frederic Woelffel, Alexandre Hostettler, Nicolas Padoy, Flavien Bridault	INDEXITY: a web-based collaborative tool for medical video annotation.	CoRR	2023	DBLP DOI BibTeX RDF
20	Haci Ismail Aslan, Chang Choi, Hoon Ko	Classification of vertices on social networks by multiple approaches.	CoRR	2023	DBLP DOI BibTeX RDF
20	Ilhan Aslan, Dominik Neu, Daniela Neupert, Stefan Grafberger, Nico Weise, Pascal Pfeil, Maximilian Kuschewski	How to Compliment a Human - Designing Affective and Well-being Promoting Conversational Things.	CoRR	2023	DBLP DOI BibTeX RDF
20	Aslan S. Dizaji	A Multi-agent Reinforcement Learning Study of Emergence of Social Classes out of Arbitrary Governance: The Role of Environment.	CoRR	2023	DBLP DOI BibTeX RDF
20	K. R. Sahasranand, Aslan Tchamkerten	Feedback Increases the Capacity of Queues with Bounded Service Times.	CoRR	2023	DBLP DOI BibTeX RDF
20	Jeppe Fredsgaard Blaabjerg, Aslan Askarov	OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads.	CoRR	2023	DBLP DOI BibTeX RDF
20	Süleyman Aslan, Brandon Yushan Feng, Amitabh Varshney	View Correspondence Network for Implicit Light Field Representation.	CoRR	2023	DBLP DOI BibTeX RDF
20	Ayse Aslan	Some Experiences with Hybrid Genetic Algorithms in Solving the Uncapacitated Examination Timetabling Problem.	CoRR	2023	DBLP DOI BibTeX RDF
20	Ali Alagrami, Luca Palmieri, Sinem Aslan, Marcello Pelillo, Sebastiano Vascon	Reassembling Broken Objects using Breaking Curves.	CoRR	2023	DBLP DOI BibTeX RDF
20	Selcuk Aslan, Tevfik Erkin	A multi-population immune plasma algorithm for path planning of unmanned combat aerial vehicle.	Adv. Eng. Informatics	2023	DBLP DOI BibTeX RDF
20	Serpil Aslan	A deep learning-based sentiment analysis approach (MF-CNN-BILSTM) and topic modeling of tweets related to the Ukraine-Russia conflict.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
20	Muhammet Fatih Aslan, Akif Durdu, Kadir Sabanci	Goal distance-based UAV path planning approach, path optimization and learning-based path estimation: GDRRT, PSO-GDRRT and BiLSTM-PSO-GDRRT*.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
20	Manuj Mukherjee, Aslan Tchamkerten, Chadi Jabbour	Reconfigurable Adaptive Channel Sensing.	IEEE Trans. Green Commun. Netw.	2023	DBLP DOI BibTeX RDF
20	Anil Utku, Umit Can, Serpil Aslan	Detection of hateful twitter users with graph convolutional network model.	Earth Sci. Informatics	2023	DBLP DOI BibTeX RDF
20	Resat Aslan	Approximation properties of univariate and bivariate new class $$\lambda $$-Bernstein-Kantorovich operators and its associated GBS operators.	Comput. Appl. Math.	2023	DBLP DOI BibTeX RDF
20	Narin Aslan, Sengul Dogan, Gonca Ozmen Koca	Automated classification of brain diseases using the Restricted Boltzmann Machine and the Generative Adversarial Network.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
20	Ismail Aslan 0002, Türkan Yeliz Gökçer	Approximation by pseudo-linear discrete operators.	Math. Found. Comput.	2023	DBLP DOI BibTeX RDF
20	Aslan B. Wong, Ziqi Huang, Xia Chen, Kaishun Wu	ArtiLock: Smartphone User Identification Based on Physiological and Behavioral Features of Monosyllable Articulation.	Sensors	2023	DBLP DOI BibTeX RDF
20	Ayse Aslan, Hanane El Raoui, Jack Hanson, Gokula Vasantha, John Quigley, Jonathan R. Corney, Andrew Sherlock	Using Worker Position Data for Human-Driven Decision Support in Labour-Intensive Manufacturing.	Sensors	2023	DBLP DOI BibTeX RDF
20	Mohamed ElKashlan, Heba Aslan, Mahmoud Said Elsayed, Anca D. Jurcut, Marianne A. Azer	Intrusion Detection for Electric Vehicle Charging Systems (EVCS).	Algorithms	2023	DBLP DOI BibTeX RDF
20	Hüseyin Üzen, Muammer Turkoglu, Muzaffer Aslan, Davut Hanbay	Depth-wise Squeeze and Excitation Block-based Efficient-Unet model for surface defect detection.	Vis. Comput.	2023	DBLP DOI BibTeX RDF
20	Selcuk Aslan, Dániel Rohács, Melih Yildiz, Utku Kale	A Three-Dimensional UCAV Path Planning Approach Based on Immune Plasma Algorithm.	Int. J. Comput. Intell. Syst.	2023	DBLP DOI BibTeX RDF
20	Serra Cilizoglu, Mehtap Duru Aslan, Melisa Ceyhan, Asim Evren Yantaç	Designers' Expectations from Virtual Product Experience in Metaverse.	MindTrek	2023	DBLP DOI BibTeX RDF
20	Anan Schütt, Tobias Huber, Ilhan Aslan, Elisabeth André	Fast Dynamic Difficulty Adjustment for Intelligent Tutoring Systems with Small Datasets.	EDM	2023	DBLP BibTeX RDF
20	Kimsey Zajac, Aycan Aslan, Maike Greve, Lutz M. Kolbe, Grant Theron, Thomas Niesler, Marisa Klopper, Frank Cobelens	Bridging Healthcare Barriers with mHealth: A Systematic Review of Tuberculosis Applications and their Limitations.	AMCIS	2023	DBLP BibTeX RDF
20	Jeppe Fredsgaard Blaabjerg, Aslan Askarov	OblivIO: Securing Reactive Programs by Oblivious Execution with Bounded Traffic Overheads.	CSF	2023	DBLP DOI BibTeX RDF
20	Venkat Chandar, Aslan Tchamkerten, Shashank Vatedka	Data Compression with Private Local Decodability.	ISIT	2023	DBLP DOI BibTeX RDF
20	K. R. Sahasranand, Aslan Tchamkerten	Feedback Increases the Capacity of Queues with Finite Support Service Times.	ISIT	2023	DBLP DOI BibTeX RDF
20	Qiyuan Wu, Vincent Cleveland, Seda Aslan, Xiaolong Liu 0002, Jacqueline Contento, Paige Mass, Byeol Kim, Catherine Pollard, Pranava Sinha, Yue-Hin Loke, Laura Olivieri, Axel Krieger	Hemodynamics of Convergent Cavopulmonary Connection with Ventricular Assist Device for Fontan Surgery: A Computational and Experimental Study.	BIOINFORMATICS	2023	DBLP BibTeX RDF
20	Hanane El Raoui, John Quigley, Ayse Aslan, Gokula Vasantha, Jack Hanson, Jonathan R. Corney, Andrew Sherlock	Design of a Serious Game for Safety in Manufacturing Industry Using Hybrid Simulation Modelling: Towards Eliciting Risk Preferences.	WSC	2023	DBLP DOI BibTeX RDF
20	Amir Hoseein Ghorab, Mohammed A. Abuibaid, Aysun Aslan Saruhan, Marc St-Hilaire, István Moldován, Miklós Máté	Cloud-based TSN Stream Identification: The First Step for TSN Standards in Clouds.	CSCN	2023	DBLP DOI BibTeX RDF