default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Miguel Garcia
@inproceedings{DBLP:conf/vr/GuGZMBP24,
author = {Yiyin Gu and
Miguel Garcia and
Yiqun Zhang and
Alejandra J. Magana and
Bedrich Benes and
Voicu Popescu},
title = {An {XR} Environment for {AI} Education: Design and First Implementation},
booktitle = {{IEEE} Conference on Virtual Reality and 3D User Interfaces Abstracts
and Workshops, {VR} Workshops 2024, Orlando, FL, USA, March 16-21,
2024},
pages = {157--162},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/VRW62533.2024.00032},
doi = {10.1109/VRW62533.2024.00032},
timestamp = {Tue, 04 Jun 2024 16:12:22 +0200},
biburl = {https://dblp.org/rec/conf/vr/GuGZMBP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/TobinSEGGB23,
author = {Kenneth J. Tobin and
Aaron Sanchez and
Daniela Esparza and
Miguel Garcia and
Deepak Ganta and
Marvin E. Bennett},
title = {Machine Learning Downscaling of SoilMERGE in the United States Southern
Great Plains},
journal = {Remote. Sens.},
volume = {15},
number = {21},
pages = {5120},
year = {2023},
url = {https://doi.org/10.3390/rs15215120},
doi = {10.3390/RS15215120},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/TobinSEGGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robot/UlloaGCB22,
author = {Christyan Cruz Ulloa and
Miguel Garcia and
Jaime del Cerro and
Antonio Barrientos},
editor = {Danilo Tardioli and
Vicente Matell{\'{a}}n and
Guillermo Heredia and
Manuel F. Silva and
Lino Marques},
title = {Deep Learning for Victims Detection from Virtual and Real Search and
Rescue Environments},
booktitle = {{ROBOT} 2022: Fifth Iberian Robotics Conference - Advances in Robotics,
Volume 2, Zaragoza, Spain, 23-25 November 2022},
series = {Lecture Notes in Networks and Systems},
volume = {590},
pages = {3--13},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21062-4\_1},
doi = {10.1007/978-3-031-21062-4\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/robot/UlloaGCB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/robotica/GarciaCCL21,
author = {Miguel Garcia and
Pedro Castillo and
Eduardo Campos and
Rogelio Lozano},
title = {Design, Construction, and Control for an Underwater Vehicle Type Sepiida},
journal = {Robotica},
volume = {39},
number = {5},
pages = {798--815},
year = {2021},
url = {https://doi.org/10.1017/S0263574720000739},
doi = {10.1017/S0263574720000739},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/robotica/GarciaCCL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmec/Garcia0SML20,
author = {Miguel Garcia and
Jo{\~{a}}o Rodrigues and
Joaquim Silva and
Eduardo R. B. Marques and
Lu{\'{\i}}s M. B. Lopes},
title = {Ramble: Opportunistic Crowdsourcing of User-Generated Data using Mobile
Edge Clouds},
booktitle = {Fifth International Conference on Fog and Mobile Edge Computing, {FMEC}
2020, Paris, France, April 20-23, 2020},
pages = {172--179},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FMEC49853.2020.9144881},
doi = {10.1109/FMEC49853.2020.9144881},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmec/Garcia0SML20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plans/KorbHSKWG20,
author = {Matthias Korb and
Qiuting Huang and
Philipp Stockel and
G{\"{o}}tz C. Kappen and
Benjamin Weber and
Miguel Garcia},
title = {A Cellular-Modem-Hosted Low-Cost Single-Shot Dual-Mode Assisted-GNSS
Receiver for the Internet of Things},
booktitle = {{IEEE/ION} Position, Location and Navigation Symposium, {PLANS} 2020,
Portland, OR, USA, April 20-23, 2020},
pages = {1273--1279},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/PLANS46316.2020.9110212},
doi = {10.1109/PLANS46316.2020.9110212},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plans/KorbHSKWG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/ManzanillaRGML19,
author = {Adrian Manzanilla and
Sergio Reyes and
Miguel Garcia and
Diego A. Mercado and
Rogelio Lozano},
title = {Autonomous Navigation for Unmanned Underwater Vehicles: Real-Time
Experiments Using Computer Vision},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {4},
number = {2},
pages = {1351--1356},
year = {2019},
url = {https://doi.org/10.1109/LRA.2019.2895272},
doi = {10.1109/LRA.2019.2895272},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/ManzanillaRGML19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/GarciaB019,
author = {Miguel Garcia and
Alysson Bessani and
Nuno Neves},
title = {Lazarus: Automatic Management of Diversity in {BFT} Systems},
booktitle = {Proceedings of the 20th International Middleware Conference, Middleware
2019, Davis, CA, USA, December 9-13, 2019},
pages = {241--254},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3361525.3361550},
doi = {10.1145/3361525.3361550},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/GarciaB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/GarciaNB18,
author = {Miguel Garcia and
Nuno Neves and
Alysson Bessani},
title = {SieveQ: {A} Layered {BFT} Protection System for Critical Services},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {15},
number = {3},
pages = {511--525},
year = {2018},
url = {https://doi.org/10.1109/TDSC.2016.2593442},
doi = {10.1109/TDSC.2016.2593442},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/GarciaNB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/NogueiraGB018,
author = {Andr{\'{e}} Nogueira and
Miguel Garcia and
Alysson Bessani and
Nuno Neves},
title = {On the Challenges of Building a {BFT} {SCADA}},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2018, Luxembourg City, Luxembourg, June 25-28,
2018},
pages = {163--170},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/DSN.2018.00028},
doi = {10.1109/DSN.2018.00028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/NogueiraGB018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GarciaBGNO14,
author = {Miguel Garcia and
Alysson Neves Bessani and
Ilir Gashi and
Nuno Ferreira Neves and
Rafael R. Obelheiro},
title = {Analysis of operating system diversity for intrusion tolerance},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {6},
pages = {735--770},
year = {2014},
url = {https://doi.org/10.1002/spe.2180},
doi = {10.1002/SPE.2180},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GarciaBGNO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GarciaNB13,
author = {Miguel Garcia and
Nuno Ferreira Neves and
Alysson Bessani},
title = {An intrusion-tolerant firewall design for protecting {SIEM} systems},
booktitle = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSNW.2013.6615538},
doi = {10.1109/DSNW.2013.6615538},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GarciaNB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GarciaBGNO11,
author = {Miguel Garcia and
Alysson Neves Bessani and
Ilir Gashi and
Nuno Ferreira Neves and
Rafael R. Obelheiro},
title = {{OS} diversity for intrusion tolerance: Myth or reality?},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {383--394},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958251},
doi = {10.1109/DSN.2011.5958251},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GarciaBGNO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/GarciaIS10,
author = {Miguel Garcia and
Anastasia Izmaylova and
Sibylle Schupp},
title = {Extending Scala with Database Query Capability},
journal = {J. Object Technol.},
volume = {9},
number = {4},
pages = {45--68},
year = {2010},
url = {https://doi.org/10.5381/jot.2010.9.4.a3},
doi = {10.5381/JOT.2010.9.4.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/GarciaIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoodb/Garcia09,
author = {Miguel Garcia},
editor = {Moira C. Norrie and
Michael Grossniklaus},
title = {Compiler Plugins Can Handle Nested Languages: AST-Level Expansion
of {LINQ} Queries for Java},
booktitle = {Object Databases, Second International Conference, {ICOODB} 2009,
Zurich, Switzerland, July 1-3, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5936},
pages = {41--58},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-14681-7\_3},
doi = {10.1007/978-3-642-14681-7\_3},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/icoodb/Garcia09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Garcia08,
author = {Miguel Garcia},
title = {Efficient Integrity Checking for Essential {MOF} + {OCL} in Software
Repositories},
journal = {J. Object Technol.},
volume = {7},
number = {6},
pages = {101--119},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.6.a3},
doi = {10.5381/JOT.2008.7.6.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Garcia08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsml/Garcia08,
author = {Miguel Garcia},
editor = {Dirk Fahland and
Daniel A. Sadilek and
Markus Scheidgen and
Stephan Wei{\ss}leder},
title = {Bidirectional Synchronization of Multiple Views of Software Models},
booktitle = {Proceedings of the Workshop on Domain-Specific Modeling Languages,
Berlin, Germany, March 14, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {324},
pages = {7--19},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-324/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/dsml/Garcia08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Garcia07,
author = {Miguel Garcia},
editor = {Wolf{-}Gideon Bleek and
Henning Schwentner and
Heinz Z{\"{u}}llighoven},
title = {Rules for type-checking of parametric polymorphism in {EMF} generics},
booktitle = {Software Engineering 2007 - Beitr{\"{a}}ge zu den Workshops,
Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg},
series = {{LNI}},
volume = {{P-106}},
pages = {261--270},
publisher = {{GI}},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/22715},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Garcia07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/RodriguezCPDKMG06,
author = {Armando A. Rodriguez and
Oguzhan {\c{C}}ifdal{\"{o}}z and
Mariano Phielipp and
Jeffrey J. Dickeson and
Paul M. Koziol and
David Miles and
Miguel Garcia and
Robert McCullen and
Jerald Willis and
Jose Benavides},
title = {Description of a Modeling, Simulation, Animation, and Real-Time Control
(MoSART) Environment for a Broad Class of Dynamical Systems},
booktitle = {45th {IEEE} Conference on Decision and Control, {CDC} 2006, San Diego,
CA, USA, December 13-15, 2006},
pages = {3906--3911},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/CDC.2006.377344},
doi = {10.1109/CDC.2006.377344},
timestamp = {Fri, 04 Mar 2022 13:26:30 +0100},
biburl = {https://dblp.org/rec/conf/cdc/RodriguezCPDKMG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Garcia06,
author = {Miguel Garcia},
editor = {Thomas K{\"{u}}hne},
title = {Formalizing the Well-Formedness Rules of {EJB3QL} in {UML} + {OCL}},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4364},
pages = {66--75},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69489-2\_9},
doi = {10.1007/978-3-540-69489-2\_9},
timestamp = {Wed, 23 Feb 2022 12:58:00 +0100},
biburl = {https://dblp.org/rec/conf/models/Garcia06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-10 02:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
