Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- José Meseguer 0001
University of Illinois Urbana-Champaign, Thomas Siebel Center for Computer Science, Urbana-Champaign, IL, USA
Likely matches
- José M. Meseguer-Dueñas
Technical University of Valencia, Department of Applied Physics, Spain - José Antonio Marín Meseguer
- José Jaime Meseguer Navarro
University of Murcia, Faculty of Computer Science, Spain - María José Lloris Meseguer
Spanish Patent and Trademark Office (OEPM), Madrid, Spain
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 483 matches
- 2024
- Carlos Paúl Bernal Oñate, Enrique V. Carrera, Francisco Manuel Melgarejo-Meseguer, Rodolfo Gordillo-Orquera, José Luis Rojo-Álvarez, Román A. Lara-Cueva:
Volcanic Micro-Earthquake Classification With Spectral Manifolds in Low-Dimensional Latent Spaces. IEEE Access 12: 20624-20636 (2024) - Francisco Manuel Melgarejo-Meseguer, Andrés Lorenzo Bleda, Sergio Eduardo Abbenante, Francisco Javier Gimeno-Blanes, Estrella Everss-Villalba, Sergio Muñoz-Romero, José Luis Rojo-Álvarez, Rafael Maestre-Ferriz:
Anomaly Detection From Low-Dimensional Latent Manifolds With Home Environmental Sensors. IEEE Internet Things J. 11(8): 13411-13423 (2024) - Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo:
The Maude strategy language. CoRR abs/2402.00275 (2024) - 2023
- Carlos Paúl Bernal Oñate, Enrique V. Carrera, Francisco Manuel Melgarejo-Meseguer, Rodolfo Gordillo-Orquera, Arcadio García-Alberola, José Luis Rojo-Álvarez:
Atrial Fibrillation Detection With Spectral Manifolds in Low-Dimensional Latent Spaces. IEEE Access 11: 103364-103376 (2023) - Roberto O. Chávez, Oliver Meseguer-Ruiz, Matías Olea, Matías Calderón-Seguel, Karina Yager, Rosa Isela Meneses, José A. Lastra, Ignacio Núñez-Hidalgo, Pablo Sarricolea, Roberto Serrano-Notivoli, Manuel Prieto:
Andean peatlands at risk? Spatiotemporal patterns of extreme NDVI anomalies, water extraction and drought severity in a large-scale mining area of Atacama, northern Chile. Int. J. Appl. Earth Obs. Geoinformation 116: 103138 (2023) - Laura Martinez-Mateu, Francisco Manuel Melgarejo-Meseguer, Sergio Muñoz-Romero, Francisco Javier Gimeno-Blanes, Arcadi García-Alberola, Sara Rocher Ventura, Javier Saiz, José Luis Rojo-Álvarez:
Manifold analysis of the P-wave changes induced by pulmonary vein isolation during cryoballoon procedure. Comput. Biol. Medicine 155: 106655 (2023) - Steven Eker, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Alberto Verdejo:
The Maude strategy language. J. Log. Algebraic Methods Program. 134: 100887 (2023) - José Meseguer:
Variants and satisfiability in the infinitary unification wonderland. J. Log. Algebraic Methods Program. 134: 100877 (2023) - Carlos Paúl Bernal Oñate, Francisco Manuel Melgarejo-Meseguer, Enrique V. Carrera, Juan José Sánchez-Muñoz, Arcadio García-Alberola, José Luis Rojo-Álvarez:
Different Ventricular Fibrillation Types in Low-Dimensional Latent Spaces. Sensors 23(5): 2527 (2023) - María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña:
Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 21-50 - Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 307-350 - Enrique Feito-Casares, Francisco Manuel Melgarejo-Meseguer, Arcadi García-Alberola, José Luis Rojo-Álvarez:
Improved Machine Learning Strategies and Algorithms for Transmembrane Potential Estimation in Homogeneous Medium. CinC 2023: 1-4 - Roberto Mateos-Gaitán, Antonio Gil-Izquierdo, Francisco Javier Gimeno-Blanes, Francisco Manuel Melgarejo-Meseguer, Carmen Muñoz-Esparza, José Luis Rojo-Álvarez, Arcadi García-Alberola, Juan José Sánchez-Muñoz:
Signal Processing and Machine Learning Automated Evaluation of Phrenic Nerve Affectation by Cardiac Stimulation. CinC 2023: 1-4 - Francisco Manuel Melgarejo-Meseguer, Román A. Lara-Cueva, Francisco Javier Gimeno-Blanes, Sergio Muñoz-Romero, Arcadi García-Alberola, Juan José Sánchez-Muñoz, Omer Berenfeld, José Luis Rojo-Álvarez:
Multicomponent Organization Analysis in Spatial Domains of Atrial Fibrillation. CinC 2023: 1-4 - E Sanchez-Carballo, Francisco Manuel Melgarejo-Meseguer, José Luis Rojo-Álvarez, Arcadio García-Alberola, Y. Rudy:
Single Reference Segmentation to Estimate T-Wave Alternans. CinC 2023: 1-4 - D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Protocol Dialects as Formal Patterns. ESORICS (2) 2023: 42-61 - 2022
- María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña:
Order-sorted equational generalization algorithm revisited. Ann. Math. Artif. Intell. 90(5): 499-522 (2022) - Rocío del Amor, Pablo Meseguer, Tommaso Lorenzo Parigi, Vincenzo Villanacci, Adrián Colomer, Laëtitia Launet, Alina Bazarova, Gian Eugenio Tontini, Raf Bisschops, Gert de Hertogh, Jose G. Ferraz, Martin Götz, Xianyong Gui, Bu'Hussain Hayee, Mark Lazarev, Remo Panaccione, Adolfo Parra-Blanco, Pradeep Bhandari, Luca Pastorelli, Timo Rath, Elin Synnøve Røyset, Michael Vieth, Davide Zardo, Enrico Grisan, Subrata Ghosh, Marietta Iacucci, Valery Naranjo:
Constrained multiple instance learning for ulcerative colitis prediction using histological images. Comput. Methods Programs Biomed. 224: 107012 (2022) - Si Liu, José Meseguer, Peter Csaba Ölveczky, Min Zhang, David A. Basin:
Bridging the semantic gap between qualitative and quantitative models of distributed systems. Proc. ACM Program. Lang. 6(OOPSLA2): 315-344 (2022) - José Mariano Finochietto, Matias J. Micheletto, Gabriel M. Eggly, Roger Pueyo Centelles, Rodrigo M. Santos, Sergio F. Ochoa, Roc Meseguer, Javier Orozco:
An IoT-based infrastructure to enhance self-evacuations in natural hazardous events. Pers. Ubiquitous Comput. 26(6): 1461-1478 (2022) - Mariano Finochietto, Rodrigo M. Santos, Sergio F. Ochoa, Roc Meseguer:
Reducing Operational Expenses of LoRaWAN-Based Internet of Remote Things Applications. Sensors 22(20): 7778 (2022) - Francisco Manuel Melgarejo-Meseguer, Estrella Everss-Villalba, Miriam Gutiérrez-Fernández-Calvillo, Sergio Muñoz-Romero, Francisco Javier Gimeno-Blanes, Arcadi García-Alberola, José Luis Rojo-Álvarez:
Generalization and Regularization for Inverse Cardiac Estimators. IEEE Trans. Biomed. Eng. 69(10): 3029-3038 (2022) - José Meseguer:
Building Correct-by-Construction Systems with Formal Patterns. WADT 2022: 3-24 - Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540 - Rachel M. Bittner, Juan José Bosch, David Rubinstein, Gabriel Meseguer-Brocal, Sebastian Ewert:
A Lightweight Instrument-Agnostic Model for Polyphonic Note Transcription and Multipitch Estimation. ICASSP 2022: 781-785 - Raúl López-Rueda, Santiago Escobar, José Meseguer:
An Efficient Canonical Narrowing Implementation for Protocol Analysis. WRLA@ETAPS 2022: 151-170 - José Meseguer:
Checking Sufficient Completeness by Inductive Theorem Proving. WRLA@ETAPS 2022: 171-190 - José Meseguer, Stephen Skeirik:
On Ground Convergence and Completeness of Conditional Equational Program Hierarchies. WRLA@ETAPS 2022: 191-211 - Rachel M. Bittner, Juan José Bosch, David Rubinstein, Gabriel Meseguer-Brocal, Sebastian Ewert:
A Lightweight Instrument-Agnostic Model for Polyphonic Note Transcription and Multipitch Estimation. CoRR abs/2203.09893 (2022) - 2021
- Antonio Lloris Ruiz, Encarnación Castillo Morales, Luís Parrilla Roure, Antonio García Ríos, María José Lloris Meseguer:
Arithmetic and Algebraic Circuits. Intelligent Systems Reference Library 201, Springer 2021, ISBN 978-3-030-67265-2, pp. 1-565
skipping 453 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-27 17:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint