Search dblp for Publications

• > Home > Search

@article{DBLP:journals/isci/Vazquez-BarreirosML15,
  author       = {Borja V{\'{a}}zquez{-}Barreiros and
                  Manuel Mucientes and
                  Manuel Lama},
  title        = {ProDiGen: Mining complete, precise and minimal structure process models
                  with a genetic algorithm},
  journal      = {Inf. Sci.},
  volume       = {294},
  pages        = {315--333},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ins.2014.09.057},
  doi          = {10.1016/J.INS.2014.09.057},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Vazquez-BarreirosML15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sLogica/Muller12,
  author       = {F. A. Muller},
  title        = {Circular Discernment in Completely Extensive Structures and How to
                  Avoid such Circles Generally},
  journal      = {Stud Logica},
  volume       = {100},
  number       = {5},
  pages        = {947--952},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11225-012-9442-7},
  doi          = {10.1007/S11225-012-9442-7},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Muller12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/trob/BohigasMR12,
  author       = {Oriol Bohigas and
                  Montserrat Manubens and
                  Llu{\'{\i}}s Ros},
  title        = {A Complete Method for Workspace Boundary Determination on General
                  Structure Manipulators},
  journal      = {{IEEE} Trans. Robotics},
  volume       = {28},
  number       = {5},
  pages        = {993--1006},
  year         = {2012},
  url          = {https://doi.org/10.1109/TRO.2012.2196311},
  doi          = {10.1109/TRO.2012.2196311},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trob/BohigasMR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/urban/LeeL09,
  author       = {Ickjai Lee and
                  Kyungmi Lee},
  title        = {A generic triangle-based data structure of the complete set of higher
                  order Voronoi diagrams for emergency management},
  journal      = {Comput. Environ. Urban Syst.},
  volume       = {33},
  number       = {2},
  pages        = {90--99},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.compenvurbsys.2009.01.002},
  doi          = {10.1016/J.COMPENVURBSYS.2009.01.002},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/urban/LeeL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tamc/Ajtai07,
  author       = {Mikl{\'{o}}s Ajtai},
  editor       = {Jin{-}yi Cai and
                  S. Barry Cooper and
                  Hong Zhu},
  title        = {Generalizations of the Compactness Theorem and G{\"{o}}del's
                  Completeness Theorem for Nonstandard Finite Structures},
  booktitle    = {Theory and Applications of Models of Computation, 4th International
                  Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4484},
  pages        = {13--33},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72504-6\_2},
  doi          = {10.1007/978-3-540-72504-6\_2},
  timestamp    = {Mon, 04 May 2020 13:17:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tamc/Ajtai07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/grec/Couasnon03,
  author       = {Bertrand Co{\"{u}}asnon},
  editor       = {Josep Llad{\'{o}}s and
                  Young{-}Bin Kwon},
  title        = {Dealing with Noise in DMOS, a Generic Method for Structured Document
                  Recognition: An Example on a Complete Grammar},
  booktitle    = {Graphics Recognition, Recent Advances and Perspectives, 5th InternationalWorkshop,
                  {GREC} 2003, Barcelona, Spain, July 30-31, 2003, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3088},
  pages        = {38--49},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25977-0\_4},
  doi          = {10.1007/978-3-540-25977-0\_4},
  timestamp    = {Tue, 19 Nov 2019 15:07:30 +0100},
  biburl       = {https://dblp.org/rec/conf/grec/Couasnon03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smc/YabukiI03,
  author       = {Taro Yabuki and
                  Hitoshi Iba},
  title        = {Turing-complete data structure for genetic programming},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  {\&} Cybernetics: Washington, D.C., USA, 5-8 October 2003},
  pages        = {3577--3582},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICSMC.2003.1244444},
  doi          = {10.1109/ICSMC.2003.1244444},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/YabukiI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/coco/Agrawal02,
  author       = {Manindra Agrawal},
  title        = {Pseudo-Random Generators and Structure of Complete Degrees},
  booktitle    = {Proceedings of the 17th Annual {IEEE} Conference on Computational
                  Complexity, Montr{\'{e}}al, Qu{\'{e}}bec, Canada, May 21-24,
                  2002},
  pages        = {139--147},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/CCC.2002.1004349},
  doi          = {10.1109/CCC.2002.1004349},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coco/Agrawal02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcamd/MandalL93,
  author       = {Chhabinath Mandal and
                  D. Scott Linthicum},
  title        = {{PROGEN:} An automated modelling algorithm for the generation of complete
                  protein structures from the alpha-carbon atomic coordinates},
  journal      = {J. Comput. Aided Mol. Des.},
  volume       = {7},
  number       = {2},
  pages        = {199--224},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF00126445},
  doi          = {10.1007/BF00126445},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcamd/MandalL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}