Search results for "rebeca"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
178	Marjan Sirjani	Rebeca: Theory, Applications, and Tools.	FMCO	2006	DBLP DOI BibTeX RDF	Rebeca, Distributed Systems, Model Checking, Concurrency, Abstraction, Actors, Compositional Verification
171	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab	Compositional Semantics of an Actor-Based Language Using Constraint Automata.	COORDINATION	2006	DBLP DOI BibTeX RDF	Rebeca, Compositional semantics, Reo, Constraint Automata, actor model
138	Mohammad Mahdi Jaghoori, Ali Movaghar 0001, Marjan Sirjani	Modere: the model-checking engine of Rebeca.	SAC	2006	DBLP DOI BibTeX RDF	automated verification tool, rebeca, partial order reduction, actor model
88	Marjan Sirjani, Frank S. de Boer, Ali Movaghar 0001, Amin Shali	Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.	ACSD	2005	DBLP DOI BibTeX RDF
81	Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh 0001, Marjan Sirjani, Zainalabedin Navabi	A New Approach for Design and Verification of Transaction Level Models.	ISCAS	2007	DBLP DOI BibTeX RDF
68	Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi 0001, Jan Friso Groote	Sarir: A Rebeca to mCRL2 Translator.	ACSD	2007	DBLP DOI BibTeX RDF
61	Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani	ReUML: a UML Profile for Modeling and Verification of Reactive Systems.	ICSEA	2007	DBLP DOI BibTeX RDF
61	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi 0001, Ali Movaghar 0001	Efficient Symmetry Reduction for an Actor-Based Model.	ICDCIT	2005	DBLP DOI BibTeX RDF
61	Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar 0001	A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.	ACSD	2004	DBLP DOI BibTeX RDF
61	Shahram Ghandeharizadeh, Seon Ho Kim, Cyrus Shahabi	On Configuring a Single Disk Continuous Media Server.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
50	Ludger Fiege, Mariano Cilia, Gero Mühl, Alejandro P. Buchmann	Publish-Subscribe Grows Up: Support for Management, Visibility Control, and Heterogeneity.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	message-oriented, Rebeca, scalability, middleware, publish-subscribe
48	Andreas Zeidler, Ludger Fiege	Mobility Support with REBECA.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
28	Fereidoun Moradi, Bahman Pourvatan, Sara Abbaspour Asadollah, Marjan Sirjani	Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition system.	J. Parallel Distributed Comput.	2024	DBLP DOI BibTeX RDF
28	Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi	Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.	FSEN	2023	DBLP DOI BibTeX RDF
28	Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani	Safe Design of Flow Management Systems Using Rebeca.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
28	Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar 0001	VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.	Int. J. Softw. Tools Technol. Transf.	2020	DBLP DOI BibTeX RDF
28	Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam	From Requirements to Verifiable Executable Models Using Rebeca.	SEFM	2020	DBLP DOI BibTeX RDF
28	Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani	Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.	CoRR	2019	DBLP BibTeX RDF
28	Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani	Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.	CyPhy/WESE	2018	DBLP DOI BibTeX RDF
28	Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson	Statistical model checking of Timed Rebeca models.	Comput. Lang. Syst. Struct.	2016	DBLP DOI BibTeX RDF
28	Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani	Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
28	Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi	Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
28	Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson	Modelling and simulation of asynchronous real-time systems using Timed Rebeca.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
28	Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani	Event-Based Analysis of Timed Rebeca Models using SQL.	AGERE!@SPLASH	2014	DBLP DOI BibTeX RDF
28	Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah	Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.	FTSCS	2013	DBLP DOI BibTeX RDF
28	Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani	Analysing timed Rebeca using McErlang.	AGERE!@SPLASH	2013	DBLP DOI BibTeX RDF
28	Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi	Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.	AGERE!@SPLASH	2012	DBLP DOI BibTeX RDF
28	Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani	Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca	FOCLASA	2011	DBLP DOI BibTeX RDF
28	Helge Parzyjegla, Daniel Graff, Arnd Schröter, Alexej Schepeljanski, Anselm Busse, Jan Richling, Matthias Werner 0001	REBECA - eine autonome Publish/Subscribe Middleware.	Prax. Inf.verarb. Kommun.	2011	DBLP DOI BibTeX RDF
28	Marjan Sirjani, Mohammad Mahdi Jaghoori	Ten Years of Analyzing Actors: Rebeca Experience.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
28	David Miraut Andrés, Ángela Mendoza Mendoza, Susana Mata Fernández, Luis Pastor Pérez	Rebeca Through the Looking Glass: A 3D Adventure to Learn to Program.	DCAI	2011	DBLP DOI BibTeX RDF
28	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi 0001, Ehsan Khamespanah, Ali Movaghar 0001	Symmetry and partial order reduction techniques in model checking Rebeca.	Acta Informatica	2010	DBLP DOI BibTeX RDF
28	Hamid Reza Shahriari, Mohammad Sadegh Makarem, Marjan Sirjani, Rasool Jalili, Ali Movaghar 0001	Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.	Comput. Electr. Eng.	2010	DBLP DOI BibTeX RDF
28	Hamideh Sabouri, Marjan Sirjani	Actor-based slicing techniques for efficient reduction of Rebeca models.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
28	Helge Parzyjegla, Daniel Graff, Arnd Schröter, Jan Richling, Gero Mühl	Design and Implementation of the Rebeca Publish/Subscribe Middleware.	From Active Data Management to Event-Based Systems and More	2010	DBLP DOI BibTeX RDF
28	Bento Carlos Dias-da-Silva, Ariani Di Felippo	REBECA: Turning WordNet Databases into "Ontolexicons".	LREC	2010	DBLP BibTeX RDF
28	Hamideh Sabouri, Marjan Sirjani	Slicing-based Reductions for Rebeca.	FACS	2008	DBLP DOI BibTeX RDF
28	Hossein Hojjat, Hootan Nakhost, Marjan Sirjani	Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca.	FSEN	2005	DBLP DOI BibTeX RDF
28	Marjan Sirjani, Ali Movaghar 0001, Amin Shali, Frank S. de Boer	Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
28	Marjan Sirjani, Ali Movaghar 0001, Amin Shali, Frank S. de Boer	Modeling and Verification of Reactive Systems using Rebeca.	Fundam. Informaticae	2004	DBLP BibTeX RDF
28	Marjan Sirjani, Ali Movaghar 0001, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali	Model Checking in Rebeca.	PDPTA	2003	DBLP BibTeX RDF
28	Marjan Sirjani, Ali Movaghar 0001	Simulation in Rebeca.	PDPTA	2002	DBLP BibTeX RDF
21	Avelino J. Gonzalez, Thomas Anchor, Anthony Hevia, Andres Posadas, Josh Wade, Rebeca Amaya Ansag, Kyle A. Benko, Brooke Bottoni, Vera A. Kazakova, Matthew Alvarez, Josiah Wong, Jordan T. Martin, Rainer Knauf, Klaus P. Jantke, Annie S. Wu	The evolution of the fAIble system to automatically compose and narrate stories for children.	J. Exp. Theor. Artif. Intell.	2024	DBLP DOI BibTeX RDF
21	Rebeca Arista, Fernando Mas, Domingo Morales-Palma, Carpóforo Vallellano	An Ontology-based Engineering methodology applied to aerospace Reconfigurable Manufacturing Systems design.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
21	Rebeca Chinicz, Roee Diamant	A Statistical Evaluation of the Connection between Underwater Optical and Acoustic Images.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
21	Martín González Soto, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Bruno Fernández Castro, Ana Fernández Vilas	Decentralized and collaborative machine learning framework for IoT.	Comput. Networks	2024	DBLP DOI BibTeX RDF
21	Rebeca Peláez, Ingrid Van Keilegom, Ricardo Cao, Juan Manuel Vilar	Probability of default estimation in credit risk using mixture cure models.	Comput. Stat. Data Anal.	2024	DBLP DOI BibTeX RDF
21	Alba Vadillo-Valderrama, Jacobo Chaquet-Ulldemolins, Rebeca Goya-Esteban, Raúl Caulier-Cisterna, Juan José Sánchez-Muñoz, Arcadi García-Alberola, José Luis Rojo-Álvarez	Exploring Cardiac Rhythms and Improving ECG Beat Classification Through Latent Spaces.	IEEE Access	2024	DBLP DOI BibTeX RDF
21	Xiaochen Zheng, Xiaodu Hu, Rebeca Arista, Jinzhi Lu, Jyri Sorvari, Joachim Lentes, Fernando Ubis, Dimitris Kiritsis	A semantic-driven tradespace framework to accelerate aircraft manufacturing system design.	J. Intell. Manuf.	2024	DBLP DOI BibTeX RDF
21	Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez	Generation of BIM data based on the automatic detection, identification and localization of lamps in buildings.	CoRR	2024	DBLP DOI BibTeX RDF
21	Wilson Chango, Rebeca Cerezo, C. Romero	Multi-source and multimodal data fusion for predicting academic performance in blended learning university courses.	CoRR	2024	DBLP DOI BibTeX RDF
21	Rebeca Cerezo, Alejandro Bogarín, M. Esteban, C. Romero	Process mining for self-regulated learning assessment in e-learning.	CoRR	2024	DBLP DOI BibTeX RDF
21	Wilson Chango, Rebeca Cerezo, Miguel Sánchez-Santillán, R. Azevedo, C. Romero	Improving prediction of students' performance in intelligent tutoring systems using attribute selection and ensembles of different multimodal data sources.	CoRR	2024	DBLP DOI BibTeX RDF
21	Ana Fernández Vilas, Rebeca P. Díaz Redondo, Daniel Couto Cancela, Alejandro Torrado Pazos	Interplay between Cryptocurrency Transactions and Online Financial Forums.	CoRR	2024	DBLP DOI BibTeX RDF
21	Ana Iglesias, Raquel Viciana-Abad, José Manuel Pérez-Lorenzo, Karine Lan Hing Ting, Alberto J. Tudela, Rebeca Marfil, Malak Qbilat, Antonio Hurtado, Antonio Jerez, Juan Pedro Bandera Rubio	The Town Crier: A Use-Case Design and Implementation for a Socially Assistive Robot in Retirement Homes.	Robotics	2024	DBLP DOI BibTeX RDF
21	Rebeca Alejandra Gavrila Laic, Mahyar Firouzi, Reinhard Claeys, Ivan Bautmans, Eva Swinnen, David Beckwée	A State-of-the-Art of Exoskeletons in Line with the WHO's Vision on Healthy Aging: From Rehabilitation of Intrinsic Capacities to Augmentation of Functional Abilities.	Sensors	2024	DBLP DOI BibTeX RDF
21	María García-Arrabé, Marta de la Plaza San Frutos, Alberto Bermejo-Franco, Rebeca del Prado-Álvarez, Javier López-Ruiz, José Angel del-Blanco-Muñiz, María-José Giménez	Effects of Minimalist vs. Traditional Running Shoes on Abdominal Lumbopelvic Muscle Activity in Women Running at Different Speeds: A Randomized Cross-Over Clinical Trial.	Sensors	2024	DBLP DOI BibTeX RDF
21	Juan José López Escobar, Rebeca P. Díaz Redondo, Felipe J. Gil-Castiñeira	Unleashing the power of decentralized serverless IoT dataflow architecture for the Cloud-to-Edge Continuum: a performance comparison.	Ann. des Télécommunications	2024	DBLP DOI BibTeX RDF
21	Rebeca Amaya Ansag, Avelino J. Gonzalez	State-of-the-Art in Automated Story Generation Systems Research.	J. Exp. Theor. Artif. Intell.	2023	DBLP DOI BibTeX RDF
21	Diana Santos, Cristina Mota, Emanoel Pires, Marcia Langfeldt, Rebeca Schumacher Fuão, Roberto Willrich	DIP - Desafio de Identificação de Personagens: objectivo, organização, recursos e resultados.	Linguamática	2023	DBLP DOI BibTeX RDF
21	Emanoel Pires, Marcia Caetano Langfeldt, Rebeca Schumacher Fuão	Desafios e vantagens do processo de identificação automática do gênero e das profissões das personagens no DIP.	Linguamática	2023	DBLP DOI BibTeX RDF
21	Rebeca Ferrero Guillén, Altair Breckwoldt Jurado	Vagueness in Artificial Intelligence: The 'Fuzzy Logic' of AI-Related Patent Claims.	Digit. Soc.	2023	DBLP DOI BibTeX RDF
21	Juan José López López Escobar, Manuel Ricardo 0001, Rui Campos, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo	Resource allocation for dataflow applications in FANETs using anypath routing.	Internet Things	2023	DBLP DOI BibTeX RDF
21	Charbeth López-Urias, Guadalupe Esteban Vazquez-Becerra, Karan Nayak, Rebeca López-Montes	Analysis of Ionospheric Disturbances during X-Class Solar Flares (2021-2022) Using GNSS Data and Wavelet Analysis.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
21	Manuel Fernández-Veiga, M. Estela Sousa Vieira, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Irregular repetition slotted Aloha with multiuser detection: A density evolution analysis.	Comput. Networks	2023	DBLP DOI BibTeX RDF
21	Martha Rebeca Canales-Fiscal, José Gerardo Tamez-Peña	Hybrid morphological-convolutional neural networks for computer-aided diagnosis.	Frontiers Artif. Intell.	2023	DBLP DOI BibTeX RDF
21	Essraa Gamal Mohamed, Rebeca P. Díaz Redondo, Abdelrahim Koura, Mohamed Sherif EL-Mofty, Mohammed Kayed	Dental Age Estimation Using Deep Learning: A Comparative Survey.	Comput.	2023	DBLP DOI BibTeX RDF
21	Pablo García Santaclara, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Prototype of deployment of Federated Learning with IoT devices.	CoRR	2023	DBLP DOI BibTeX RDF
21	Rebeca P. Díaz Redondo, Ana Fernández Vilas, Gabriel Fernández dos Reis	Security aspects in Smart Meters: Analysis and Prevention.	CoRR	2023	DBLP DOI BibTeX RDF
21	Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohammed Kayed	SEOpinion: Summarization and Exploration Opinion of E-Commerce Websites.	CoRR	2023	DBLP DOI BibTeX RDF
21	Arturo de Nieves Gutierrez de Rubalcava, Oscar Sanchez Piñeiro, Rebeca Moreno Jimenez, Joseph Aylett-Bullock, Azra Ismail, Sofia Kyriazi, Catherine Schneider, Fred Sekidde, Giulia del Panta, Chao Huang, Vanessa Maigné, Miguel A. Luengo-Oroz, Katherine Hoffmann Pham	Modeling Population Movements under Uncertainty at the Border in Humanitarian Crises: A Situational Analysis Tool.	CoRR	2023	DBLP DOI BibTeX RDF
21	Vedran Sekara, Márton Karsai, Esteban Moro, Dohyung Kim, Enrique Delamónica, Manuel Cebrián, Miguel A. Luengo-Oroz, Rebeca Moreno Jimenez, Manuel García-Herranz	Are machine learning technologies ready to be used for humanitarian work and development?	CoRR	2023	DBLP DOI BibTeX RDF
21	Ana Fernández Vilas, Rebeca P. Díaz Redondo, Keeley A. Crockett, Majdi Owda, Lewis Evans	Twitter Permeability to financial events: an experiment towards a model for sensing irregularities.	CoRR	2023	DBLP DOI BibTeX RDF
21	Ana Fernández Vilas, Rebeca P. Díaz Redondo, Antón Lorenzo García	The irruption of cryptocurrencies into Twitter cashtags: a classifying solution.	CoRR	2023	DBLP DOI BibTeX RDF
21	Rebeca P. Díaz Redondo, Manuel Caeiro Rodríguez, Juan José López Escobar, Ana Fernández Vilas	Integrating micro-learning content in traditional e-learning platforms.	CoRR	2023	DBLP DOI BibTeX RDF
21	Rebeca Vétil, Clément Abi Nader, Alexandre Bône, Marie-Pierre Vullierme, Marc-Michel Rohé, Pietro Gori, Isabelle Bloch	Non-Redundant Combination of Hand-Crafted and Deep Learning Radiomics: Application to the Early Detection of Pancreatic Cancer.	CoRR	2023	DBLP DOI BibTeX RDF
21	Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó	Classification of retail products: From probabilistic ranking to neural networks.	CoRR	2023	DBLP DOI BibTeX RDF
21	Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas	Unsupervised KPIs-Based Clustering of Jobs in HPC Data Centers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez, Aitor Erkoreka	Orientation-Constrained System for Lamp Detection in Buildings Based on Computer Vision.	CoRR	2023	DBLP DOI BibTeX RDF
21	Mónica Aguilar-Igartua, Florina Almenáres, Rebeca P. Díaz Redondo, Manuela I. Martín-Vicente, Jordi Forné, Celeste Campo, Ana Fernández Vilas, Luis J. de la Cruz Llopis, Carlos García-Rubio, Andrés Marín, Ahmad Mohamad Mezher, Daniel Díaz Sánchez, Héctor Cerezo-Costas, David Rebollo-Monedero, Patricia Arias, Francisco Rico-Novella	INRISCO: INcident monitoRing In Smart COmmunities.	CoRR	2023	DBLP DOI BibTeX RDF
21	Francisco Troncoso-Pastoriza, Pablo Eguía-Oller, Rebeca P. Díaz Redondo, Enrique Granada-Álvarez	Use of BIM Data as Input and Output for Improved Detection of Lighting Elements in Buildings.	CoRR	2023	DBLP DOI BibTeX RDF
21	Ángel Martín, Pablo Losada, Carolina Fernández, Mikel Zorrilla, Zaloa Fernández, Álvaro Gabilondo, Juncal Uriol, Felipe Mogollon, Mikel Serón, Michalis Dalgitsis, Roberto Viola, Luis Pérez Roca, Carlos Giraldo Rodriguez, Pablo González, Anxo Tato, Joaquín Escudero, Alvaro Vazquez, Daniel Camps-Mur, Andrés Cárdenas, Carlos Herranz, Joan Josep Aleixendri, Rebeca Iglesias, Gianluca Cernigliaro, Mario Montagud, Pau Tomàs, Sergio Gimenez	Open-VERSO: a vision of 5G experimentation infrastructures, hurdles and challenges.	CoRR	2023	DBLP DOI BibTeX RDF
21	Juan José López Escobar, Manuel Ricardo 0001, Rui Campos, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo	Resource Allocation for Dataflow Applications in FANETs using Anypath Routing.	CoRR	2023	DBLP DOI BibTeX RDF
21	Eduardo A. Soto Rodríguez, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Impact of Computer-Based Assessments on the Science's Ranks of Secondary Students.	CoRR	2023	DBLP DOI BibTeX RDF
21	Carlos Beis-Penedo, Francisco Troncoso-Pastoriza, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Manuel Fernández-Veiga, Martín González Soto	A Blockchain Solution for Collaborative Machine Learning over IoT.	CoRR	2023	DBLP DOI BibTeX RDF
21	Alhassan Mabrouk, Rebeca P. Díaz Redondo, Mohamed E. Abd Elaziz, Mohammed Kayed	Ensemble Federated Learning: an approach for collaborative pneumonia diagnosis.	CoRR	2023	DBLP DOI BibTeX RDF
21	Martín González Soto, Rebeca P. Díaz Redondo, Manuel Fernández-Veiga, Bruno Rodríguez-Castro, Ana Fernández Vilas	Decentralised and collaborative machine learning framework for IoT.	CoRR	2023	DBLP DOI BibTeX RDF
21	Manar Mohamed Hafez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Héctor Olivera Pazó	Multi-criteria recommendation systems to foster online grocery.	CoRR	2023	DBLP DOI BibTeX RDF
21	Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas	Collaboratively assessing urban alerts in ad hoc participatory sensing.	CoRR	2023	DBLP DOI BibTeX RDF
21	Rebeca P. Díaz Redondo, Ana Fernández Vilas, Mateo Ramos Merino, Sonia Valladares, Soledad Torres-Guijarro, Manar Mohamed Hafez	Anti-Sexism Alert System: Identification of Sexist Comments on Social Media Using AI Techniques.	CoRR	2023	DBLP DOI BibTeX RDF
21	Juan José López Escobar, Felipe J. Gil-Castiñeira, Rebeca P. Díaz Redondo	JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa.	CoRR	2023	DBLP DOI BibTeX RDF
21	Mohamed Soliman Halawa, Rebeca P. Díaz Redondo, Ana Fernández Vilas	KPIs-Based Clustering and Visualization of HPC jobs: a Feature Reduction Approach.	CoRR	2023	DBLP DOI BibTeX RDF
21	Rebeca P. Díaz Redondo, Carlos García-Rubio, Ana Fernández Vilas, Celeste Campo, Alicia Rodriguez-Carrion	A hybrid analysis of LBSN data to early detect anomalies in crowd dynamics.	CoRR	2023	DBLP DOI BibTeX RDF
21	Zurisaddai de la Cruz Severiche Maury, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Low-Cost HEM with Arduino and Zigbee Technologies in the Energy Sector in Colombia.	CoRR	2023	DBLP DOI BibTeX RDF
21	Manuel Fernández-Veiga, M. Estela Sousa Vieira, Ana Fernández Vilas, Rebeca P. Díaz Redondo	Irregular Repetition Slotted Aloha with Multipacket Detection: A Density Evolution Analysis.	CoRR	2023	DBLP DOI BibTeX RDF
21	Fátima Castro-Jul, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Sophie Chabridon, Denis Conan	Fog Architectures and Sensor Location Certification in Distributed Event-Based Systems.	CoRR	2023	DBLP DOI BibTeX RDF
21	Héctor Cerezo-Costas, Ana Fernández Vilas, Manuela I. Martín-Vicente, Rebeca P. Díaz Redondo	Discovering Geo-dependent Stories by Combining Density-based Clustering and Thread-based Aggregation techniques.	CoRR	2023	DBLP DOI BibTeX RDF
21	Mohammed Kayed, Rebeca P. Díaz Redondo, Alhassan Mabrouk	Deep Learning-based Sentiment Classification: A Comparative Survey.	CoRR	2023	DBLP DOI BibTeX RDF
21	Alhassan Mabrouk, Rebeca P. Díaz Redondo, Abdelghani Dahou, Mohamed E. Abd Elaziz, Mohammed Kayed	Pneumonia Detection on chest X-ray images Using Ensemble of Deep Convolutional Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
21	Carlos Balado Sánchez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Angel M. Sánchez Bermúdez	Spectrophotometers for Labs: a Cost-efficient Solution based on Smartphones.	CoRR	2023	DBLP DOI BibTeX RDF