Search dblp for Publications

export results for "speci cation"

 download as .bib file

@article{DBLP:journals/jair/PaetzoldS17,
  author    = {Gustavo H. Paetzold and
               Lucia Specia},
  title     = {A Survey on Lexical Simpli cation},
  journal   = {J. Artif. Intell. Res.},
  volume    = {60},
  pages     = {549--593},
  year      = {2017},
  url       = {https://doi.org/10.1613/jair.5526},
  doi       = {10.1613/jair.5526},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jair/PaetzoldS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bams/EllawayTMCOS10,
  author    = {Rachel H. Ellaway and
               David Topps and
               Jordan MacDonald and
               Bryan Copeland and
               Adriana Olmos and
               Bruce Spencer},
  title     = {{HSVO:} a Functional {XML} Specifi cation for Integrating Simulation
               Devices},
  journal   = {Bio Algorithms Med Syst.},
  volume    = {6},
  number    = {11},
  pages     = {47--51},
  year      = {2010},
  timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/bams/EllawayTMCOS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/SprungerCAA07,
  author    = {Laura Sprunger and
               Michael Clark and
               William E. Acree Jr. and
               Michael H. Abraham},
  title     = {Characterization of Room-Temperature Ionic Liquids by the Abraham
               Model with Cation-Specific and Anion-Specific Equation Coefficients},
  journal   = {J. Chem. Inf. Model.},
  volume    = {47},
  number    = {3},
  pages     = {1123--1129},
  year      = {2007},
  url       = {https://doi.org/10.1021/ci7000428},
  doi       = {10.1021/ci7000428},
  timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jcisd/SprungerCAA07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/GrigoriB05,
  author    = {Daniela Grigori and
               Mokrane Bouzeghoub},
  title     = {Service retrieval based on behavioral speci.cation},
  booktitle = {2005 {IEEE} International Conference on Services Computing {(SCC}
               2005), 11-15 July 2005, Orlando, FL, {USA}},
  pages     = {333--336},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/SCC.2005.82},
  doi       = {10.1109/SCC.2005.82},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/IEEEscc/GrigoriB05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BrosgolW03,
  author    = {Benjamin M. Brosgol and
               Andy J. Wellings},
  editor    = {Jean{-}Pierre Rosen and
               Alfred Strohmeier},
  title     = {A Comparison of the Asynchronous Transfer of Control Features in Ada
               and the Real-Time Speci.cation for Java},
  booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International
               Conference on Reliable Software Technologies, Toulouse, France, June
               16-20, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2655},
  pages     = {113--128},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44947-7\_8},
  doi       = {10.1007/3-540-44947-7\_8},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/adaEurope/BrosgolW03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Schurhammer01,
  author    = {Rachel Schurhammer},
  title     = {Simulations par dynamique mol{\'{e}}culaire de la solvatation
               et du comportement interfacial d'esp{\`{e}}ces hydrophobes.Application
               {\`{a}} l'hypoth{\`{e}}se {TATB} et {\`{a}} l'extraction liquide/liquide
               de cations par le {CO2} supercritique. (Molecular Dynamics Simulations
               on the solvation and interfactial behaviour of hydrophobic species.Applications
               to the {TATB} hypothesis and to the liquid/liquid extraction of cations
               to supercritical {CO2)}},
  school    = {Louis Pasteur University, Strasbourg, Alsace, France},
  year      = {2001},
  url       = {https://tel.archives-ouvertes.fr/tel-00292205},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Schurhammer01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/FransenAH01,
  author    = {Erik Frans{\'{e}}n and
               Angel A. Alonso and
               Michael E. Hasselmo},
  title     = {Entorhinal neuronal activity during delayed matching tasks may depend
               upon muscarinic-induced non-specific cation current {I(CANM)}},
  journal   = {Neurocomputing},
  volume    = {38-40},
  pages     = {601--606},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0925-2312(01)00443-X},
  doi       = {10.1016/S0925-2312(01)00443-X},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ijon/FransenAH01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics