BibTeX records: Luis M. Alonso

download as .bib file

@inproceedings{DBLP:conf/iwann/AlonsoRR11,
  author    = {Luis M. Alonso and
               Pablo Rabanal and
               Ismael Rodr{\'{\i}}guez},
  title     = {A Preliminary General Testing Method Based on Genetic Algorithms},
  booktitle = {Advances in Computational Intelligence - 11th International Work-Conference
               on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga,
               Spain, June 8-10, 2011, Proceedings, Part {II}},
  pages     = {356--363},
  year      = {2011},
  crossref  = {DBLP:conf/iwann/2011-2},
  url       = {https://doi.org/10.1007/978-3-642-21498-1\_45},
  doi       = {10.1007/978-3-642-21498-1\_45},
  timestamp = {Tue, 23 May 2017 01:12:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/AlonsoRR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/DiazICA08,
  author    = {Oscar D{\'{\i}}az and
               Arantza Irastorza and
               Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
               Luis M. Alonso},
  title     = {From page-centric to portlet-centric Web development: Easing the transition
               using {MDD}},
  journal   = {Information {\&} Software Technology},
  volume    = {50},
  number    = {12},
  pages     = {1210--1231},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.infsof.2007.11.006},
  doi       = {10.1016/j.infsof.2007.11.006},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/DiazICA08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/Alonso93,
  author    = {Luis M. Alonso},
  title     = {Using State Variables for the Specification and Verfication of {TCSP}
               Processes},
  booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
               {PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
  pages     = {541--552},
  year      = {1993},
  crossref  = {DBLP:conf/parle/1993},
  url       = {https://doi.org/10.1007/3-540-56891-3\_43},
  doi       = {10.1007/3-540-56891-3\_43},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parle/Alonso93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PenaA93,
  author    = {Ricardo Pena and
               Luis M. Alonso},
  title     = {A Technique for Specifying and Refining {TCSP} Processes by Using
               Guards and Liveness Conditions},
  booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
               Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
  pages     = {328--342},
  year      = {1993},
  crossref  = {DBLP:conf/tapsoft/1993},
  url       = {https://doi.org/10.1007/3-540-56610-4\_74},
  doi       = {10.1007/3-540-56610-4\_74},
  timestamp = {Sat, 20 May 2017 15:32:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/PenaA93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/AlonsoP91,
  author    = {Luis M. Alonso and
               Ricardo Pena},
  title     = {Acceptance Automata: {A} Framework for Specifying and Verifying {TCSP}
               Parallel Systems},
  booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
               Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
               Proceedings},
  pages     = {75--91},
  year      = {1991},
  crossref  = {DBLP:conf/parle/1991-2},
  url       = {https://doi.org/10.1007/3-540-54152-7\_59},
  doi       = {10.1007/3-540-54152-7\_59},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parle/AlonsoP91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PenaA89,
  author    = {Ricardo Pena and
               Luis M. Alonso},
  title     = {Specification and Verification of {TCSP} Systems by Means of Partial
               Abstract Data Types},
  booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Barcelona, Spain, March 13-17,
               1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
               Development {II} and Colloquium on Current Issues in Programming Languages
               {(CCIPL)}},
  pages     = {328--344},
  year      = {1989},
  crossref  = {DBLP:conf/tapsoft/1989-2},
  url       = {https://doi.org/10.1007/3-540-50940-2\_45},
  doi       = {10.1007/3-540-50940-2\_45},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/PenaA89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwann/2011-2,
  editor    = {Joan Cabestany and
               Ignacio Rojas and
               Gonzalo Joya Caparr{\'{o}}s},
  title     = {Advances in Computational Intelligence - 11th International Work-Conference
               on Artificial Neural Networks, {IWANN} 2011, Torremolinos-M{\'{a}}laga,
               Spain, June 8-10, 2011, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6692},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21498-1},
  doi       = {10.1007/978-3-642-21498-1},
  isbn      = {978-3-642-21497-4},
  timestamp = {Tue, 23 May 2017 01:12:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwann/2011-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/parle/1993,
  editor    = {Arndt Bode and
               Mike Reeve and
               Gottfried Wolf},
  title     = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
               {PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {694},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56891-3},
  doi       = {10.1007/3-540-56891-3},
  isbn      = {3-540-56891-3},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parle/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1993,
  editor    = {Marie{-}Claude Gaudel and
               Jean{-}Pierre Jouannaud},
  title     = {TAPSOFT'93: Theory and Practice of Software Development, International
               Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {668},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56610-4},
  doi       = {10.1007/3-540-56610-4},
  isbn      = {3-540-56610-4},
  timestamp = {Sat, 20 May 2017 15:32:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/parle/1991-2,
  editor    = {Emile H. L. Aarts and
               Jan van Leeuwen and
               Martin Rem},
  title     = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
               Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {506},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54152-7},
  doi       = {10.1007/3-540-54152-7},
  isbn      = {3-540-54152-7},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/parle/1991-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1989-2,
  editor    = {Josep D{\'{\i}}az and
               Fernando Orejas},
  title     = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Barcelona, Spain, March 13-17,
               1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
               Development {II} and Colloquium on Current Issues in Programming Languages
               {(CCIPL)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {352},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-50940-2},
  doi       = {10.1007/3-540-50940-2},
  isbn      = {3-540-50940-2},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1989-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier