Search dblp for Publications

export results for "toc:db/conf/amast/amast2010.bht:"

 download as .bib file

@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    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/AlarconGLN10,
  author       = {Beatriz Alarc{\'{o}}n and
                  Ra{\'{u}}l Guti{\'{e}}rrez and
                  Salvador Lucas and
                  Rafael Navarro{-}Marset},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Proving Termination Properties with mu-term},
  booktitle    = {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},
  pages        = {201--208},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_12},
  doi          = {10.1007/978-3-642-17796-5\_12},
  timestamp    = {Sun, 25 Oct 2020 23:16:25 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/AlarconGLN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/BolducK10,
  author       = {Claude Bolduc and
                  B{\'{e}}chir Ktari},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Verification of Common Interprocedural Compiler Optimizations Using
                  Visibly Pushdown Kleene Algebra},
  booktitle    = {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},
  pages        = {28--43},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_2},
  doi          = {10.1007/978-3-642-17796-5\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/BolducK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/Brodo10,
  author       = {Linda Brodo},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {6486},
  pages        = {44--59},
  publisher    = {Springer},
  year         = {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/conf/amast/Brodo10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/CodescuMRM10,
  author       = {Mihai Codescu and
                  Till Mossakowski and
                  Adri{\'{a}}n Riesco and
                  Christian Maeder},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Integrating Maude into Hets},
  booktitle    = {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},
  pages        = {60--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_4},
  doi          = {10.1007/978-3-642-17796-5\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/CodescuMRM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/DingH10,
  author       = {Jie Ding and
                  Jane Hillston},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Structural Analysis for Stochastic Process Algebra Models},
  booktitle    = {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},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_1},
  doi          = {10.1007/978-3-642-17796-5\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/DingH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/GluckMS10,
  author       = {Roland Gl{\"{u}}ck and
                  Bernhard M{\"{o}}ller and
                  Michel Sintzoff},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Model Refinement Using Bisimulation Quotients},
  booktitle    = {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},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_5},
  doi          = {10.1007/978-3-642-17796-5\_5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/GluckMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/Hinze10,
  author       = {Ralf Hinze},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Type Fusion},
  booktitle    = {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},
  pages        = {92--110},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_6},
  doi          = {10.1007/978-3-642-17796-5\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/Hinze10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/KomendantskayaMP10,
  author       = {Ekaterina Komendantskaya and
                  Guy McCusker and
                  John Power},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Coalgebraic Semantics for Parallel Derivation Strategies in Logic
                  Programming},
  booktitle    = {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},
  pages        = {111--127},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_7},
  doi          = {10.1007/978-3-642-17796-5\_7},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amast/KomendantskayaMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/LeandrezRPC10,
  author       = {Diego P{\'{e}}rez Le{\'{a}}ndrez and
                  M. Carmen Ruiz and
                  Juan Jos{\'{e}} Pardo and
                  Diego Cazorla},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {{BAL} Tool in Flexible Manufacturing Systems},
  booktitle    = {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},
  pages        = {209--215},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_13},
  doi          = {10.1007/978-3-642-17796-5\_13},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/LeandrezRPC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/PanangadenS10,
  author       = {Prakash Panangaden and
                  Mehrnoosh Sadrzadeh},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Learning in a Changing World, an Algebraic Modal Logical Approach},
  booktitle    = {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},
  pages        = {128--141},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_8},
  doi          = {10.1007/978-3-642-17796-5\_8},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/PanangadenS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/RiescoVM10,
  author       = {Adri{\'{a}}n Riesco and
                  Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {A Complete Declarative Debugger for Maude},
  booktitle    = {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},
  pages        = {216--225},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_14},
  doi          = {10.1007/978-3-642-17796-5\_14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/RiescoVM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/RosuES10,
  author       = {Grigore Rosu and
                  Chucky Ellison and
                  Wolfram Schulte},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Matching Logic: An Alternative to Hoare/Floyd Logic},
  booktitle    = {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},
  pages        = {142--162},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_9},
  doi          = {10.1007/978-3-642-17796-5\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/RosuES10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/Seghir10,
  author       = {Mohamed Nassim Seghir},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {An Assume Guarantee Approach for Checking Quantified Array Assertions},
  booktitle    = {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},
  pages        = {226--235},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_15},
  doi          = {10.1007/978-3-642-17796-5\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/Seghir10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/TessonHHLT10,
  author       = {Julien Tesson and
                  Hideki Hashimoto and
                  Zhenjiang Hu and
                  Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Masato Takeichi},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Program Calculation in Coq},
  booktitle    = {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},
  pages        = {163--179},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_10},
  doi          = {10.1007/978-3-642-17796-5\_10},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/TessonHHLT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/Virseda10,
  author       = {Rafael del Vado V{\'{\i}}rseda},
  editor       = {Michael Johnson and
                  Dusko Pavlovic},
  title        = {Cooperation of Algebraic Constraint Domains in Higher-Order Functional
                  and Logic Programming},
  booktitle    = {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},
  pages        = {180--200},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17796-5\_11},
  doi          = {10.1007/978-3-642-17796-5\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/Virseda10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.