BibTeX records: Alan Wagner

download as .bib file

@article{DBLP:journals/aim/JainJKTMRWWBSLSHH14,
  author       = {Manish Jain and
                  Albert Xin Jiang and
                  Takashi Kido and
                  Keiki Takadama and
                  Eric G. Mercer and
                  Neha Rungta and
                  Mark Waser and
                  Alan Wagner and
                  Jennifer L. Burke and
                  Donald A. Sofge and
                  William F. Lawless and
                  Mohan Sridharan and
                  Nick Hawes and
                  Tim Hwang},
  title        = {Reports of the 2014 {AAAI} Spring Symposium Series},
  journal      = {{AI} Mag.},
  volume       = {35},
  number       = {3},
  pages        = {70--76},
  year         = {2014},
  url          = {https://doi.org/10.1609/aimag.v35i3.2550},
  doi          = {10.1609/AIMAG.V35I3.2550},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/JainJKTMRWWBSLSHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/KamalW14,
  author       = {Humaira Kamal and
                  Alan Wagner},
  title        = {An integrated fine-grain runtime system for {MPI}},
  journal      = {Computing},
  volume       = {96},
  number       = {4},
  pages        = {293--309},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00607-013-0329-x},
  doi          = {10.1007/S00607-013-0329-X},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computing/KamalW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BurkeWSL14,
  author       = {Jennifer L. Burke and
                  Alan Wagner and
                  Donald A. Sofge and
                  William F. Lawless},
  title        = {Preface},
  booktitle    = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
                  USA, March 24-26, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/8053},
  timestamp    = {Wed, 14 Nov 2018 14:23:12 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BurkeWSL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/AlamKW14,
  author       = {Sarwar Alam and
                  Humaira Kamal and
                  Alan Wagner},
  editor       = {Beth Plale and
                  Matei Ripeanu and
                  Franck Cappello and
                  Dongyan Xu},
  title        = {A scalable distributed skip list for range queries},
  booktitle    = {The 23rd International Symposium on High-Performance Parallel and
                  Distributed Computing, HPDC'14, Vancouver, BC, Canada - June 23 -
                  27, 2014},
  pages        = {315--318},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2600212.2600712},
  doi          = {10.1145/2600212.2600712},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpdc/AlamKW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/AlamKW13,
  author       = {Sarwar Alam and
                  Humaira Kamal and
                  Alan Wagner},
  editor       = {Peter H. Welch and
                  Frederick R. M. Barnes and
                  Jan F. Broenink and
                  Kevin Chalmers and
                  Jan B{\ae}kgaard Pedersen and
                  Adam T. Sampson},
  title        = {Service Oriented Programming in {MPI}},
  booktitle    = {35th Communicating Process Architectures, {CPA} 2013, organised under
                  the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013},
  pages        = {93--112},
  publisher    = {Open Channel Publishing Ltd.},
  year         = {2013},
  url          = {http://wotug.org/paperdb/show\_pap.php?f=1\&\#38;num=695},
  timestamp    = {Tue, 09 Feb 2021 08:32:30 +0100},
  biburl       = {https://dblp.org/rec/conf/wotug/AlamKW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/PenoffWTR12,
  author       = {Brad Penoff and
                  Alan Wagner and
                  Michael T{\"{u}}xen and
                  Irene R{\"{u}}ngeler},
  title        = {Portable and Performant Userspace {SCTP} Stack},
  booktitle    = {21st International Conference on Computer Communications and Networks,
                  {ICCCN} 2012, Munich, Germany, July 30 - August 2, 2012},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICCCN.2012.6289222},
  doi          = {10.1109/ICCCN.2012.6289222},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/PenoffWTR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KamalW12,
  author       = {Humaira Kamal and
                  Alan Wagner},
  title        = {Added Concurrency to Improve {MPI} Performance on Multicore},
  booktitle    = {41st International Conference on Parallel Processing, {ICPP} 2012,
                  Pittsburgh, PA, USA, September 10-13, 2012},
  pages        = {229--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICPP.2012.15},
  doi          = {10.1109/ICPP.2012.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpp/KamalW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/KamalW12,
  author       = {Humaira Kamal and
                  Alan Wagner},
  editor       = {Jesper Larsson Tr{\"{a}}ff and
                  Siegfried Benkner and
                  Jack J. Dongarra},
  title        = {An Integrated Runtime Scheduler for {MPI}},
  booktitle    = {Recent Advances in the Message Passing Interface - 19th European {MPI}
                  Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7490},
  pages        = {173--182},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33518-1\_22},
  doi          = {10.1007/978-3-642-33518-1\_22},
  timestamp    = {Sun, 25 Jul 2021 11:50:18 +0200},
  biburl       = {https://dblp.org/rec/conf/pvm/KamalW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/RungelerTPW11,
  author       = {Irene R{\"{u}}ngeler and
                  Michael T{\"{u}}xen and
                  Brad Penoff and
                  Alan Wagner},
  editor       = {Jason Liu and
                  Francesco Quaglia and
                  Stephan J. Eidenbenz and
                  Stephen Gilmore},
  title        = {A new fast algorithm for connecting the {INET} simulation framework
                  to applications in real-time},
  booktitle    = {4th International {ICST} Conference on Simulation Tools and Techniques,
                  SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011},
  pages        = {75--80},
  publisher    = {{ICST/ACM}},
  year         = {2011},
  url          = {https://doi.org/10.4108/icst.simutools.2011.245506},
  doi          = {10.4108/ICST.SIMUTOOLS.2011.245506},
  timestamp    = {Wed, 11 Sep 2019 13:15:52 +0200},
  biburl       = {https://dblp.org/rec/conf/simutools/RungelerTPW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/PenoffKWTMI10,
  author       = {Brad Penoff and
                  Humaira Kamal and
                  Alan Wagner and
                  Mike Tsai and
                  Karol Mroz and
                  Janardhan R. Iyengar},
  title        = {Employing transport layer multi-railing in cluster networks},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {70},
  number       = {3},
  pages        = {259--269},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jpdc.2009.11.005},
  doi          = {10.1016/J.JPDC.2009.11.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/PenoffKWTMI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpdc/KamalMW10,
  author       = {Humaira Kamal and
                  Seyed M. Mirtaheri and
                  Alan Wagner},
  editor       = {Salim Hariri and
                  Kate Keahey},
  title        = {Scalability of communicators and groups in {MPI}},
  booktitle    = {Proceedings of the 19th {ACM} International Symposium on High Performance
                  Distributed Computing, {HPDC} 2010, Chicago, Illinois, USA, June 21-25,
                  2010},
  pages        = {264--275},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1851476.1851507},
  doi          = {10.1145/1851476.1851507},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hpdc/KamalMW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KamalW10,
  author       = {Humaira Kamal and
                  Alan Wagner},
  title        = {{FG-MPI:} Fine-grain {MPI} for multicore and clusters},
  booktitle    = {24th {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/IPDPSW.2010.5470773},
  doi          = {10.1109/IPDPSW.2010.5470773},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/KamalW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/PenoffWTR09,
  author       = {Brad Penoff and
                  Alan Wagner and
                  Michael T{\"{u}}xen and
                  Irene R{\"{u}}ngeler},
  title        = {MPI-NeTSim: {A} Network Simulation Module for {MPI}},
  booktitle    = {15th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
  pages        = {464--471},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICPADS.2009.116},
  doi          = {10.1109/ICPADS.2009.116},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/PenoffWTR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/WagnerR09,
  author       = {Alan Wagner and
                  Camilo Rostoker},
  title        = {A lightweight stream-processing library using {MPI}},
  booktitle    = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2009, Rome, Italy, May 23-29, 2009},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IPDPS.2009.5160944},
  doi          = {10.1109/IPDPS.2009.5160944},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/WagnerR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/WangRW09,
  author       = {Jieren Wang and
                  Camilo Rostoker and
                  Alan Wagner},
  title        = {A high performance pair trading application},
  booktitle    = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2009, Rome, Italy, May 23-29, 2009},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IPDPS.2009.5161147},
  doi          = {10.1109/IPDPS.2009.5161147},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/WangRW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/TsaiPW08,
  author       = {Mike Tsai and
                  Brad Penoff and
                  Alan Wagner},
  title        = {A Hybrid {MPI} design using {SCTP} and iWARP},
  booktitle    = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/IPDPS.2008.4536144},
  doi          = {10.1109/IPDPS.2008.4536144},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/TsaiPW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RostokerWH07,
  author       = {Camilo Rostoker and
                  Alan Wagner and
                  Holger H. Hoos},
  title        = {A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency
                  Stock Market Data},
  booktitle    = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/IPDPS.2007.370216},
  doi          = {10.1109/IPDPS.2007.370216},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/RostokerWH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/PenoffTIW07,
  author       = {Brad Penoff and
                  Mike Tsai and
                  Janardhan R. Iyengar and
                  Alan Wagner},
  editor       = {Franck Cappello and
                  Thomas H{\'{e}}rault and
                  Jack J. Dongarra},
  title        = {Using {CMT} in SCTP-Based {MPI} to Exploit Multiple Interfaces in
                  Cluster Nodes},
  booktitle    = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
                  14th European {PVM/MPI} User's Group Meeting, Paris, France, September
                  30 - October 3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4757},
  pages        = {204--212},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75416-9\_31},
  doi          = {10.1007/978-3-540-75416-9\_31},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/pvm/PenoffTIW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ChilsonNWZ06,
  author       = {James Chilson and
                  Raymond T. Ng and
                  Alan Wagner and
                  Ruben H. Zamar},
  title        = {Parallel Computation of High-Dimensional Robust Correlation and Covariance
                  Matrices},
  journal      = {Algorithmica},
  volume       = {45},
  number       = {3},
  pages        = {403--431},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00453-006-1219-9},
  doi          = {10.1007/S00453-006-1219-9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithmica/ChilsonNWZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KamalPTVW06,
  author       = {Humaira Kamal and
                  Brad Penoff and
                  Mike Tsai and
                  Edith Vong and
                  Alan Wagner},
  title        = {Using {SCTP} to hide latency in {MPI} programs},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639391},
  doi          = {10.1109/IPDPS.2006.1639391},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/KamalPTVW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PenoffW06,
  author       = {Brad Penoff and
                  Alan Wagner},
  title        = {Towards {MPI} progression layer elimination with {TCP} and {SCTP}},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639497},
  doi          = {10.1109/IPDPS.2006.1639497},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/PenoffW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cic/KamalPW05,
  author       = {Humaira Kamal and
                  Brad Penoff and
                  Alan Wagner},
  editor       = {Brian J. d'Auriol and
                  Hamid R. Arabnia},
  title        = {Evaluating transport level protocols for {MPI} in the Internet},
  booktitle    = {Proceedings of the 2005 International Conference on Communications
                  in Computing, {CIC} 2005, Las Vegas, Nevada, {USA}},
  pages        = {71--77},
  publisher    = {{CSREA} Press},
  year         = {2005},
  timestamp    = {Wed, 25 Jan 2006 13:43:17 +0100},
  biburl       = {https://dblp.org/rec/conf/cic/KamalPW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsr/KamalPW05,
  author       = {Humaira Kamal and
                  Brad Penoff and
                  Alan Wagner},
  title        = {SCTP-Based Middleware for {MPI} in Wide-Area Networks},
  booktitle    = {Third Annual Conference on Communication Networks and Services Research
                  {(CNSR} 2005), 16-18 May 2005, Halifax, Novia Scotia, Canada},
  pages        = {157--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CNSR.2005.56},
  doi          = {10.1109/CNSR.2005.56},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cnsr/KamalPW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/KamalPW05,
  author       = {Humaira Kamal and
                  Brad Penoff and
                  Alan Wagner},
  title        = {{SCTP} versus {TCP} for {MPI}},
  booktitle    = {Proceedings of the {ACM/IEEE} {SC2005} Conference on High Performance
                  Networking and Computing, November 12-18, 2005, Seattle, WA, USA,
                  CD-Rom},
  pages        = {30},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SC.2005.63},
  doi          = {10.1109/SC.2005.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/KamalPW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ChilsonNWZ04,
  author       = {James Chilson and
                  Raymond T. Ng and
                  Alan Wagner and
                  Ruben H. Zamar},
  editor       = {Won Kim and
                  Ron Kohavi and
                  Johannes Gehrke and
                  William DuMouchel},
  title        = {Parallel computation of high dimensional robust correlation and covariance
                  matrices},
  booktitle    = {Proceedings of the Tenth {ACM} {SIGKDD} International Conference on
                  Knowledge Discovery and Data Mining, Seattle, Washington, USA, August
                  22-25, 2004},
  pages        = {533--538},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1014052.1014115},
  doi          = {10.1145/1014052.1014115},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kdd/ChilsonNWZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/Momen-PourW00,
  author       = {Soroush Momen{-}Pour and
                  Alan Wagner},
  editor       = {Hamid R. Arabnia},
  title        = {Parallel Partitioned-Cube Algorithm},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
                  2000, Las Vegas, Nevada, {USA}},
  publisher    = {{CSREA} Press},
  year         = {2000},
  timestamp    = {Mon, 08 Dec 2003 16:35:08 +0100},
  biburl       = {https://dblp.org/rec/conf/pdpta/Momen-PourW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/Momen-PourW99,
  author       = {Soroush Momen{-}Pour and
                  Alan Wagner},
  editor       = {Hamid R. Arabnia},
  title        = {Java Threads and Monitors},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
                  1, 1999, Las Vegas, Nevada, {USA}},
  pages        = {2059--2065},
  publisher    = {{CSREA} Press},
  year         = {1999},
  timestamp    = {Tue, 20 Apr 2004 14:47:51 +0200},
  biburl       = {https://dblp.org/rec/conf/pdpta/Momen-PourW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FeldcampW95,
  author       = {David Feldcamp and
                  Alan Wagner},
  title        = {Using the Parsec environment to implement a high-performance processor
                  farm},
  booktitle    = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
                  January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages        = {212--221},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/HICSS.1995.375459},
  doi          = {10.1109/HICSS.1995.375459},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/FeldcampW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/WagnerC93,
  author       = {Alan Wagner and
                  Derek G. Corneil},
  title        = {On the Complexity of the Embedding Problem for Hypercube Related Graphs},
  journal      = {Discret. Appl. Math.},
  volume       = {43},
  number       = {1},
  pages        = {75--95},
  year         = {1993},
  url          = {https://doi.org/10.1016/0166-218X(93)90170-S},
  doi          = {10.1016/0166-218X(93)90170-S},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/WagnerC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/WagnerC90,
  author       = {Alan Wagner and
                  Derek G. Corneil},
  title        = {Embedding Trees in a Hypercube is NP-Complete},
  journal      = {{SIAM} J. Comput.},
  volume       = {19},
  number       = {3},
  pages        = {570--590},
  year         = {1990},
  url          = {https://doi.org/10.1137/0219038},
  doi          = {10.1137/0219038},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/WagnerC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/DasguptaW84,
  author       = {Subrata Dasgupta and
                  Alan Wagner},
  title        = {The use of hoare logic in the verification of horizontal microprograms},
  journal      = {Int. J. Parallel Program.},
  volume       = {13},
  number       = {6},
  pages        = {461--490},
  year         = {1984},
  url          = {https://doi.org/10.1007/BF00985823},
  doi          = {10.1007/BF00985823},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/DasguptaW84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics