|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 73 keywords
|
|
|
Results
Found 827 publication records. Showing 692 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 692 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|