Search dblp for Publications

export results for "Frank Imeson"

 download as .bib file

@article{DBLP:journals/trob/RameshIFS24,
  author       = {Megnath Ramesh and
                  Frank Imeson and
                  Baris Fidan and
                  Stephen L. Smith},
  title        = {Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {40},
  pages        = {4190--4206},
  year         = {2024},
  url          = {https://doi.org/10.1109/TRO.2024.3454417},
  doi          = {10.1109/TRO.2024.3454417},
  timestamp    = {Thu, 03 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trob/RameshIFS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2409-03120,
  author       = {Megnath Ramesh and
                  Frank Imeson and
                  Baris Fidan and
                  Stephen L. Smith},
  title        = {Approximate Environment Decompositions for Robot Coverage Planning
                  using Submodular Set Cover},
  journal      = {CoRR},
  volume       = {abs/2409.03120},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2409.03120},
  doi          = {10.48550/ARXIV.2409.03120},
  eprinttype    = {arXiv},
  eprint       = {2409.03120},
  timestamp    = {Wed, 09 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2409-03120.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-17837,
  author       = {Megnath Ramesh and
                  Frank Imeson and
                  Baris Fidan and
                  Stephen L. Smith},
  title        = {Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments},
  journal      = {CoRR},
  volume       = {abs/2311.17837},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.17837},
  doi          = {10.48550/ARXIV.2311.17837},
  eprinttype    = {arXiv},
  eprint       = {2311.17837},
  timestamp    = {Tue, 05 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-17837.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/RameshIFS22,
  author       = {Megnath Ramesh and
                  Frank Imeson and
                  Baris Fidan and
                  Stephen L. Smith},
  title        = {Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage
                  Planning},
  journal      = {{IEEE} Robotics Autom. Lett.},
  volume       = {7},
  number       = {4},
  pages        = {9731--9738},
  year         = {2022},
  url          = {https://doi.org/10.1109/LRA.2022.3191939},
  doi          = {10.1109/LRA.2022.3191939},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ral/RameshIFS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08185,
  author       = {Megnath Ramesh and
                  Frank Imeson and
                  Baris Fidan and
                  Stephen L. Smith},
  title        = {Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage
                  Planning},
  journal      = {CoRR},
  volume       = {abs/2109.08185},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.08185},
  eprinttype    = {arXiv},
  eprint       = {2109.08185},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-08185.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/ImesonS19,
  author       = {Frank Imeson and
                  Stephen L. Smith},
  title        = {An SMT-Based Approach to Motion Planning for Multiple Robots With
                  Complex Constraints},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {35},
  number       = {3},
  pages        = {669--684},
  year         = {2019},
  url          = {https://doi.org/10.1109/TRO.2019.2896401},
  doi          = {10.1109/TRO.2019.2896401},
  timestamp    = {Fri, 05 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trob/ImesonS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Imeson18,
  author       = {Frank Imeson},
  title        = {Robotic Path Planning for High-Level Tasks in Discrete Environments},
  school       = {University of Waterloo, Ontario, Canada},
  year         = {2018},
  url          = {https://hdl.handle.net/10012/13082},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Imeson18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/SmithI17,
  author       = {Stephen L. Smith and
                  Frank Imeson},
  title        = {{GLNS:} An effective large neighborhood search heuristic for the Generalized
                  Traveling Salesman Problem},
  journal      = {Comput. Oper. Res.},
  volume       = {87},
  pages        = {1--19},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.cor.2017.05.010},
  doi          = {10.1016/J.COR.2017.05.010},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cor/SmithI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ImesonS17,
  author       = {Frank Imeson and
                  Stephen L. Smith},
  title        = {Clustering in discrete path planning for approximating minimum length
                  paths},
  booktitle    = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
                  24-26, 2017},
  pages        = {2968--2973},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/ACC.2017.7963402},
  doi          = {10.23919/ACC.2017.7963402},
  timestamp    = {Fri, 03 Dec 2021 13:04:31 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/ImesonS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/MassadIGT17,
  author       = {Mohamed El Massad and
                  Frank Imeson and
                  Siddharth Garg and
                  Mahesh Tripunitara},
  editor       = {Laleh Behjat and
                  Jie Han and
                  Miroslav N. Velev and
                  Deming Chen},
  title        = {The Need for Declarative Properties in Digital {IC} Security},
  booktitle    = {Proceedings of the on Great Lakes Symposium on {VLSI} 2017, Banff,
                  AB, Canada, May 10-12, 2017},
  pages        = {333--338},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3060403.3066870},
  doi          = {10.1145/3060403.3066870},
  timestamp    = {Tue, 06 Nov 2018 16:59:34 +0100},
  biburl       = {https://dblp.org/rec/conf/glvlsi/MassadIGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ImesonS17,
  author       = {Frank Imeson and
                  Stephen L. Smith},
  title        = {Clustering in Discrete Path Planning for Approximating Minimum Length
                  Paths},
  journal      = {CoRR},
  volume       = {abs/1702.08410},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.08410},
  eprinttype    = {arXiv},
  eprint       = {1702.08410},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ImesonS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woot/ImesonNGT16,
  author       = {Frank Imeson and
                  Saeed Nejati and
                  Siddharth Garg and
                  Mahesh V. Tripunitara},
  editor       = {Natalie Silvanovich and
                  Patrick Traynor},
  title        = {Non-Deterministic Timers for Hardware Trojan Activation (or How a
                  Little Randomness Can Go the Wrong Way)},
  booktitle    = {10th {USENIX} Workshop on Offensive Technologies, {WOOT} 16, Austin,
                  TX, USA, August 8-9, 2016},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/woot16/workshop-program/presentation/imeson},
  timestamp    = {Mon, 01 Feb 2021 08:41:54 +0100},
  biburl       = {https://dblp.org/rec/conf/woot/ImesonNGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ImesonS15,
  author       = {Frank Imeson and
                  Stephen L. Smith},
  title        = {Multi-robot task planning and sequencing using the {SAT-TSP} language},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2015, Seattle, WA, USA, 26-30 May, 2015},
  pages        = {5397--5402},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICRA.2015.7139953},
  doi          = {10.1109/ICRA.2015.7139953},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ImesonS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ImesonS14,
  author       = {Frank Imeson and
                  Stephen L. Smith},
  title        = {A language for robot path planning in discrete environments: The {TSP}
                  with Boolean satisfiability constraints},
  booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2014, Hong Kong, China, May 31 - June 7, 2014},
  pages        = {5772--5777},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICRA.2014.6907707},
  doi          = {10.1109/ICRA.2014.6907707},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ImesonS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/ImesonEGT13,
  author       = {Frank Imeson and
                  Ariq Emtenan and
                  Siddharth Garg and
                  Mahesh V. Tripunitara},
  editor       = {Samuel T. King},
  title        = {Securing Computer Hardware Using 3D Integrated Circuit {(IC)} Technology
                  and Split Manufacturing for Obfuscation},
  booktitle    = {Proceedings of the 22th {USENIX} Security Symposium, Washington, DC,
                  USA, August 14-16, 2013},
  pages        = {495--510},
  publisher    = {{USENIX} Association},
  year         = {2013},
  url          = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/imeson},
  timestamp    = {Mon, 01 Feb 2021 08:42:56 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/ImesonEGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}