BibTeX records: Linda Brodo

download as .bib file

@article{DBLP:journals/mscs/Brodo18,
  author    = {Linda Brodo},
  title     = {On the expressiveness of {\(\pi\)}-calculus for encoding mobile ambients},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {28},
  number    = {2},
  pages     = {202--240},
  year      = {2018},
  url       = {https://doi.org/10.1017/S0960129516000256},
  doi       = {10.1017/S0960129516000256},
  timestamp = {Tue, 30 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mscs/Brodo18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/BerniniBDFH18,
  author    = {Andrea Bernini and
               Linda Brodo and
               Pierpaolo Degano and
               Moreno Falaschi and
               Diana Hermith},
  title     = {Process calculi for biological processes},
  journal   = {Natural Computing},
  volume    = {17},
  number    = {2},
  pages     = {345--373},
  year      = {2018},
  url       = {https://doi.org/10.1007/s11047-018-9673-2},
  doi       = {10.1007/s11047-018-9673-2},
  timestamp = {Thu, 17 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/nc/BerniniBDFH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03002,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberto Bruni},
  title     = {A Formal Approach to Open Multiparty Interactions},
  journal   = {CoRR},
  volume    = {abs/1807.03002},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.03002},
  archivePrefix = {arXiv},
  eprint    = {1807.03002},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-03002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BodeiBGLBH17,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberta Gori and
               Francesca Levi and
               Antonio Bernini and
               Diana Hermith},
  title     = {A static analysis for Brane Calculi providing global occurrence counting
               information},
  journal   = {Theor. Comput. Sci.},
  volume    = {696},
  pages     = {11--51},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.07.008},
  doi       = {10.1016/j.tcs.2017.07.008},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/BodeiBGLBH17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BrodoO17,
  author    = {Linda Brodo and
               Carlos Olarte},
  title     = {Symbolic Semantics for Multiparty Interactions in the Link-Calculus},
  booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  pages     = {62--75},
  year      = {2017},
  crossref  = {DBLP:conf/sofsem/2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0\_6},
  doi       = {10.1007/978-3-319-51963-0\_6},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/BrodoO17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodeiBF15,
  author    = {Chiara Bodei and
               Linda Brodo and
               Riccardo Focardi},
  title     = {Static Evidences for Attack Reconstruction},
  booktitle = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  pages     = {162--182},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015degano},
  url       = {https://doi.org/10.1007/978-3-319-25527-9\_12},
  doi       = {10.1007/978-3-319-25527-9\_12},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BodeiBF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BodeiBGHL15,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberta Gori and
               Diana Hermith and
               Francesca Levi},
  title     = {A Global Occurrence Counting Analysis for Brane Calculi},
  booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
               Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
               Selected Papers},
  pages     = {179--200},
  year      = {2015},
  crossref  = {DBLP:conf/lopstr/2015},
  url       = {https://doi.org/10.1007/978-3-319-27436-2\_11},
  doi       = {10.1007/978-3-319-27436-2\_11},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/BodeiBGHL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BodeiBBC14,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberto Bruni and
               Davide Chiarugi},
  title     = {A Flat Process Calculus for Nested Membrane Interactions},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {24},
  number    = {1},
  pages     = {91--136},
  year      = {2014},
  url       = {https://doi.org/10.7561/SACS.2014.1.91},
  doi       = {10.7561/SACS.2014.1.91},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cuza/BodeiBBC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BodeiBC12,
  author    = {Chiara Bodei and
               Linda Brodo and
               Davide Chiarugi},
  title     = {Control Flow Analysis of Generalised Boolean Networks},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {284},
  pages     = {3--22},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.entcs.2012.05.012},
  doi       = {10.1016/j.entcs.2012.05.012},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BodeiBC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BodeiBB12,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberto Bruni},
  title     = {Open Multiparty Interaction},
  booktitle = {Recent Trends in Algebraic Development Techniques, 21st International
               Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
               Selected Papers},
  pages     = {1--23},
  year      = {2012},
  crossref  = {DBLP:conf/wadt/2012},
  url       = {https://doi.org/10.1007/978-3-642-37635-1\_1},
  doi       = {10.1007/978-3-642-37635-1\_1},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/BodeiBB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-3429,
  author    = {Chiara Bodei and
               Linda Brodo},
  title     = {Brane Calculi Systems: {A} Static Preview of their Possible Behaviour},
  journal   = {CoRR},
  volume    = {abs/1108.3429},
  year      = {2011},
  url       = {http://arxiv.org/abs/1108.3429},
  archivePrefix = {arXiv},
  eprint    = {1108.3429},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-3429},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BodeiBDG10,
  author    = {Chiara Bodei and
               Linda Brodo and
               Pierpaolo Degano and
               Han Gao},
  title     = {Detecting and preventing type flaws at static time},
  journal   = {Journal of Computer Security},
  volume    = {18},
  number    = {2},
  pages     = {229--264},
  year      = {2010},
  url       = {https://doi.org/10.3233/JCS-2010-0361},
  doi       = {10.3233/JCS-2010-0361},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcs/BodeiBDG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/Ortega-GarciaFAGFGGAGMGALDKBPDNFHHTBRDGSPFAS10,
  author    = {Javier Ortega{-}Garcia and
               Julian Fi{\'{e}}rrez and
               Fernando Alonso{-}Fernandez and
               Javier Galbally and
               Manuel R. Freire and
               Joaquin Gonzalez{-}Rodriguez and
               Carmen Garc{\'{\i}}a{-}Mateo and
               Jos{\'{e}} Luis Alba{-}Castro and
               Elisardo Gonz{\'{a}}lez{-}Agulla and
               Enrique Otero Muras and
               Sonia Garcia{-}Salicetti and
               Lor{\`{e}}ne Allano and
               Van{-}Bao Ly and
               Bernadette Dorizzi and
               Josef Kittler and
               Thirimachos Bourlai and
               Norman Poh and
               Farzin Deravi and
               Ming W. R. Ng and
               Michael C. Fairhurst and
               Jean Hennebert and
               Andreas Humm and
               Massimo Tistarelli and
               Linda Brodo and
               Jonas Richiardi and
               Andrzej Drygajlo and
               Harald Ganster and
               Federico Sukno and
               Sri{-}Kaushik Pavani and
               Alejandro F. Frangi and
               Lale Akarun and
               Arman Savran},
  title     = {The Multiscenario Multienvironment BioSecure Multimodal Database {(BMDB)}},
  journal   = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume    = {32},
  number    = {6},
  pages     = {1097--1111},
  year      = {2010},
  url       = {https://doi.org/10.1109/TPAMI.2009.76},
  doi       = {10.1109/TPAMI.2009.76},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pami/Ortega-GarciaFAGFGGAGMGALDKBPDNFHHTBRDGSPFAS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Brodo10,
  author    = {Linda Brodo},
  title     = {On the Expressiveness of the \emph{pi}-Calculus and the Mobile Ambients},
  booktitle = {Algebraic Methodology and Software Technology - 13th International
               Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
               Revised Selected Papers},
  pages     = {44--59},
  year      = {2010},
  crossref  = {DBLP:conf/amast/2010},
  url       = {https://doi.org/10.1007/978-3-642-17796-5\_3},
  doi       = {10.1007/978-3-642-17796-5\_3},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/Brodo10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/OrtegaBBT09,
  author    = {Marcos Ortega and
               Linda Brodo and
               Manuele Bicego and
               Massimo Tistarelli},
  title     = {Measuring changes in face appearance through aging},
  booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
               Workshops 2009, Miami, FL, USA, 20-25 June, 2009},
  pages     = {107--113},
  year      = {2009},
  crossref  = {DBLP:conf/cvpr/2009w},
  url       = {https://doi.org/10.1109/CVPRW.2009.5204302},
  doi       = {10.1109/CVPRW.2009.5204302},
  timestamp = {Wed, 20 Jun 2018 17:16:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cvpr/OrtegaBBT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/OrtegaBBT09,
  author    = {Marcos Ortega and
               Linda Brodo and
               Manuele Bicego and
               Massimo Tistarelli},
  title     = {On the Quantitative Estimation of Short-Term Aging in Human Faces},
  booktitle = {Image Analysis and Processing - {ICIAP} 2009, 15th International Conference
               Vietri sul Mare, Italy, September 8-11, 2009, Proceedings},
  pages     = {575--584},
  year      = {2009},
  crossref  = {DBLP:conf/iciap/2009},
  url       = {https://doi.org/10.1007/978-3-642-04146-4\_62},
  doi       = {10.1007/978-3-642-04146-4\_62},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciap/OrtegaBBT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/BodeiBB09,
  author    = {Chiara Bodei and
               Linda Brodo and
               Roberto Bruni},
  title     = {Static Detection of Logic Flaws in Service-Oriented Applications},
  booktitle = {Foundations and Applications of Security Analysis, Joint Workshop
               on Automated Reasoning for Security Protocol Analysis and Issues in
               the Theory of Security, {ARSPA-WITS} 2009, York, UK, March 28-29,
               2009, Revised Selected Papers},
  pages     = {70--87},
  year      = {2009},
  crossref  = {DBLP:conf/ifip1-7/2009wits},
  url       = {https://doi.org/10.1007/978-3-642-03459-6\_5},
  doi       = {10.1007/978-3-642-03459-6\_5},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip1-7/BodeiBB09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tap/BicegoGLBBT08,
  author    = {Manuele Bicego and
               Enrico Grosso and
               Andrea Lagorio and
               Gavin Brelstaff and
               Linda Brodo and
               Massimo Tistarelli},
  title     = {Distinctiveness of faces: {A} computational approach},
  journal   = {{TAP}},
  volume    = {5},
  number    = {2},
  pages     = {11:1--11:18},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1279920.1279925},
  doi       = {10.1145/1279920.1279925},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tap/BicegoGLBBT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BodeiDGB07,
  author    = {Chiara Bodei and
               Pierpaolo Degano and
               Han Gao and
               Linda Brodo},
  title     = {Detecting and Preventing Type flaws: a Control Flow Analysis with
               Tags},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {194},
  number    = {1},
  pages     = {3--22},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.09.010},
  doi       = {10.1016/j.entcs.2007.09.010},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BodeiDGB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/BaldanBBB07,
  author    = {Paolo Baldan and
               Andrea Bracciali and
               Linda Brodo and
               Roberto Bruni},
  title     = {Deducing Interactions in Partially Unspecified Biological Systems},
  booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
               of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  pages     = {262--276},
  year      = {2007},
  crossref  = {DBLP:conf/ab/2007},
  url       = {https://doi.org/10.1007/978-3-540-73433-8\_19},
  doi       = {10.1007/978-3-540-73433-8\_19},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ab/BaldanBBB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bvai/TistarelliBLB07,
  author    = {Massimo Tistarelli and
               Linda Brodo and
               Andrea Lagorio and
               Manuele Bicego},
  title     = {Recognition of Human Faces: From Biological to Artificial Vision},
  booktitle = {Advances in Brain, Vision, and Artificial Intelligence, Second International
               Symposium, {BVAI} 2007, Naples, Italy, October 10-12, 2007, Proceedings},
  pages     = {191--213},
  year      = {2007},
  crossref  = {DBLP:conf/bvai/2007},
  url       = {https://doi.org/10.1007/978-3-540-75555-5\_19},
  doi       = {10.1007/978-3-540-75555-5\_19},
  timestamp = {Sun, 04 Jun 2017 10:07:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bvai/TistarelliBLB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/BrodoDP07,
  author    = {Linda Brodo and
               Pierpaolo Degano and
               Corrado Priami},
  title     = {A Stochastic Semantics for BioAmbients},
  booktitle = {Parallel Computing Technologies, 9th International Conference, PaCT
               2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings},
  pages     = {22--34},
  year      = {2007},
  crossref  = {DBLP:conf/pact/2007},
  url       = {https://doi.org/10.1007/978-3-540-73940-1\_3},
  doi       = {10.1007/978-3-540-73940-1\_3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pact/BrodoDP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/CurtiPB05,
  author    = {Michele Curti and
               Davide Prandi and
               Linda Brodo},
  title     = {Formal Executable Descriptions of Biological Systems},
  booktitle = {Second International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
  pages     = {2--12},
  year      = {2005},
  crossref  = {DBLP:conf/qest/2005},
  url       = {https://doi.org/10.1109/QEST.2005.13},
  doi       = {10.1109/QEST.2005.13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/CurtiPB05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BrodoDP03,
  author    = {Linda Brodo and
               Pierpaolo Degano and
               Corrado Priami},
  title     = {Reflecting Mobile Ambients into the p-Calculus},
  booktitle = {Global Computing. Programming Environments, Languages, Security, and
               Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
               Rovereto, Italy, February 9-14, 2003, Revised Papers},
  pages     = {25--56},
  year      = {2003},
  crossref  = {DBLP:conf/global/2003},
  url       = {https://doi.org/10.1007/978-3-540-40042-4\_2},
  doi       = {10.1007/978-3-540-40042-4\_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/global/BrodoDP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/global/BrodoDGHP03,
  author    = {Linda Brodo and
               Pierpaolo Degano and
               Stephen Gilmore and
               Jane Hillston and
               Corrado Priami},
  title     = {Performance Evaluation for Global Computation},
  booktitle = {Global Computing. Programming Environments, Languages, Security, and
               Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
               Rovereto, Italy, February 9-14, 2003, Revised Papers},
  pages     = {229--253},
  year      = {2003},
  crossref  = {DBLP:conf/global/2003},
  url       = {https://doi.org/10.1007/978-3-540-40042-4\_8},
  doi       = {10.1007/978-3-540-40042-4\_8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/global/BrodoDGHP03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrodoDP00,
  author    = {Linda Brodo and
               Pierpaolo Degano and
               Corrado Priami},
  title     = {A tool for quantitative analysis of calculus processes},
  booktitle = {{ICALP} Satellite Workshops},
  pages     = {535--550},
  year      = {2000},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/BrodoDP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2017,
  editor    = {Bernhard Steffen and
               Christel Baier and
               Mark van den Brand and
               Johann Eder and
               Mike Hinchey and
               Tiziana Margaria},
  title     = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
               Conference on Current Trends in Theory and Practice of Computer Science,
               Limerick, Ireland, January 16-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10139},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-51963-0},
  doi       = {10.1007/978-3-319-51963-0},
  isbn      = {978-3-319-51962-3},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015degano,
  editor    = {Chiara Bodei and
               Gian Luigi Ferrari and
               Corrado Priami},
  title     = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9465},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25527-9},
  doi       = {10.1007/978-3-319-25527-9},
  isbn      = {978-3-319-25526-2},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2015degano},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2015,
  editor    = {Moreno Falaschi},
  title     = {Logic-Based Program Synthesis and Transformation - 25th International
               Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9527},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-27436-2},
  doi       = {10.1007/978-3-319-27436-2},
  isbn      = {978-3-319-27435-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wadt/2012,
  editor    = {Narciso Mart{\'{\i}}{-}Oliet and
               Miguel Palomino},
  title     = {Recent Trends in Algebraic Development Techniques, 21st International
               Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7841},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37635-1},
  doi       = {10.1007/978-3-642-37635-1},
  isbn      = {978-3-642-37634-4},
  timestamp = {Sun, 21 May 2017 00:18:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wadt/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2010,
  editor    = {Michael Johnson and
               Dusko Pavlovic},
  title     = {Algebraic Methodology and Software Technology - 13th International
               Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6486},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-17796-5},
  doi       = {10.1007/978-3-642-17796-5},
  isbn      = {978-3-642-17795-8},
  timestamp = {Fri, 26 May 2017 00:49:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/amast/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cvpr/2009w,
  title     = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
               Workshops 2009, Miami, FL, USA, 20-25 June, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5191364},
  isbn      = {978-1-4244-3994-2},
  timestamp = {Wed, 20 Jun 2018 17:16:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cvpr/2009w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciap/2009,
  editor    = {Pasquale Foggia and
               Carlo Sansone and
               Mario Vento},
  title     = {Image Analysis and Processing - {ICIAP} 2009, 15th International Conference
               Vietri sul Mare, Italy, September 8-11, 2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5716},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04146-4},
  doi       = {10.1007/978-3-642-04146-4},
  isbn      = {978-3-642-04145-7},
  timestamp = {Sun, 04 Jun 2017 10:10:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iciap/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip1-7/2009wits,
  editor    = {Pierpaolo Degano and
               Luca Vigan{\`{o}}},
  title     = {Foundations and Applications of Security Analysis, Joint Workshop
               on Automated Reasoning for Security Protocol Analysis and Issues in
               the Theory of Security, {ARSPA-WITS} 2009, York, UK, March 28-29,
               2009, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5511},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03459-6},
  doi       = {10.1007/978-3-642-03459-6},
  isbn      = {978-3-642-03458-9},
  timestamp = {Fri, 19 May 2017 01:26:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip1-7/2009wits},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ab/2007,
  editor    = {Hirokazu Anai and
               Katsuhisa Horimoto and
               Temur Kutsia},
  title     = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
               of Hagenberg, Austria, July 2-4, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4545},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73433-8},
  doi       = {10.1007/978-3-540-73433-8},
  isbn      = {978-3-540-73432-1},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ab/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bvai/2007,
  editor    = {Francesco Mele and
               Giuliana Ramella and
               Silvia Santillo and
               Francesco Ventriglia},
  title     = {Advances in Brain, Vision, and Artificial Intelligence, Second International
               Symposium, {BVAI} 2007, Naples, Italy, October 10-12, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4729},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75555-5},
  doi       = {10.1007/978-3-540-75555-5},
  isbn      = {978-3-540-75554-8},
  timestamp = {Sun, 04 Jun 2017 10:07:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/bvai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pact/2007,
  editor    = {Victor E. Malyshkin},
  title     = {Parallel Computing Technologies, 9th International Conference, PaCT
               2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4671},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73940-1},
  doi       = {10.1007/978-3-540-73940-1},
  isbn      = {978-3-540-73939-5},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pact/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qest/2005,
  title     = {Second International Conference on the Quantitative Evaluaiton of
               Systems {(QEST} 2005), 19-22 September 2005, Torino, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10638},
  isbn      = {0-7695-2427-3},
  timestamp = {Fri, 08 Aug 2014 15:28:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qest/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/global/2003,
  editor    = {Corrado Priami},
  title     = {Global Computing. Programming Environments, Languages, Security, and
               Analysis of Systems, {IST/FET} International Workshop, {GC} 2003,
               Rovereto, Italy, February 9-14, 2003, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2874},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94264},
  doi       = {10.1007/b94264},
  isbn      = {3-540-20583-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/global/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier