text:
%%% FEAT

@inproceedings{feat,
 author = {Dureg{\aa}rd, Jonas and Jansson, Patrik and Wang, Meng},
 title = {{FEAT: Functional Enumeration of Algebraic Types}},
 booktitle = {Proceedings of the 2012 Haskell Symposium},
 series = {Haskell '12},
 year = {2012},
 isbn = {978-1-4503-1574-6},
 location = {Copenhagen, Denmark},
 pages = {61--72},
 numpages = {12},
 acmid = {2364515},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {enumeration, memoisation, property-based testing},
}

%%%% COLING

@String{coling1990 = "13th International Conference on Computational Linguistics (COLING 1990)"}
@String{coling1992 = "14th International Conference on Computational Linguistics (COLING 1992)"}
@String{coling2014 = "25th International Conference on Computational Linguistics (COLING 2014)"}

%%%% LREC

@String{lrec2010 = "7th edition of the Language Resources and Evaluation Conference (LREC 2010)"}
2012 = 8th
2014 = 9th
@String{lrec2016 = "10th edition of the Language Resources and Evaluation Conference (LREC 2016)"}

%% ANLP

@String{anlp1992 = "3rd Conference on Applied Natural Language Processing"}
@String{anlp1997 = "5th Conference on Applied Natural Language Processing"}

%%%% NODALIDA

@String{nodalida1998 = "11th Nordic Conference on Computational Linguistics (NODALIDA 1998)"}
@String{nodalida2001 = "13th Nordic Conference on Computational Linguistics (NODALIDA 2001)"}

@String{nodalida2009 = "17th Nordic Conference of Computational Linguistics (NODALIDA 2009)"}
@String{nodalida2009cg = "Constraint Grammar workshop at the " # nodalida2009}

@String{nodalida2011 = "18th Nordic Conference of Computational Linguistics (NODALIDA 2011)"}
@String{nodalida2011cg = "Constraint Grammar workshop at the " # nodalida2011}

@String{nodalida2013 = "19th Nordic Conference of Computational Linguistics (NODALIDA 2013)"}
@String{nodalida2013cg = "Constraint Grammar workshop at the " # nodalida2013}

@String{nodalida2015 = "20th Nordic Conference of Computational Linguistics (NODALIDA 2015)"}
@String{nodalida2015cg = "Constraint Grammar workshop at the " # nodalida2015}

@String{nodalida2017 = "21th Nordic Conference of Computational Linguistics (NODALIDA 2017)"}
@String{nodalida2017cg = "Constraint Grammar workshop at the " # nodalida2017}

%%%% CG parsers

@inproceedings{karlsson1990cgp,
 author = {Karlsson, Fred},
 title = {Constraint Grammar as a Framework for Parsing Running Text},
 booktitle = "Proceedings of " # coling1990,
 volume={3},
 year = {1990},
 isbn = {952-90-2028-7},
 location = {Helsinki, Finland},
 pages = {168--173},
 numpages = {6},
 url = {http://dx.doi.org/10.3115/991146.991176},
 doi = {10.3115/991146.991176},
 acmid = {991176},
 publisher = {Association for Computational Linguistics},
 address = {Stroudsburg, PA, USA}
}

@book{karlsson1995constraint,
  title={{Constraint Grammar}: a language-independent system for parsing unrestricted text},
  author={Karlsson, Fred and Voutilainen, Atro and Heikkil{\"{a}}, Juha and Anttila, Arto},
  volume={4},
  year={1995},
  publisher={Walter de Gruyter}
}

@book{tapanainen1996,
  author = "Tapanainen, Pasi",
  title = {{The Constraint Grammar Parser CG-2}},
  volume={27},
  series={Publications of the Department of General Linguistics, University of Helsinki},
  publisher={Yliopistopaino, Helsinki},
  year = {1996}
}

@manual{vislcg3,
  author = {Tino Didriksen},
  title = {{Constraint Grammar Manual}},
  date = {September 14, 2015},
  year={2014},
  language = {English},
  version = {3},
  url={http://beta.visl.sdu.dk/cg3.html},
  organization = {{Institute of Language and Communication, University of Southern Denmark}}
}

@inproceedings{bick2015,
  author = {Bick, Eckhard and Didriksen, Tino},
  year = {2015},
  title = {{CG-3 -- Beyond Classical Constraint Grammar}},
  booktitle = "Proceedings of the " # nodalida2015,
  location = {{Vilnius, Lithuania}},
  url={http://www.ep.liu.se/ecp/109/007/ecp15109007.pdf}
}

@inproceedings{yli-jyra2011cg_engine,
  title={An efficient constraint grammar parser based on inward deterministic automata},
  author={Yli-Jyr{\"a}, Anssi},
  booktitle =  nodalida2011cg,
  location={{Riga, Latvia}},
  pages={50--60},
  year={2011}
}

@inproceedings{hulden2011cg_engine,
  title={Constraint Grammar parsing with left and right sequential finite transducers},
  author={Hulden, Mans},
  booktitle={{Proceedings of 9th International Workshop on Finite State Methods and Natural Language Processing}},
  pages={39--47},
  year={2011},
  organization={Association for Computational Linguistics}
}

@mastersthesis{peltonen2011,
  title={Rajoitekielioppien toteutuksesta äärellistilaisin menetelmin},
  author={Janne Peltonen},
  year={2011},
  school={{University of Helsinki}}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% FSIG
@inproceedings{koskenniemi90,
 author = {Koskenniemi, Kimmo},
 title = {Finite-state Parsing and Disambiguation},
 booktitle = "Proceedings of " # coling1990,
 volume={2},
 year = {1990},
 location = {Helsinki, Finland},
 pages = {229--232},
 numpages = {4},
 publisher = {Association for Computational Linguistics},
 address = {Stroudsburg, PA, USA}
}

@inproceedings{koskenniemi92,
  author    = {Kimmo Koskenniemi and
               Pasi Tapanainen and
               Atro Voutilainen},
  title     = {Compiling and Using Finite-State Syntactic Rules},
  booktitle = "Proceedings of " # coling1992,
  pages     = {156--162},
  location  = {Nantes, France},
  month     = {August},
  year      = {1992},
  url       = {http://aclweb.org/anthology/C92-1027}
}
% biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coling/KoskenniemiTV92}

@article{koskenniemi97,
  title={Representations and finite-state components in natural language},
  author={Koskenniemi, Kimmo},
  journal={Finite-state language processing},
  pages={99--116},
  year={1997}
}

@inproceedings{piitulainen1995,
  title={Locally tree-shaped sentence automata and resolution of ambiguity},
  author={Piitulainen, Jussi},
  booktitle={Proceedings of the 10th Nordic Conference of Computational Linguistics},
  number={26},
  pages={50--58},
  year={1995}
}

@book{voutilainen1994designing,
  title={Designing a parsing grammar},
  author={Voutilainen, Atro},
  year={1994},
  volume={22},
  series={{Publications of the Department of General Linguistics, University of Helsinki}},
  location={Helsinki, Finland},
  publisher={Yliopistopaino}
}

@article{voutilainen1997fsig,
  title={Designing a (finite-state) parsing grammar},
  author={Voutilainen, Atro},
  journal={Finite-State Language Processing},
  pages={283--310},
  year={1997}
}

@inproceedings{voutilainen1998,
  title={{Does tagging help parsing? A case study on finite state parsing}},
  author={Voutilainen, Atro},
  booktitle={Proceedings of the International Workshop on Finite State Methods in Natural Language Processing ({FSMNLP} 1998)},
  pages={25--36},
  year={1998},
  organization={Association for Computational Linguistics}
}

@inproceedings{yli-jyra2001,
   title={{Structural Correspondence between Finite-State Intersection Grammar and Constraint Satisfaction Problem}},
   author={{Yli-Jyr{\"{a}}, Anssi}},
   year={2001},
   pages={1--4},
   booktitle={{Finite State Methods in Natural Language Processing 2001 (FSMNLP 2001), ESSLLI Workshop}}
}

@inproceedings{yli-jyra2003describing,
  title={Describing syntax with star-free regular expressions},
  author={Yli-Jyr{\"a}, Anssi},
  booktitle={Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics},
  volume={1},
  pages={379--386},
  year={2003},
  organization={Association for Computational Linguistics}
}

@inproceedings{yli-jyra2003fsig_approx_cfg,
  author={Yli-Jyr{\"a}, Anssi},
  year={2003},
  title={Regular approximations through labeled bracketing},
  editor = {G. Jäger, P. Monachesi, G. Penn, and S. Wintner},
  booktitle={Proceedings of the 8th conference on Formal Grammar (FGVienna 2003)},
  pages={189–-201}
}

@inproceedings{yli-jyra2004fsig_dependency,
  title={Axiomatization of restricted non-projective dependency trees through finite-state constraints that analyse crossing bracketings},
  author={Yli-Jyr{\"a}, Anssi},
  editor={G.-J. M. Kruijff and D. Duchier},
  booktitle={Workshop of Recent Advances in Dependency Grammar},
  year={2004},
  pages={33--40},
  location={Geneva, Switzerland}
}

@PhdThesis{yli-jyra2005phd,
  title={Contributions to the theory of finite-state based grammars},
  author={Yli-Jyr{\"a}, Anssi},
  year={2005},
  school={{University of Helsinki}}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% CG theory

@phdthesis{tapanainen1999phd,
  title={Parsing in two frameworks: Finite-state and Functional dependency grammar},
  author={Tapanainen, Pasi},
  year={1999},
  school={{University of Helsinki}},
  publisher={{University of Helsinki, Department of General Linguistics}}
}

@InProceedings{nemeskey14,
  author    = {Nemeskey, D\'{a}vid M\'{a}rk  and  Tyers, Francis  and  Hulden, Mans},
  title     = {Why Implementation Matters: Evaluation of an Open-source Constraint Grammar Parser},
  booktitle = "Proceedings of the " # coling2014,
  pages     = {772--780},
  month     = {August},
  year      = {2014},
  address   = {Dublin, Ireland},
  url       = {http://www.aclweb.org/anthology/C14-1073}
}

@inproceedings{ylijyra2017,
  author = {Yli-Jyr{\"{a}}, Anssi},
  title = {{The Power of Constraint Grammars Revisited}},
  booktitle = "Proceedings of the " # nodalida2017cg,
  year = {2017},
  location={Gothenburg, Sweden}
}

@InProceedings{lager98,
  author =  {Torbj{\"{o}}rn Lager },
  booktitle = "Proceedings of the " # nodalida1998,
  title =  {{Logic for Part of Speech Tagging and Shallow Parsing}},
  year =   {1998},
  location = {Copenhagen, Denmark}
}

@inproceedings{lager_nivre01,
  author    = {Torbj{\"{o}}rn Lager and
               Joakim Nivre},
  title     = {{Part of speech tagging from a logical point of view}},
  booktitle = {{Logical Aspects of Computational Linguistics, 4th International Conference (LACL 2001)}},
  pages     = {212--227},
  year      = {2001},
  location  = {Le Croisic, France}
}

@inproceedings{kokke2017expressivity,
  title={Exploring the Expressivity of Constraint Grammar},
  author={Kokke, Wen and Listenmaa, Inari},
  booktitle={Proceedings of the NoDaLiDa 2017 Workshop on Constraint Grammar-Methods, Tools and Applications, 22 May 2017, Gothenburg, Sweden},
  number={140},
  pages={15--22},
  year={2017},
  organization={Link{\"o}ping University Electronic Press}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% CG applications

@inproceedings{listenmaa2017basque,
  title={Cleaning up the Basque grammar: a work in progress},
  author={Listenmaa, Inari and Arriola, Jose Maria and Aduriz, Itziar and Bick, Eckhard},
  booktitle={Proceedings of the NoDaLiDa 2017 Workshop on Constraint Grammar-Methods, Tools and Applications, 22 May 2017, Gothenburg, Sweden},
  number={140},
  pages={10--14},
  year={2017},
  organization={Link{\"o}ping University Electronic Press}
}

@inproceedings{lene_trond2011,
 title={{Next to nothing -- a cheap South Saami disambiguator}},
 author={Antonsen, Lene and Trosterud, Trond},
 year={2011},
 booktitle = nodalida2011cg,
 location={{Riga, Latvia}},
 pages={1--7},
 url={https://dspace.utlib.ee/dspace/bitstream/handle/10062/19296/antonsen_trosterud.pdf}
}

@inproceedings{antonsen2009dialogue,
  title={{Constraint Grammar in Dialogue Systems}},
  author={Antonsen, Lene and Huhmarniemi, Saara and Trosterud, Trond},
  booktitle = nodalida2009cg,
  volume={8},
  pages={13--21},
  year={2009}
}

@inproceedings{bick_barebones,
  title={A Bare-bones Constraint Grammar},
  author={Bick, Eckhard},
  booktitle={{Proceedings of the 25th Pacific Asia Conference on Language, Information and
  Computation (PACLIC 2011)}},
  pages={226--235},
  year={2011}
}

@inproceedings{lene_trond_linda2010,
  title = {Reusing grammatical resources for new languages},
  author={Antonsen, Lene and Wiechetek, Linda and Trosterud, Trond},
  year = {2010},
  booktitle = "Proceedings of the " # lrec2010,
  url = {http://www.lrec-conf.org/proceedings/lrec2010/pdf/254_Paper.pdf}
}

@PhdThesis{bick2000palavras,
  title={{The parsing system ``Palavras''. Automatic Grammatical Analysis of Portuguese in a Constraint Grammar Framework}},
  author={Bick, Eckhard},
  year={2000},
  school={University of Århus}
}

@inproceedings{bick2003hybridCG_PSG,
  title={A CG \& PSG hybrid approach to automatic corpus annotation},
  author={Bick, Eckhard},
  booktitle= {{Proceedings of the Shallow Processing of Large Corpora Workshop (SProLaC 2003)}},
  pages={1--12},
  year={2003}
}

@inproceedings{bick2006spanish,
  author = "Bick, Eckhard",
  year = "2006",
  title = {{A Constraint Grammar Parser for Spanish}},
  booktitle = {{Proceedings of TIL 2006 -- 4th Workshop on Information and Human Language Technology}},
  url = {http://visl.sdu.dk/~eckhard/pdf/TIL2006.pdf}
}

@inproceedings{bick2011,
  author = "Eckhard Bick",
  year = "2011",
  title = "Constraint grammar applications",
  pages = {iv},
  booktitle =  nodalida2011cg,
  location={{Riga, Latvia}}
}
% page iv

@inproceedings{pirinen2015,
  author = {Tommi Pirinen},
  title = {{Using weighted finite state morphology with VISL CG-3---Some experiments with free open source Finnish resources}},
  booktitle = nodalida2015cg,
  year = {2015},
  location={Vilnius, Lithuania}
}

@inproceedings{tyers_reynolds2015,
  author = {Robert Reynolds and Francis Tyers},
  title = {A preliminary constraint grammar for {R}ussian},
  booktitle = nodalida2015cg,
  year = {2015},
  location={{Vilnius, Lithuania}}
}

@inproceedings{puolakainen2015anaphora,
  title={Anaphora resolution experiment with CG rules},
  author={Puolakainen, Tiina},
  booktitle = nodalida2015cg,
  year={2015},
  location={Vilnius, Lithuania}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% Learning CG rules

@incollection{voutilainen2004,
  author      = {Atro Voutilainen},
  title       = {Hand Crafted Rules},
  editor      = {H. {van Halteren}},
  booktitle   = {Syntactic Wordclass Tagging},
  publisher   = {Kluwer Academic},
  pages       = {217--246},
  year        = 2004
}

@incollection{inducing_cg1996,
author={Samuelsson, Christer and Tapanainen, Pasi and Voutilainen, Atro},
title={Inducing constraint grammars},
year={1996},
booktitle={Grammatical Interference: Learning Syntax from Sentences},
volume={1147},
series={Lecture Notes in Computer Science},
editor={Miclet, Laurent and de la Higuera, Colin},
url={http://dx.doi.org/10.1007/BFb0033350},
publisher={Springer Berlin Heidelberg},
pages={146--155}
}
%isbn={978-3-540-61778-5}

@incollection{lindberg_eineborg98ilp,
  title={Induction of Constraint Grammar-rules using Progol},
  year={1998},
  booktitle={Inductive Logic Programming},
  volume={1446},
  series={Lecture Notes in Computer Science},
  editor={Page, David},

  publisher={Springer Berlin Heidelberg},
  author={Eineborg, Martin and Lindberg, Nikolaj},
  pages={116-124}
}

@inproceedings{lager01transformation,
  title={Transformation-based learning of rules for constraint grammar tagging},
  author={Lager, Torbj{\"o}rn},
  booktitle="Proceedings of the " # nodalida2001,
  year={2001},
  location={Uppsala, Sweden}
}

@MastersThesis{asfrent14,
    author   = {Andrei Sfrent},
    title    = {Machine Learning of Rules for Part of Speech Tagging},
    school   = {{Imperial College London}},
    address  = {{United Kingdom}},
    year     = {2014},
    }

@inproceedings{lindberg_eineborg98coling,
  author    = {Nikolaj Lindberg and
               Martin Eineborg},
  title     = {Learning {Constraint Grammar}-style Disambiguation Rules using Inductive
               Logic Programming},
  booktitle = {36th Annual Meeting of the Association for Computational Linguistics
               and 17th International Conference on Computational Linguistics ({COLING-ACL}
               1998)},
  year      = {1998},
  url       = {http://aclweb.org/anthology/P/P98/P98-2128.pdf},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/acl/LindbergE98},
  pages     = {775--779}
}

@inproceedings{bick2013tuning,
  author = "Bick, Eckhard",
  year = "2013",
  title = {{ML-Tuned Constraint Grammars}},
  booktitle = {{Proceedings of the 27th Pacific Asia Conference on Language, Information and Computation (PACLIC 2013)}},
  pages = {440--449},
  location = {Taipei},
  url={http://visl.sdu.dk/~eckhard/pdf/PACLIC2013_grammar_tuning2.pdf}
}
%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% SAT

@inproceedings{listenmaa_claessen2016,
  author = {Inari Listenmaa and Koen Claessen},
  title = {{Analysing Constraint Grammars with a SAT-solver}},
  booktitle="Proceedings of the " # lrec2016,
  year = {2016},
  location={Portorož, Slovenia}
}
%   23-28 May 2016,  (Slovenia)

@inproceedings{listenmaa_claessen2015,
  author = {Inari Listenmaa and Koen Claessen},
  title = {{Constraint Grammar as a SAT problem}},
  booktitle = nodalida2015cg,
  year={2015},
  location={Vilnius, Lithuania}
}

@misc{marques_silva2010,
 author = {Jo{\~{a}}o Marques-Silva},
 year = "2010",
 title = {{Boolean Satisfiability Solving: Past, Present \& Future}},
 howpublished = {{Presentation given at
the Microsoft Research International Workshop on Tractability, Cambridge, UK, July 5--6}},
 url = {http:
//research.microsoft.com/en-us/events/tractability2010/joao-marques-silvatractability2010.pdf}

}

@article{claessen2009satpractice,
author="Claessen, Koen
and Een, Niklas
and Sheeran, Mary
and S{\"o}rensson, Niklas
and Voronov, Alexey
and {\AA}kesson, Knut",
title="SAT-Solving in Practice, with a Tutorial Example from Supervisory Control",
journal="Discrete Event Dynamic Systems",
year="2009",
volume="19",
number="4",
pages="495--524",
issn="1573-7594",
doi="10.1007/s10626-009-0081-8",
url="http://dx.doi.org/10.1007/s10626-009-0081-8"
}

@inbook{claessen2013compbioSAT,
author={Claessen, Koen
and Fisher, Jasmin
and Ishtiaq, Samin
and Piterman, Nir
and Wang, Qinsi},
editor="Sharygina, Natasha
and Veith, Helmut",
chapter="Model-Checking Signal Transduction Networks through Decreasing Reachability Sets",
title="Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings",
year="2013",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="85--100",
isbn="978-3-642-39799-8",
doi="10.1007/978-3-642-39799-8_5",
url="http://dx.doi.org/10.1007/978-3-642-39799-8_5"
}

@Inbook{sheeran1998modelchecking,
author="Sheeran, Mary
and St{\aa}lmarck, Gunnar",
editor="Gopalakrishnan, Ganesh
and Windley, Phillip",
chapter="A Tutorial on St{\aa}lmarck's Proof Procedure for Propositional Logic",
title="Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4--6, 1998 Proceedings",
year="1998",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="82--99",
isbn="978-3-540-49519-2",
doi="10.1007/3-540-49519-3_7",
url="http://dx.doi.org/10.1007/3-540-49519-3_7"
}

@InProceedings{biere1999modelchecking,
author="Biere, Armin
and Cimatti, Alessandro
and Clarke, Edmund
and Zhu, Yunshan",
editor="Cleaveland, W. Rance",
chapter="Symbolic Model Checking without BDDs",
title="Tools and Algorithms for the Construction and Analysis of Systems: 5th International Conference, TACAS'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99 Amsterdam, The Netherlands, March 22--28, 1999 Proceedings",
year="1999",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="193--207",
isbn="978-3-540-49059-3",
doi="10.1007/3-540-49059-0_14",
url="http://dx.doi.org/10.1007/3-540-49059-0_14"
}

@InProceedings{bradley2011modelchecking,
author="Bradley, Aaron R.",
editor="Jhala, Ranjit
and Schmidt, David",
title="SAT-Based Model Checking without Unrolling",
booktitle={{Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)}},
location = {Austin, TX, USA},
month={January},
year="2011",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="70--87",
isbn="978-3-642-18275-4",
doi="10.1007/978-3-642-18275-4_7",
url="http://dx.doi.org/10.1007/978-3-642-18275-4_7"
}
% January 23-25, 2011

@INPROCEEDINGS{marques-silva08practicalapplications,
    author = {Joao Marques-silva},
    title = {Practical applications of boolean satisfiability},
    booktitle = {{Proceedings of the workshop on Discrete Event Systems (WODES)}},
    year = {2008},
    publisher = {{IEEE Press}}
}

@incollection{een04sat,
  year={2004},
  booktitle={Theory and Applications of Satisfiability Testing},
  volume={2919},
  series={Lecture Notes in Computer Science},
  editor={Giunchiglia, Enrico and Tacchella, Armando},
  title={{An Extensible SAT-solver}},
  publisher={Springer Berlin Heidelberg},
  pages={502-518},
  author={E\'{e}n, Niklas and S{\"{o}}rensson, Niklas}
}

%language={English}

@article{een06minisatplus,
    author = {Niklas Eén and Niklas Sörensson},
    title = {Translating pseudo-boolean constraints into {SAT}},
    journal = {{Journal on Satisfiability, Boolean Modeling and Computation}},
    year = {2006},
    volume = {2},
    pages = {1--26}
}

@inproceedings{cook1971complexity,
  title={{The Complexity of Theorem-proving Procedures}},
  author={Cook, Stephen A.},
  booktitle={{Proceedings of the Third Annual Symposium on Theory of Computing}},
  year={1971},
  pages={151–-158}
}

@inproceedings{selman_kautz92aiplanning,
  title={Planning as satisfiability},
  author={B. Selman and H. Kautz},
  booktitle={{European Conference on Artificial Intelligence}},
  year={1992},
  pages={359–-363}
}

@book{biere2009handbook,
  title={Handbook of Satisfiability},
  author={Biere, Armin},
  isbn={9781586039295},
  lccn={2008942733},
  series={Frontiers in artificial intelligence and applications},
  year={2009},
  publisher={IOS Press}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% Misc
@inproceedings{cutting_etal92,
 author = {Cutting, Doug and Kupiec, Julian and Pedersen, Jan and Sibun, Penelope},
 title = {A Practical Part-of-speech Tagger},
 booktitle = "Proceedings of " # anlp1992,
 year = {1992},
 location = {Trento, Italy},
 pages = {133--140},
 numpages = {8},
 url = {http://dx.doi.org/10.3115/974499.974523},
 doi = {10.3115/974499.974523},
 publisher = {Association for Computational Linguistics},
 address = {Stroudsburg, PA, USA},
}

@techreport{taggit,
  title={{Automatic Grammatical Tagging of English}},
  author={Greene, Barbara B. and Rubin, Gerald M.},
  institution={{Department of Linguistics, Brown University}},
  location={{Providence, Rhode Island}},

  year={1971}
}

@article{brill1995,
  title={Transformation-based error-driven learning and natural language processing: A case study in part-of-speech tagging},
  author={Brill, Eric},
  journal={Computational Linguistics},
  volume={21},
  number={4},
  pages={543--565},
  year={1995},
  publisher={MIT Press}
}

@inproceedings{tapanainen97fdg,
 title={A non-projective dependency parser},
 author={Tapanainen, Pasi and J\"{a}rvinen, Timo},
 year = {1997},
 booktitle = "Proceedings of " # anlp1997,
 pages={64–-71},
 location={{Washington, D.C.}},
 publisher={{Association for Computational Linguistics}},
 address = {Stroudsburg, PA, USA}
}

@inproceedings{voutilainen2011finntreebank,
  title={{FinnTreeBank: Creating a research resource and service for language researchers with Constraint Grammar}},
  author={Voutilainen, Atro},
  booktitle = "Proceedings of the " # nodalida2011cg,
  pages={41--49},
  year={2011}
}

@ARTICLE{chomsky1956hierarchy,
author={Noam Chomsky},
journal={{IRE} Transactions on Information Theory},
title={Three models for the description of language},
year={1956},
volume={2},
number={3},
pages={113-124},
doi={10.1109/TIT.1956.1056813},
ISSN={0096-1000},
month={September}
}

@incollection{kiparsky1968,
  publisher = {Holt, Rinehart, and Winston},
  booktitle = {Universals in Linguistic Theory},
  title = {Linguistic Universals and Linguistic Change},
  pages = {170--202},
  year = {1968},
  author = {Paul Kiparsky},
  editor = {Emmon Bach and R. Harms}
}

@inproceedings{barton1986complexityTWOL,
 author = {Barton, G. Edward},
 title = {{Computational Complexity in Two-level Morphology}},
 booktitle = {{Proceedings of the 24th Annual Meeting on Association for Computational Linguistics}},
 series = {ACL '86},
 year = {1986},
 location = {New York},
 pages = {53--59},
 numpages = {7},
 url = {http://dx.doi.org/10.3115/981131.981140},
 doi = {10.3115/981131.981140},
 acmid = {981140},
 publisher = {Association for Computational Linguistics},
 address = {Stroudsburg, PA, USA},
}

@misc{bnfc,
 title={BNF Converter, vers. 2.7.1.},
 howpublished = {\url{http://bnfc.digitalgrammars.com}}
}
% month={October},
% year={2014},

%%%%%%%%%%%%%%%%%%%
%% Related work / CG-like

@incollection{gross1997local,
 author={Gross, Maurice},
 year={1997},
 title={The construction of local grammars},
 booktitle={Finite-state language processing},
 editor={Emmanuel Roche and Yves Schabes},
 pages={329–-354},
 address={Cambridge (MA), USA: MIT}
}

@INPROCEEDINGS{oflazer97votingconstraints,
    author = {Kemal Oflazer and Gökhan Tür},
    title = {Morphological disambiguation by voting constraints},
    booktitle = {{Proceedings of the 8th Conference of the European Chapter of the Association for Computational Linguistics (EACL 1997)}},
    year = {1997},
    pages = {222--229}
}

@incollection{grana2003fst,
  title={Compilation of constraint-based contextual rules for part-of-speech tagging into finite state transducers},
  author={Gra{\~n}a, Jorge and Andrade, Gloria and Vilares, Jes{\'u}s},
  booktitle={Implementation and Application of Automata},
  pages={128--137},
  year={2002},
  editor={Jean-Marc Champarnaud and Denis Maurel},
  volume={2608},
  series={Lecture Notes in Computer Science},
  publisher={Springer}
}

@inproceedings{herz1991local,
  title={Local syntactic constraints},
  author={Herz, Jacky and Rimon, Mori},
  booktitle={Proceedings of the Second International Workshop on Parsing Technologies},
  pages={200--209},
  year={1991}
}

@inproceedings{hindle1989disamrules,
 author={{Hindle, D.}},
 year={1989},
 title={{Acquiring Disambiguation Rules from Text}},
 booktitle={{Proceedings of the 27th Annual Meeting of the ACL}},
 pages={118--125}
}

@inproceedings{silfverberg2009conflict,
  title={Conflict resolution using weighted rules in {HFST-TWOLC}},
  author={Silfverberg, Miikka and Lind{\'e}n, Krister},
  booktitle="Proceedings of " # nodalida2009,
  pages={174--181},
  year={2009},
  location={Odense, Denmark}
}

@inproceedings{padro1996csp,
  title={A constraint satisfaction alternative for {POS} tagging},
  author={Padr{\'o}, Llu{\'\i}s},
  booktitle={{Proceedings of NLP+IA/TAL+AI}},
  year={1996},
  location={Moncton, New Brunswick, Canada}
}

%%%%%%%%%%%%%%%%%%%%%
%% Testing

@inproceedings{hamon2004testgen,
 author = {Hamon, Gr\'{e}goire and Moura, Leonardo de and Rushby, John},
 title = {Generating Efficient Test Sets with a Model Checker},
 booktitle = {Proceedings of the Software Engineering and Formal Methods, Second International Conference},
 series = {SEFM '04},
 year = {2004},
 isbn = {0-7695-2222-X},
 pages = {261--270},
 numpages = {10},
 url = {http://dx.doi.org/10.1109/SEFM.2004.21},
 doi = {10.1109/SEFM.2004.21},
 acmid = {1030059},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
}

@article{fraser2013whole,
 author = {Fraser, Gordon and Arcuri, Andrea},
 title = {Whole Test Suite Generation},
 journal = {IEEE Trans. Softw. Eng.},
 issue_date = {February 2013},
 volume = {39},
 number = {2},
 month = feb,
 year = {2013},
 issn = {0098-5589},
 pages = {276--291},
 numpages = {16},
 url = {http://dx.doi.org/10.1109/TSE.2012.14},
 doi = {10.1109/TSE.2012.14},
 acmid = {2478706},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 keywords = {Software,Genetic algorithms,Search problems,Arrays,Genetic programming,Software testing,collateral coverage,Search-based software engineering,length,branch coverage,genetic algorithm,infeasible goal},
}

@inproceedings{Matinnejad2016automated_testsuite_simulink,
 author = {{Matinnejad, Reza and Nejati, Shiva and Briand, Lionel C. and Bruckmann, Thomas}},
 title = {Automated Test Suite Generation for Time-continuous Simulink Models},
 booktitle = {Proceedings of the 38th International Conference on Software Engineering},
 series = {ICSE '16},
 year = {2016},
 isbn = {978-1-4503-3900-1},
 location = {Austin, Texas},
 pages = {595--606},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2884781.2884797},
 doi = {10.1145/2884781.2884797},
 acmid = {2884797},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Simulink Design Verifier (SLDV), output diversity, search-based software testing, signal features, simulink models, software testing, structural coverage, time-continuous behaviors}
}

%% TODO: find out how HPSG, TAG etc. people test their grammars

@inproceedings{gardent2012errormining,
 author = {Gardent, Claire and Narayan, Shashi},
 title = {Error Mining on Dependency Trees},
 booktitle = {Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1},
 series = {ACL '12},
 year = {2012},
 location = {Jeju Island, Korea},
 pages = {592--600},
 numpages = {9},
 url = {http://dl.acm.org/citation.cfm?id=2390524.2390607},
 acmid = {2390607},
 publisher = {Association for Computational Linguistics},
 address = {Stroudsburg, PA, USA},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%% GF

%% This is a typo: it is actually published in 2011.
%% Keeping the old reference so my old files don't break.
@Book{ranta2010gfbook,
  author = {Aarne Ranta},
  title =  {{Grammatical Framework:
             Programming with Multilingual Grammars}},
  publisher = {{CSLI Publications}},
  year = {2011}
}
@Book{ranta2011gfbook,
  author = {Aarne Ranta},
  title =  {{Grammatical Framework:
             Programming with Multilingual Grammars}},
  publisher = {{CSLI Publications}},
  year = {2011}
}

@article{ranta2009rgl,
  author = {Aarne Ranta},
  title = {{The GF Resource Grammar Library}},
  year = 2009,
  journal = {{Linguistics in Language Technology}},
  volume = {2},
  url = {http://elanguage.net/journals/index.php/lilt/article/viewFile/214/158},
}

@article{ranta2004gf,
  title={{Grammatical Framework}},
  author={Ranta, Aarne},
  journal={{Journal of Functional Programming}},
  volume={14},
  number={2},
  pages={145--189},
  year={2004},
  publisher={Cambridge University Press}
}

@inproceedings{listenmaa_kaljurand2014,
  author = {Listenmaa, Inari and Kaljurand, Kaarel},
  title = {{Computational Estonian Grammar in Grammatical Framework}},
  booktitle = {9th {SALTMIL} workshop on free/open-source language resources for the machine translation of less-resourced languages},
  year = {2014}
}

@inproceedings{listenmaa_claessen2018,
  author = {Listenmaa, Inari and Claessen, Koen},
  title = {{Automatic systematic test case generation for producing reliable grammars}},
  booktitle = {Submitted to {COLING} 2018},
  year = {2018}
}

@inproceedings{ranta2010phrasebook,
 author = {Ranta, Aarne and Enache, Ramona and D{\'e}trez, Gr{\'e}goire},
 title = {{Controlled Language for Everyday Use: The MOLTO Phrasebook}},
 booktitle = {{Proceedings of the Second International Conference on Controlled Natural Language}},
 series = {CNL'10},
 year = 2012,
 isbn = {978-3-642-31174-1},
 location = {Marettimo Island, Italy},
 pages = {115--136},
 numpages = 22,
 doi = {10.1007/978-3-642-31175-8\_7},
 acmid = 2366580,
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {controlled language, grammatical framework, mobile translation application, multilingual grammar, tourist phrasebook}
}

@inproceedings{khegai2006rglrussian,
 author = {Khegai, Janna},
 title = {GF Parallel Resource Grammars and Russian},
 booktitle = {Proceedings of the COLING/ACL on Main Conference Poster Sessions},
 series = {COLING-ACL '06},
 year = {2006},
 location = {Sydney, Australia},
 pages = {475--482},
 numpages = {8},
 url = {http://dl.acm.org/citation.cfm?id=1273073.1273135},
 acmid = {1273135},
 publisher = {Association for Computational Linguistics},
 address = {Stroudsburg, PA, USA},
}

@phdthesis{khegai2006phd,
  title={{Language engineering in Grammatical Framework (GF)}},
  author={Khegai, Janna},
  year={2006},
  school={{Chalmers University of Technology}},
  publisher={{Chalmers University of Technology, Department of Computing Science}}
}

@inproceedings{enache2010,
  title={{An open-source computational grammar for Romanian}},
  author={Enache, Ramona and Ranta, Aarne and Angelov, Krasimir},
  booktitle={International Conference on Intelligent Text Processing and Computational Linguistics},
  pages={163--174},
  year={2010},
  organization={Springer}
}

@article{seki91pmcfg,
  author    = {Hiroyuki Seki and
               Takashi Matsumura and
               Mamoru Fujii and
               Tadao Kasami},
  title     = {{On Multiple Context-Free Grammars}},
  journal   = {{Theoretical Computer Science}},
  volume    = {88},
  number    = {2},
  pages     = {191--229},
  year      = {1991},
  timestamp = {Sun, 28 May 2017 13:20:06 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/SekiMFK91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
} %  doi       = {10.1016/0304-3975(91)90374-B},

@inproceedings{caprotti2006webalt,
  title={{WebALT! Deliver mathematics everywhere}},
  author={Caprotti, Olga},
  booktitle={Society for Information Technology \& Teacher Education International Conference},
  pages={2164--2168},
  year={2006},
  organization={Association for the Advancement of Computing in Education (AACE)}
}

@phdthesis{camilleri2017,
  author = {John J. Camilleri},
  title = {{Contracts and Computation--Formal modelling and analysis for normative natural language}},
  address = {Gothenburg, Sweden},
  school = {University of Gothenburg},
  year = {2017},
  url = {http://hdl.handle.net/2077/53815},
  type = {{Ph.D. thesis}}
}
%  month = {October},

@inproceedings{Safwat-EtAl:2015:iiWAS,
  author = {Safwat, Hazem and Gruzitis, Normunds and Enache, Ramona and Davis, Brian},
  title = {{Embedded controlled languages to facilitate information extraction from eGov policies}},
  booktitle = {Proceedings of the 17th International Conference on Information Integration and Web-based Applications \& Services (iiWAS)},
  year = 2015
}

@inproceedings{ranta2015grammar,
  title={Grammar Engineering for a Customer: a Case Study with Five Languages},
  author={Ranta, Aarne and Unger, Christina and Hussey, Daniel Vidal},
  booktitle={Proceedings of the Grammar Engineering Across Frameworks (GEAF) 2015 Workshop},
  pages={1--8},
  year={2015}
}

%%%%%%%%%%%%%%%%%%
%%%% Other grammar formalisms/language resources

@inproceedings{bender2010,
  title={Grammar prototyping and testing with the LinGO grammar matrix customization system},
  author={Bender, Emily M and Drellishak, Scott and Fokkens, Antske and Goodman, Michael Wayne and Mills, Daniel P and Poulson, Laurie and Saleem, Safiyyah},
  booktitle={Proceedings of the ACL 2010 system demonstrations},
  pages={1--6},
  year={2010},
  organization={Association for Computational Linguistics}
}

@book{pollard1994hpsg,
  title={Head-driven phrase structure grammar},
  author={Pollard, Carl and Sag, Ivan},
  year={1994},
  publisher={University of Chicago Press}
}

@book{butt1999lfg,
  title={{A Grammar Writer's Cookbook}},
  author={Butt, Miriam and Holloway King, Tracy and Ni{\~n}o, Mar\'{i}a-Eugenia and Segond, Fr\'{e}d\'{e}rique},
  publisher={{CSLI Publications Stanford}},
  year={1999}
}

@article{marcus1993penntreebank,
  title={Building a large annotated corpus of English: The Penn Treebank},
  author={Marcus, Mitchell P and Marcinkiewicz, Mary Ann and Santorini, Beatrice},
  journal={Computational linguistics},
  volume={19},
  number={2},
  pages={313--330},
  year={1993},
  publisher={MIT Press}
}

@inproceedings{nivre2016ud,
  title={Universal Dependencies v1: A Multilingual Treebank Collection.},
  author={Nivre, Joakim and de Marneffe, Marie-Catherine and Ginter, Filip and Goldberg, Yoav and Hajic, Jan and Manning, Christopher D. and McDonald, Ryan T. and Petrov, Slav and Pyysalo, Sampo and Silveira, Natalia and others},
  booktitle="Proceedings of the " # lrec2016,
  year={2016}
}

@article{forcada2011apertium,
  title={Apertium: a free/open-source platform for rule-based machine translation},
  author={Forcada, Mikel L and Ginest{\'\i}-Rosell, Mireia and Nordfalk, Jacob and O’Regan, Jim and Ortiz-Rojas, Sergio and P{\'e}rez-Ortiz, Juan Antonio and S{\'a}nchez-Mart{\'\i}nez, Felipe and Ram{\'\i}rez-S{\'a}nchez, Gema and Tyers, Francis M},
  journal={Machine translation},
  volume={25},
  number={2},
  pages={127--144},
  year={2011},
  publisher={Springer}
}

@article{chomsky1963,
  title={Formal properties of grammars},
  journal={Handbook of mathematical psychology},
  editors={R. Duncan Luce, Robert R. Bush, and Eugene Galanter},
  pages={323--418},
  author={Chomsky, Noam},
  year={1963},
  publisher={New York: Wiley}
}

@article{joshi1975tag,
  author    = {Aravind K. Joshi and
               Leon S. Levy and
               Masako Takahashi},
  title     = {{Tree Adjunct Grammars}},
  journal   = {{Journal of Computer and System Sciences}},
  volume    = {10},
  number    = {1},
  pages     = {136--163},
  year      = {1975},
  timestamp = {Sat, 20 May 2017 00:25:53 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/JoshiLT75},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
%   doi       = {10.1016/S0022-0000(75)80019-5},

@INPROCEEDINGS{steedman1988ccg,
    author = {Mark Steedman},
    title = {Combinators and Grammars},
    booktitle = {Categorial Grammars and Natural Language Structures},
    year = {1988},
    pages = {417--442}
}

@Article{deGroote2004,
author="de Groote, Philippe and Pogodalla, Sylvain",
title="On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms",
journal="Journal of Logic, Language and Information",
year="2004",
month="Mar",
day="01",
volume="13",
number="4",
pages="421--438",
abstract="We show how to encode context-free string grammars, linear context-free tree grammars, and linear context-free rewriting systems as Abstract Categorial Grammars. These three encodings share the same constructs, the only difference being the interpretation of the composition of the production rules. It is interpreted as a first-order operation in the case of context-free string grammars, as a second-order operation in the case of linear context-free tree grammars, and as a third-order operation in the case of linear context-free rewriting systems. This suggest the possibility of defining an Abstract Categorial Hierarchy.",
issn="1572-9583"
} % doi="10.1007/s10849-004-2114-x",

@InProceedings{Graf12,
 author	= {Graf, Thomas},
 title		= {Movement-Generalized {M}inimalist Grammars},
 year		= {2012},
 booktitle	= {{LACL} 2012},
 pages		= {58--73},
 editor	= {Béchet, Denis and Dikovsky, Alexander J.},
 volume	= {7351},
 series	= {Lecture Notes in Computer Science}
} %  doi       = {10.1007/978-3-642-31262-5_4}

@PHDTHESIS{Kobele06,
 author = {Kobele, Gregory M.},
 title = {Generating Copies: {A}n Investigation into Structural Identity in
	Language and Grammar},
 year = {2006},
 school = {UCLA},
 url = {http://home.uchicago.edu/~gkobele/files/Kobele06GeneratingCopies.pdf}
}

@ARTICLE{Michaelis01,
 author = {Michaelis, Jens},
 title = {Transforming Linear Context-Free Rewriting Systems into {M}inimalist
	Grammars},
 year = {2001},
 journal = {Lecture Notes in Artificial Intelligence},
 volume = {2099},
 pages = {228--244}
}

@INCOLLECTION{Stabler97,
 author = {Stabler, Edward P.},
 title = {Derivational {M}inimalism},
 year = {1997},
 editor = {Retor{\'e}, Christian},
 booktitle = {Logical Aspects of Computational Linguistics},
 publisher = {Springer},
 address = {Berlin},
 pages = {68--95},
 volume = {1328},
 series = {Lecture Notes in Computer Science}
}

@INCOLLECTION{Stabler11,
 author = {Stabler, Edward P.},
 title = {Computational Perspectives on {M}inimalism},
 year = {2011},
 editor = {Boeckx, Cedric},
 booktitle = {Oxford Handbook of Linguistic {M}inimalism},
 publisher = {Oxford University Press},
 address = {Oxford},
 pages = {617--643},
 doi = {10.1093/oxfordhb/9780199549368.013.0027}
}

repository: inariksit/GF-testing

repo_name: inariksit/GF-testing


text:
@article{ ISI:000292632200003,
Author = {Rekow, E. D. and Silva, N. R. F. A. and Coelho, P. G. and Zhang, Y. and
   Guess, P. and Thompson, V. P.},
Title = {{Performance of Dental Ceramics: Challenges for Improvements}},
Journal = {{JOURNAL OF DENTAL RESEARCH}},
Year = {{2011}},
Volume = {{90}},
Number = {{8}},
Pages = {{937-952}},
Month = {{AUG}},
Abstract = {{The clinical success of modern dental ceramics depends on an array of
   factors, ranging from initial physical properties of the material
   itself, to the fabrication and clinical procedures that inevitably
   damage these brittle materials, and the oral environment. Understanding
   the influence of these factors on clinical performance has engaged the
   dental, ceramics, and engineering communities alike. The objective of
   this review is to first summarize clinical, experimental, and analytic
   results reported in the recent literature. Additionally, it seeks to
   address how this new information adds insight into predictive test
   procedures and reveals challenges for future improvements.}},
Publisher = {{SAGE PUBLICATIONS INC}},
Address = {{2455 TELLER RD, THOUSAND OAKS, CA 91320 USA}},
Type = {{Review}},
Language = {{English}},
Affiliation = {{Rekow, ED (Reprint Author), NYU, Coll Dent, Dept Prosthodont, 70 Washington Sq S,Room 1238, New York, NY 10012 USA.
   Rekow, E. D.; Silva, N. R. F. A., NYU, Coll Dent, Dept Prosthodont, New York, NY 10012 USA.
   Coelho, P. G.; Zhang, Y.; Thompson, V. P., NYU, Coll Dent, Dept Biomat \& Biomimet, New York, NY 10012 USA.
   Guess, P., Univ Freiburg, Dept Prosthodont, Freiburg, Germany.}},
DOI = {{10.1177/0022034510391795}},
ISSN = {{0022-0345}},
Keywords = {{dental ceramics; clinical success; fracture modes; testing protocols}},
Keywords-Plus = {{FIXED PARTIAL DENTURES; CONTROLLED CLINICAL-TRIAL; SUBCRITICAL
   CRACK-GROWTH; FINITE-ELEMENT-ANALYSIS; 3-YEAR FOLLOW-UP; LEAST 3 YEARS;
   FRACTURE-TOUGHNESS; VENEERING CERAMICS; FAILURE ANALYSIS; STABILIZED
   ZIRCONIA}},
Research-Areas = {{Dentistry, Oral Surgery \& Medicine}},
Web-of-Science-Categories  = {{Dentistry, Oral Surgery \& Medicine}},
Author-Email = {{Dianne.rekow@nyu.edu}},
ORCID-Numbers = {{Thompson, Van P/0000-0003-0033-0344}},
Funding-Acknowledgement = {{NIH/NIDCR {[}P01 DEO 10976, RO1 DE017925]; NSF/CMMI {[}0758530]}},
Funding-Text = {{This review represents an extensive work developed and still in
   development supported by NIH/NIDCR P01 DEO 10976, RO1 DE017925, NSF/CMMI
   0758530, and collaborators from private sectors, including 3M-ESPE,
   VITA, Nobel Biocare, Ivoclar-Vivadent, Dentsply, Jensen Industries,
   Kenneth Malament, and Marotta Dental Studios.}},
Number-of-Cited-References = {{120}},
Times-Cited = {{90}},
Usage-Count-Last-180-days = {{6}},
Usage-Count-Since-2013 = {{27}},
Journal-ISO = {{J. Dent. Res.}},
Doc-Delivery-Number = {{791AM}},
Unique-ID = {{ISI:000292632200003}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Dianne Rekow},
Data={N/A}
}

@article{ ISI:000285893300085,
Author = {You, Zhanping and Mills-Beale, Julian and Foley, Justin M. and Roy,
   Samit and Odegard, Gregory M. and Dai, Qingli and Goh, Shu Wei},
Title = {{Nanoclay-modified asphalt materials: Preparation and characterization}},
Journal = {{CONSTRUCTION AND BUILDING MATERIALS}},
Year = {{2011}},
Volume = {{25}},
Number = {{2, SI}},
Pages = {{1072-1078}},
Month = {{FEB}},
Abstract = {{The objective of this study is to review existing literature in the area
   of nano-modification of asphalt and proceed to apply nano-materials to
   asphalt to improve the performance. This study integrates literature
   review, preparation, and characterization of nano-modified asphalt
   materials. In the experimental testing montmorillonite, nanoclay at 2\%
   and 4\% by weight of asphalt was blended in asphalt binder at a high
   temperature to exfoliate the nanoclay within the asphalt. The asphalt
   binder was then characterized using the Superpave (TM) rotational
   viscosity, dynamic shear modulus, and direct tension test. The
   rotational viscosity results indicate that the addition of the two types
   of nanoclay, Nanoclay A and Nanoclay 8, increased the rotational
   viscosity by an average of 41\% and 112\%, respectively, across test
   temperatures 80, 100, 130, 135, 150 and 175 degrees C. It was found that
   the dynamic shear complex modulus (G{*}) value increases significantly
   across a range of testing temperatures (from 13 to 70 degrees C) and
   loading frequencies (0.01-25 Hz). With 2\% Nanoclay A reinforcement in
   the asphalt binder, the complex shear moduli generally increased by 66\%
   while the 4\% Nanoclay A reinforcement in the asphalt binder generally
   increased the shear complex moduli by 125\%. The 2\% and 4\% Nanoclay B
   increased the shear complex moduli by 184\% and 196\%, respectively. In
   terms of direct tension strength, the use of Nanoclay A and Nanoclay B
   reduced the strain failure rate of the original binder while the secant
   or direct tension moduli showed increase with the addition of the
   nanoclays. In furtherance of this research, nanoclay-modified asphalt is
   being tested at percentages higher than 4\% to underscore the fact that
   nanoclays may have the potential to reduce rutting and cracking. (C)
   2010 Elsevier Ltd. All rights reserved.}},
Publisher = {{ELSEVIER SCI LTD}},
Address = {{THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, OXON, ENGLAND}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{You, ZP (Reprint Author), Michigan Technol Univ, Dept Civil \& Environm Engn, 1400 Townsend Dr, Houghton, MI 49931 USA.
   You, Zhanping; Mills-Beale, Julian; Foley, Justin M.; Dai, Qingli; Goh, Shu Wei, Michigan Technol Univ, Dept Civil \& Environm Engn, Houghton, MI 49931 USA.
   Roy, Samit, Univ Alabama, Dept Aerosp Engn \& Mech, Tuscaloosa, AL 35487 USA.
   Odegard, Gregory M.; Dai, Qingli, Michigan Technol Univ, Dept Mech Engn Engn Mech, Houghton, MI 49931 USA.}},
DOI = {{10.1016/j.conbuildmat.2010.06.070}},
ISSN = {{0950-0618}},
Keywords = {{Nanoclay; Modified asphalt; Nano-modification; Nano-materials;
   Characterization}},
Keywords-Plus = {{REACTIVE POLYMER MODIFIERS; PULTRUDED NANOCOMPOSITE;
   MECHANICAL-PROPERTIES; MONTMORILLONITE; MANUFACTURE; MITIGATION;
   PARTICLES; CONCRETE; DAMAGE}},
Research-Areas = {{Construction \& Building Technology; Engineering; Materials Science}},
Web-of-Science-Categories  = {{Construction \& Building Technology; Engineering, Civil; Materials
   Science, Multidisciplinary}},
Author-Email = {{zyou@mtu.edu}},
ResearcherID-Numbers = {{You, Zhanping/P-4406-2015
   }},
ORCID-Numbers = {{You, Zhanping/0000-0002-9103-6599
   Odegard, Gregory/0000-0001-7577-6565}},
Funding-Acknowledgement = {{State of Michigan - Research Excellence Funds}},
Funding-Text = {{This research could not have been completed without the significant
   contributions of former undergraduate research assistant Kari Klaboe in
   the experimental testing. The research work was partially sponsored by
   the State of Michigan - Research Excellence Funds. The experimental work
   was completed in the Transportation Materials Research Center at
   Michigan Technological University, which maintains the AASHTO Materials
   Reference Laboratory (AMRL) accreditation on asphalt and asphalt
   mixtures.}},
Number-of-Cited-References = {{46}},
Times-Cited = {{82}},
Usage-Count-Last-180-days = {{7}},
Usage-Count-Since-2013 = {{80}},
Journal-ISO = {{Constr. Build. Mater.}},
Doc-Delivery-Number = {{702KN}},
Unique-ID = {{ISI:000285893300085}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Zhanping You},
Data={N/A}
}

@article{ ISI:000292797200008,
Author = {Heap, M. J. and Baud, P. and Meredith, P. G. and Vinciguerra, S. and
   Bell, A. F. and Main, I. G.},
Title = {{Brittle creep in basalt and its application to time-dependent volcano
   deformation}},
Journal = {{EARTH AND PLANETARY SCIENCE LETTERS}},
Year = {{2011}},
Volume = {{307}},
Number = {{1-2}},
Pages = {{71-82}},
Month = {{JUL 1}},
Abstract = {{Time-dependent brittle deformation is a fundamental and pervasive
   process operating in the Earth's upper crust. Its characterization is a
   pre-requisite to understanding and unraveling the complexities of
   crustal evolution and dynamics. The preferential chemical interaction
   between pore fluids and strained atomic bonds at crack tips, a mechanism
   known as stress corrosion, allows rock to fail under a constant stress
   that is well below its short-term strength over an extended period of
   time: a process known as brittle creep. Here we present the first
   experimental measurements of brittle creep in a basic igneous rock (a
   basalt from Mt. Etna volcano) under triaxial stress conditions. Results
   from conventional creep experiments show that creep strain rates are
   highly dependent on the level of applied stress (and can be equally well
   fit by a power law or an exponential law): with a 20\% increase in
   stress producing close to three orders of magnitude increase in creep
   strain rate. Results from stress-stepping creep experiments show that
   creep strain rates are also influenced by the imposed effective
   confining pressure. We show that only part of this change can be
   attributed to the purely mechanical influence of an increase in
   effective pressure, with the remainder interpreted as due to a reduction
   in stress corrosion reactions; the result of a reduction in crack
   aperture that restricts the rate of transport of reactive species to
   crack tips. Overall, our results also suggest that a critical level of
   crack damage is required before the deformation starts to accelerate to
   failure, regardless of the level of applied stress and the time taken to
   reach this point. The experimental results are discussed in terms of
   microstructural observations and fits to a macroscopic creep law, and
   compared with the observed deformation history at Mt. Etna volcano. (c)
   2011 Elsevier B.V. All rights reserved.}},
Publisher = {{ELSEVIER SCIENCE BV}},
Address = {{PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Heap, MJ (Reprint Author), Univ Strasbourg EOST, CNRS, UMR 7516, Inst Phys Globe Strasbourg,Lab Geophys Expt, 5 Rue Rene Descartes, F-67084 Strasbourg, France.
   Heap, M. J.; Baud, P., Univ Strasbourg EOST, CNRS, UMR 7516, Inst Phys Globe Strasbourg,Lab Geophys Expt, F-67084 Strasbourg, France.
   Heap, M. J.; Meredith, P. G., UCL, Dept Earth Sci, RIPL, London WC1E 6BT, England.
   Vinciguerra, S., Ist Nazl Geofis \& Vulcanol, Sez Roma1, I-00143 Rome, Italy.
   Bell, A. F.; Main, I. G., Univ Edinburgh, Grant Inst, Sch GeoSci, Edinburgh EH9 3JW, Midlothian, Scotland.}},
DOI = {{10.1016/j.epsl.2011.04.035}},
ISSN = {{0012-821X}},
Keywords = {{stress corrosion; brittle creep; triaxial; basalt; Mt. Etna;
   time-dependent deformation}},
Keywords-Plus = {{SUBCRITICAL CRACK-GROWTH; MT. ETNA VOLCANO; STRESS-CORROSION; WESTERLY
   GRANITE; STATIC FATIGUE; MOUNT-ETNA; ACOUSTIC-EMISSION; STRAIN RATES;
   CONFINING PRESSURE; TEMPERATURE CREEP}},
Research-Areas = {{Geochemistry \& Geophysics}},
Web-of-Science-Categories  = {{Geochemistry \& Geophysics}},
Author-Email = {{mheap@ucl.ac.uk}},
ResearcherID-Numbers = {{Heap, Michael/C-7215-2011
   }},
ORCID-Numbers = {{Meredith, Philip/0000-0003-2193-5342}},
Funding-Acknowledgement = {{NERC {[}NER/S/A2005/13553]; EU; Royal Society/CNRS}},
Funding-Text = {{We gratefully acknowledge Neil Hughes, Steve Boon and John Bowles for
   their assistance and support during experimentation and Simon Hunt for
   preparing the `bathtub' curve. M. Heap was funded by NERC studentship
   NER/S/A2005/13553 and A. Bell by the EU `NERIES' project. The Galilee
   program 2008/2009 is thanked for supporting collaborative work of P.
   Baud and S. Vinciguerra. This work was also partly funded by a Royal
   Society/CNRS International Joint Project award. We gratefully
   acknowledge the constructive comments of Yanick Ricard, Fernando Ornelas
   Marques and one anonymous reviewer. The authors would also like to thank
   Skype.}},
Number-of-Cited-References = {{89}},
Times-Cited = {{66}},
Usage-Count-Last-180-days = {{3}},
Usage-Count-Since-2013 = {{34}},
Journal-ISO = {{Earth Planet. Sci. Lett.}},
Doc-Delivery-Number = {{793CE}},
Unique-ID = {{ISI:000292797200008}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Michael J. Heap},
Data={N/A}
}

@article{ ISI:000294396200015,
Author = {Escobar, D. Perez and Minambres, C. and Duprez, L. and Verbeken, K. and
   Verhaege, M.},
Title = {{Internal and surface damage of multiphase steels and pure iron after
   electrochemical hydrogen charging}},
Journal = {{CORROSION SCIENCE}},
Year = {{2011}},
Volume = {{53}},
Number = {{10}},
Pages = {{3166-3176}},
Month = {{OCT}},
Abstract = {{High strength steels appear to be even more prone to hydrogen
   embrittlement (HE). In this work, pure iron and a ferrite-bainite steel
   were charged electrochemically using various electrolytes and
   combinations of current density and charging time to identify the
   experimental conditions where blister formation occurred. The appearance
   and propagation of cracks inside the sample were studied also by means
   of high resolution scanning electron microscopy. The study was repeated
   for a dual phase (DP) steel; a TRIP steel and a high strength low alloy
   (HSLA), which allowed to get an indication on the effect of variable
   microstructural characteristics. (C) 2011 Elsevier Ltd. All rights
   reserved.}},
Publisher = {{PERGAMON-ELSEVIER SCIENCE LTD}},
Address = {{THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, ENGLAND}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Escobar, DP (Reprint Author), Ghent Univ UGent, Dept Mat Sci \& Engn, Technol Pk 903, B-9052 Ghent, Belgium.
   Escobar, D. Perez; Minambres, C.; Verbeken, K.; Verhaege, M., Ghent Univ UGent, Dept Mat Sci \& Engn, B-9052 Ghent, Belgium.
   Duprez, L., ArcelorMittal Res Ind Gent, B-9060 Zelzate, Belgium.
   Verbeken, K., Max Planck Inst Eisenforsch GmbH, D-40237 Dusseldorf, Germany.}},
DOI = {{10.1016/j.corsci.2011.05.060}},
ISSN = {{0010-938X}},
Keywords = {{Iron; Steel; SEM; Hydrogen embrittlement; Segregation}},
Keywords-Plus = {{HIGH-STRENGTH STEEL; STRESS-CORROSION CRACKING; INDUCED BLISTER
   CRACKING; PIPELINE STEELS; EMBRITTLEMENT; ABSORPTION; MECHANISM;
   ALUMINUM; NUCLEATION; INCLUSIONS}},
Research-Areas = {{Materials Science; Metallurgy \& Metallurgical Engineering}},
Web-of-Science-Categories  = {{Materials Science, Multidisciplinary; Metallurgy \& Metallurgical
   Engineering}},
Author-Email = {{Diana.perezescobar@ugent.be}},
ResearcherID-Numbers = {{Perez Escobar, Diana/E-2057-2014}},
ORCID-Numbers = {{Perez Escobar, Diana/0000-0003-2107-364X}},
Funding-Acknowledgement = {{(BOF), Ghent University {[}B0F10/ZAP/121]}},
Funding-Text = {{The authors wish to thank the Special Research Fund (BOF), Ghent
   University, for financial support (B0F10/ZAP/121). The authors also
   acknowledge the technicians and staff working at the hydrogen laboratory
   at OCAS (ArcelorMittal) and the technical staff from the Department
   Materials Science and Engineering, Ghent University, for their help with
   the experiments and sample preparation.}},
Number-of-Cited-References = {{34}},
Times-Cited = {{60}},
Usage-Count-Last-180-days = {{3}},
Usage-Count-Since-2013 = {{43}},
Journal-ISO = {{Corrosion Sci.}},
Doc-Delivery-Number = {{813UR}},
Unique-ID = {{ISI:000294396200015}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Diana Pérez Escobar},
Data={N/A}
}

@article{ ISI:000287116400013,
Author = {Scheyvaerts, F. and Onck, P. R. and Tekoglu, C. and Pardoen, T.},
Title = {{The growth and coalescence of ellipsoidal voids in plane strain under
   combined shear and tension}},
Journal = {{JOURNAL OF THE MECHANICS AND PHYSICS OF SOLIDS}},
Year = {{2011}},
Volume = {{59}},
Number = {{2}},
Pages = {{373-397}},
Month = {{FEB}},
Abstract = {{New extensions of a model for the growth and coalescence of ellipsoidal
   voids based on the Gurson formalism are proposed in order to treat
   problems involving shear and/or voids axis not necessarily aligned with
   the main loading direction, under plane strain loading conditions. These
   extensions are motivated and validated using 3D finite element void cell
   calculations with overall plane strain enforced in one direction. The
   starting point is the Gologanu model dealing with spheroidal void shape.
   A void rotation law based on homogenization theory is coupled to this
   damage model. The predictions of the model closely agree with the 3D
   cell calculations, capturing the effect of the initial void shape and
   orientation on the void rotation rate. An empirical correction is also
   introduced for the change of the void aspect ratio in the plane
   transverse to the main axis of the void departing from its initially
   circular shape. This correction is needed for an accurate prediction of
   the onset of coalescence. Next, a new approach is proposed to take
   strain hardening into account within the Thomason criterion for internal
   necking, avoiding the use of strain hardening-dependent fitting
   parameters. The coalescence criterion is generalized to any possible
   direction of the coalescence plane and void orientation. Finally, the
   model is supplemented by a mathematical description of the final drop of
   the stress carrying capacity during coalescence. The entire model is
   developed for plane strain conditions, setting the path to a 3D
   extension. After validation of the model, a parametric study addresses
   the effect of shear on the ductility of metallic alloys for a range of
   microstructural and flow parameters, under different stress states. In
   general, the presence of shear, for identical stress triaxiality,
   decreases the ductility, partly explaining recent experimental results
   obtained in the low stress triaxiality regime. (C) 2010 Elsevier Ltd.
   All rights reserved.}},
Publisher = {{PERGAMON-ELSEVIER SCIENCE LTD}},
Address = {{THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, ENGLAND}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Pardoen, T (Reprint Author), Catholic Univ Louvain, Inst Mech Mat \& Civil Engn, Pl St Barbe 2, B-1348 Louvain, Belgium.
   Scheyvaerts, F.; Tekoglu, C.; Pardoen, T., Catholic Univ Louvain, Inst Mech Mat \& Civil Engn, B-1348 Louvain, Belgium.
   Scheyvaerts, F.; Onck, P. R., Univ Groningen, Zernike Inst Adv Mat, NL-9747 AG Groningen, Netherlands.}},
DOI = {{10.1016/j.jmps.2010.10.003}},
ISSN = {{0022-5096}},
EISSN = {{1873-4782}},
Keywords = {{Ductility; Fracture mechanisms; Voids and inclusions; Constitutive
   behaviour; Shear}},
Keywords-Plus = {{DUCTILE CRACK-GROWTH; GURSON-TYPE MODEL; NONSPHERICAL VOIDS;
   GRAIN-BOUNDARY; CONSTITUTIVE MODELS; APPROXIMATE MODELS; DAMAGE
   DEVELOPMENT; FLOW LOCALIZATION; YIELD CRITERION; METALLIC ALLOYS}},
Research-Areas = {{Materials Science; Mechanics; Physics}},
Web-of-Science-Categories  = {{Materials Science, Multidisciplinary; Mechanics; Physics, Condensed
   Matter}},
Author-Email = {{thomas.pardoen@uclouvain.be}},
ResearcherID-Numbers = {{Tekoglu, Cihan/F-4797-2011
   }},
ORCID-Numbers = {{Tekoglu, Cihan/0000-0001-7383-3909}},
Funding-Acknowledgement = {{Walloon Region (DGTRE); Fonds Social Europeen
   {[}EPH3310300R0302/215284]; CISM (Institut de calcul intensif et de
   stockage de masse) of UCL; Belgian Science Policy {[}P6/24]}},
Funding-Text = {{Fruitful discussions about the present study with J.-B. Leblond and G.
   Perrin as well as the very constructive comments made by the Referees
   are gratefully acknowledged. F.S. acknowledges the support of the
   Walloon Region (DGTRE) and the Fonds Social Europeen through a ``FIRST
   EUROPE Objectif 3{''} project under the contract EPH3310300R0302/215284.
   The support of the CISM (Institut de calcul intensif et de stockage de
   masse) of UCL is gratefully acknowledged. This research was carried out
   under the University Attraction Poles (IAP) Programme, financed by the
   Belgian Science Policy under contract P6/24.}},
Number-of-Cited-References = {{94}},
Times-Cited = {{57}},
Usage-Count-Last-180-days = {{2}},
Usage-Count-Since-2013 = {{37}},
Journal-ISO = {{J. Mech. Phys. Solids}},
Doc-Delivery-Number = {{718JE}},
Unique-ID = {{ISI:000287116400013}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Thomas Pardoen},
Data={N/A}
}

@article{ ISI:000287211700008,
Author = {Yang, Sheng-Qi and Jing, Hong-Wen},
Title = {{Strength failure and crack coalescence behavior of brittle sandstone
   samples containing a single fissure under uniaxial compression}},
Journal = {{INTERNATIONAL JOURNAL OF FRACTURE}},
Year = {{2011}},
Volume = {{168}},
Number = {{2}},
Pages = {{227-250}},
Month = {{APR}},
Abstract = {{Uniaxial compression experiments were performed for brittle sandstone
   samples containing a single fissure by a rock mechanics servo-controlled
   testing system. Based on the experimental results of axial stress-axial
   strain curves, the influence of single fissure geometry on the strength
   and deformation behavior of sandstone samples is analyzed in detail.
   Compared with the intact sandstone sample, the sandstone samples
   containing a single fissure show the localization deformation failure.
   The uniaxial compressive strength, Young's modulus and peak axial strain
   of sandstone samples with pre-existing single fissure are all lower than
   that of intact sandstone sample, which is closely related to the fissure
   length and fissure angle. The crack coalescence was observed and
   characterized from tips of pre-existing single fissure in brittle
   sandstone sample. Nine different crack types are identified based on
   their geometry and crack propagation mechanism (tensile, shear, lateral
   crack, far-field crack and surface spalling) for single fissure, which
   can be used to analyze the failure mode and cracking process of
   sandstone sample containing a single fissure under uniaxial compression.
   To confirm the subsequence of crack coalescence in sandstone sample, the
   photographic monitoring and acoustic emission (AE) technique were
   adopted for uniaxial compression test. The real-time crack coalescence
   process of sandstone containing a single fissure was recorded during the
   whole loading. In the end, the influence of the crack coalescence on the
   strength and deformation failure behavior of brittle sandstone sample
   containing a single fissure is analyzed under uniaxial compression. The
   present research is helpful to understand the failure behavior and
   fracture mechanism of engineering rock mass (such as slope instability
   and underground rock burst).}},
Publisher = {{SPRINGER}},
Address = {{VAN GODEWIJCKSTRAAT 30, 3311 GZ DORDRECHT, NETHERLANDS}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Yang, SQ (Reprint Author), China Univ Min \& Technol, Sch Mech \& Civil Engn, State Key Lab Geomech \& Deep Underground Engn, Xuzhou 221008, Peoples R China.
   Yang, Sheng-Qi; Jing, Hong-Wen, China Univ Min \& Technol, Sch Mech \& Civil Engn, State Key Lab Geomech \& Deep Underground Engn, Xuzhou 221008, Peoples R China.}},
DOI = {{10.1007/s10704-010-9576-4}},
ISSN = {{0376-9429}},
Keywords = {{Brittle sandstone; Fissure length; Fissure angle; Mechanical parameter;
   Failure mode; Crack coalescence; Tensile crack; Surface spalling;
   Acoustic Emission (AE)}},
Keywords-Plus = {{ROCK-LIKE MATERIALS; ACOUSTIC-EMISSION; TRIAXIAL COMPRESSION; PRECRACKED
   MARBLE; 3 FLAWS; FRACTURE; STRESS; DAMAGE; PROPAGATION; MECHANISMS}},
Research-Areas = {{Materials Science; Mechanics}},
Web-of-Science-Categories  = {{Materials Science, Multidisciplinary; Mechanics}},
Author-Email = {{yangsqi@hotmail.com}},
Funding-Acknowledgement = {{National Natural Science Foundation of China {[}50709008]; China
   Postdoctoral Science Foundation {[}20100470068]; Blue Project of
   Colleges and Universities of Jiangsu Province in China}},
Funding-Text = {{The authors would like to acknowledge the financial support by the
   National Natural Science Foundation of China (no. 50709008), China
   Postdoctoral Science Foundation funded project (no. 20100470068) and
   Blue Project of Colleges and Universities of Jiangsu Province in China
   (2010). We also would like to express our sincere gratitude to Prof.
   Andre Vervoort and another anonymous reviewer for their valuable
   comments, which have greatly improved this paper.}},
Number-of-Cited-References = {{31}},
Times-Cited = {{56}},
Usage-Count-Last-180-days = {{19}},
Usage-Count-Since-2013 = {{77}},
Journal-ISO = {{Int. J. Fract.}},
Doc-Delivery-Number = {{719NO}},
Unique-ID = {{ISI:000287211700008}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Sheng-Qi Yang},
Data={N/A}
}

@article{ ISI:000291602800003,
Author = {Amann, Florian and Button, Edward Alan and Evans, Keith Frederick and
   Gischig, Valentin Samuel and Bluemel, Manfred},
Title = {{Experimental Study of the Brittle Behavior of Clay shale in Rapid
   Unconfined Compression}},
Journal = {{ROCK MECHANICS AND ROCK ENGINEERING}},
Year = {{2011}},
Volume = {{44}},
Number = {{4}},
Pages = {{415-430}},
Month = {{JUL}},
Abstract = {{The mechanical behavior of clay shales is of great interest in many
   branches of geo-engineering, including nuclear waste disposal,
   underground excavations, and deep well drilling. Observations from test
   galleries (Mont Terri, Switzerland and Bure, France) in these materials
   have shown that the rock mass response near the excavation is associated
   with brittle failure processes combined with bedding parallel shearing.
   To investigate the brittle failure characteristics of the Opalinus Clay
   recovered from the Mont Terri Underground Research Laboratory, a series
   of 19 unconfined uniaxial compression tests were performed utilizing
   servo-controlled testing procedures. All specimens were tested at their
   natural water content with loading approximately normal to the bedding.
   Acoustic emission (AE) measurements were utilized to help quantify
   stress levels associated with crack initiation and propagation. The
   unconfined compression strength of the tested specimens averaged 6.9
   MPa. The crack initiation threshold occurred at approximately 30\% of
   the rupture stress based on analyzing both the acoustic emission
   measurements and the stress-strain behavior. The crack damage threshold
   showed large variability and occurred at approximately 70\% of the
   rupture stress.}},
Publisher = {{SPRINGER WIEN}},
Address = {{SACHSENPLATZ 4-6, PO BOX 89, A-1201 WIEN, AUSTRIA}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Amann, F (Reprint Author), Swiss Fed Inst Technol, Inst Geol, Sonneggstr 5, CH-8092 Zurich, Switzerland.
   Amann, Florian; Evans, Keith Frederick; Gischig, Valentin Samuel, Swiss Fed Inst Technol, Inst Geol, CH-8092 Zurich, Switzerland.
   Button, Edward Alan, Geoconsult Pvt Ltd, Gurgaon, India.
   Bluemel, Manfred, Graz Univ Technol, Inst Rock Mech \& Tunnelling, A-8010 Graz, Austria.}},
DOI = {{10.1007/s00603-011-0156-3}},
ISSN = {{0723-2632}},
Keywords = {{Unconfined compressive strength; Brittle failure; Anisotropic rock; Clay
   shale; Damage initiation; Acoustic emissions}},
Keywords-Plus = {{CANADIAN GEOTECHNICAL COLLOQUIUM; OPALINUS CLAY; ACOUSTIC-EMISSION;
   MECHANICAL-PROPERTIES; TRIAXIAL COMPRESSION; ARGILLACEOUS ROCKS;
   TOURNEMIRE SHALE; LAYERED ROCKS; CRACK-GROWTH; FRACTURE}},
Research-Areas = {{Engineering; Geology}},
Web-of-Science-Categories  = {{Engineering, Geological; Geosciences, Multidisciplinary}},
Author-Email = {{florian.amann@erdw.ethz.ch}},
Funding-Acknowledgement = {{Swiss Federal Nuclear Safety Inspectorate (ENSI)}},
Funding-Text = {{This study was funded by the Swiss Federal Nuclear Safety Inspectorate
   (ENSI). The authors would like to thank Prof. Dr. Peter Kaiser and one
   unknown reviewer for the thorough review and useful suggestions.}},
Number-of-Cited-References = {{82}},
Times-Cited = {{49}},
Usage-Count-Last-180-days = {{3}},
Usage-Count-Since-2013 = {{32}},
Journal-ISO = {{Rock Mech. Rock Eng.}},
Doc-Delivery-Number = {{777GB}},
Unique-ID = {{ISI:000291602800003}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Florian Amann},
Data={N/A}
}

@article{ ISI:000297012500002,
Author = {Iarve, Endel V. and Gurvich, Mark R. and Mollenhauer, David H. and Rose,
   Cheryl A. and Davila, Carlos G.},
Title = {{Mesh-independent matrix cracking and delamination modeling in laminated
   composites}},
Journal = {{INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING}},
Year = {{2011}},
Volume = {{88}},
Number = {{8}},
Pages = {{749-773}},
Month = {{NOV 25}},
Abstract = {{The initiation and evolution of transverse matrix cracks and
   delaminations are predicted within a mesh-independent cracking (MIC)
   framework. MIC is a regularized extended finite element method (x-FEM)
   that allows the insertion of cracks in directions that are independent
   of the mesh orientation. The Heaviside step function that is typically
   used to introduce a displacement discontinuity across a crack surface is
   replaced by a continuous function approximated by using the original
   displacement shape functions. Such regularization allows the
   preservation of the Gaussian integration schema regardless of the
   enrichment required to model cracking in an arbitrary direction. The
   interaction between plies is anchored on the integration point
   distribution, which remains constant through the entire simulation.
   Initiation and propagation of delaminations between plies as well as
   intra-ply MIC opening is implemented by using a mixed-mode cohesive
   formulation in a fully three-dimensional model that includes residual
   thermal stresses. The validity of the proposed methodology was tested
   against a variety of problems ranging from simple evolution of
   delamination from existing transverse cracks to strength predictions of
   complex laminates without a priori knowledge of damage location or
   initiation. Good agreement with conventional numerical solutions and/or
   experimental data was observed in all the problems considered. Published
   2011. This article is a US Government work and is in the public domain
   in the USA.}},
Publisher = {{WILEY-BLACKWELL}},
Address = {{COMMERCE PLACE, 350 MAIN ST, MALDEN 02148, MA USA}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Iarve, EV (Reprint Author), USAF, Res Lab, 2941 Hobson Way, Wright Patterson AFB, OH 45433 USA.
   Iarve, Endel V.; Mollenhauer, David H., USAF, Res Lab, Wright Patterson AFB, OH 45433 USA.
   Iarve, Endel V., Univ Dayton, Res Inst, Dayton, OH 45469 USA.
   Gurvich, Mark R., United Technol Res Ctr, E Hartford, CT 06108 USA.
   Rose, Cheryl A.; Davila, Carlos G., NASA, Langley Res Ctr, Hampton, VA 23681 USA.}},
DOI = {{10.1002/nme.3195}},
ISSN = {{0029-5981}},
Keywords = {{composite; mesh independent cracking; delamination; failure}},
Keywords-Plus = {{FINITE-ELEMENT-METHOD; CONTINUUM DAMAGE MODEL; PART I; DISCONTINUITIES;
   MICROMECHANICS; SIMULATION; SPECIMENS; FAILURE; LAW}},
Research-Areas = {{Engineering; Mathematics}},
Web-of-Science-Categories  = {{Engineering, Multidisciplinary; Mathematics, Interdisciplinary
   Applications}},
Author-Email = {{endel.iarve@wpafb.af.mil}},
ResearcherID-Numbers = {{Davila, Carlos/D-8559-2011}},
Funding-Acknowledgement = {{NASA AAD-2 {[}NNX08AB05A-G]; AFRL {[}FA8650-05-D-5052]; University of
   Dayton Research Institute}},
Funding-Text = {{The work was funded under NASA AAD-2 contract number NNX08AB05A-G and
   partially by AFRL contract FA8650-05-D-5052 with the University of
   Dayton Research Institute.}},
Number-of-Cited-References = {{36}},
Times-Cited = {{48}},
Usage-Count-Last-180-days = {{3}},
Usage-Count-Since-2013 = {{29}},
Journal-ISO = {{Int. J. Numer. Methods Eng.}},
Doc-Delivery-Number = {{847YR}},
Unique-ID = {{ISI:000297012500002}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Endel V. Iarve},
Data={N/A}
}

@article{ ISI:000288298800007,
Author = {Idiart, Andres E. and Lopez, Carlos M. and Carol, Ignacio},
Title = {{Chemo-mechanical analysis of concrete cracking and degradation due to
   external sulfate attack: A meso-scale model}},
Journal = {{CEMENT \& CONCRETE COMPOSITES}},
Year = {{2011}},
Volume = {{33}},
Number = {{3}},
Pages = {{411-423}},
Month = {{MAR}},
Abstract = {{In this paper we focus on the external sulfate attack on concrete
   specimens at the meso-level. There is nowadays a renewed interest in
   rationally describing the mechanisms behind expansive processes leading
   to cracking and spalling of concrete exposed to sulfate solutions. A
   model is presented for degradation of concrete exposed to external
   sulfate attack at the meso-level, i.e. representing explicitly in the
   simulations the main heterogeneities of the material. A previously
   developed mesomechanical approach has been coupled with a
   diffusion-reaction analysis at the same scale. It is based on the
   systematic use of zero-thickness interface elements equipped with
   fracture-based constitutive laws, and the effect of discrete cracks on
   the transport of ions is explicitly accounted for. The main results
   obtained agree qualitatively and quantitatively well with experimental
   observations in terms of ettringite penetration depth, expansions, crack
   patterns and spalling effects. (C) 2010 Elsevier Ltd. All rights
   reserved.}},
Publisher = {{ELSEVIER SCI LTD}},
Address = {{THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, OXON, ENGLAND}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Idiart, AE (Reprint Author), OXAND SA, 49 Av F Roosevelt, F-77210 Avon, France.
   Idiart, Andres E., OXAND SA, F-77210 Avon, France.
   Lopez, Carlos M.; Carol, Ignacio, UPC Tech Univ Catalonia, ETSECCPB Sch Civil Engn, E-08034 Barcelona, Spain.}},
DOI = {{10.1016/j.cemconcomp.2010.12.001}},
ISSN = {{0958-9465}},
Keywords = {{External sulfate attack; Concrete; Chemo-mechanical modeling; Meso-scale}},
Keywords-Plus = {{CEMENT-BASED MATERIALS; INTERFACE ELEMENTS; DIFFUSION; EXPANSION;
   SIMULATION; SPECIMENS; TRANSPORT; LIMESTONE; BEHAVIOR; DAMAGE}},
Research-Areas = {{Construction \& Building Technology; Materials Science}},
Web-of-Science-Categories  = {{Construction \& Building Technology; Materials Science, Composites}},
Author-Email = {{Andres.Idiart@upc.edu}},
ResearcherID-Numbers = {{Carol, Ignacio/H-9011-2015
   }},
ORCID-Numbers = {{Carol, Ignacio/0000-0002-1821-7203
   Idiart, Andres/0000-0003-0919-6655}},
Funding-Acknowledgement = {{MEC (Madrid, Spain) {[}BIA2006-12717]; MICINN (Madrid, Spain)
   {[}BIA2009-10491]; AGAUR-Generalitat de Catalunya, Barcelona)
   {[}2009SGR-180]; MEC}},
Funding-Text = {{This research has been supported by grants BIA2006-12717 funded by MEC
   (Madrid, Spain) and BIA2009-10491 funded by MICINN (Madrid, Spain), as
   well as grant 2009SGR-180 from AGAUR-Generalitat de Catalunya,
   Barcelona). The first author also wishes to thank MEC for the FPI
   doctoral fellowship (2004-2008). Special thanks to Dr. Barbara
   Lothenbach (EMPA, Switzerland) and Prof. Ignasi Casanova (UPC, Spain)
   for insightful discussions.}},
Number-of-Cited-References = {{54}},
Times-Cited = {{44}},
Usage-Count-Last-180-days = {{2}},
Usage-Count-Since-2013 = {{45}},
Journal-ISO = {{Cem. Concr. Compos.}},
Doc-Delivery-Number = {{733XW}},
Unique-ID = {{ISI:000288298800007}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Andrés E. Idiart},
Data={N/A}
}

@article{ ISI:000287567000003,
Author = {Wu, N. and Wang, Q.},
Title = {{Experimental studies on damage detection of beam structures with wavelet
   transform}},
Journal = {{INTERNATIONAL JOURNAL OF ENGINEERING SCIENCE}},
Year = {{2011}},
Volume = {{49}},
Number = {{3}},
Pages = {{253-261}},
Month = {{MAR}},
Abstract = {{Experimental studies are reported for crack detection of a beam
   structure under a static displacement with the spatial wavelet
   transform. An invisible perturbation in the deflection profile of the
   beam at the crack position due to its existence would be induced. Such a
   small perturbation will be discerned or amplified through a wavelet
   transform such that a detection of crack location becomes possible
   practically. To realize this, the static profile of a cracked cantilever
   aluminum beam subjected to a static displacement at its free end is
   analyzed with Gabor wavelet to identify the crack. The damage detection
   of the beam with different crack depths is conducted. The spatial
   wavelet transform is proven to be effective in identifying the damage
   area even when the crack depth is around 26\% of the thickness of the
   beam. (C) 2010 Elsevier Ltd. All rights reserved.}},
Publisher = {{PERGAMON-ELSEVIER SCIENCE LTD}},
Address = {{THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, ENGLAND}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Wang, Q (Reprint Author), Univ Manitoba, Dept Mech \& Mfg Engn, Winnipeg, MB R3T 5V6, Canada.
   Wu, N.; Wang, Q., Univ Manitoba, Dept Mech \& Mfg Engn, Winnipeg, MB R3T 5V6, Canada.}},
DOI = {{10.1016/j.ijengsci.2010.12.004}},
ISSN = {{0020-7225}},
Keywords = {{Wavelet transform; Spatial wavelet; Cracked beam; Laser profile sensor;
   Damage detection; Structural health monitoring}},
Keywords-Plus = {{CRACK DETECTION; IDENTIFICATION; VIBRATION; PLATES}},
Research-Areas = {{Engineering}},
Web-of-Science-Categories  = {{Engineering, Multidisciplinary}},
Author-Email = {{q_wang@umanitoba.ca}},
ResearcherID-Numbers = {{Wang, Quan/A-7931-2012}},
ORCID-Numbers = {{Wang, Quan/0000-0002-9808-5035}},
Funding-Acknowledgement = {{Canada Research Chairs Program (CRC)}},
Funding-Text = {{This research was undertaken, in part, thanks to funding from the Canada
   Research Chairs Program (CRC).}},
Number-of-Cited-References = {{25}},
Times-Cited = {{44}},
Usage-Count-Last-180-days = {{1}},
Usage-Count-Since-2013 = {{22}},
Journal-ISO = {{Int. J. Eng. Sci.}},
Doc-Delivery-Number = {{724HP}},
Unique-ID = {{ISI:000287567000003}},
OA = {{No}},
DA = {{2017-08-29}},
Author-Name={Quan Wang},
Data={N/A}
}

@article{ ISI:000289766200012,
Author = {Ozbolt, Josko and Sharma, Akanshu and Reinhardt, Hans-Wolf},
Title = {{Dynamic fracture of concrete - compact tension specimen}},
Journal = {{INTERNATIONAL JOURNAL OF SOLIDS AND STRUCTURES}},
Year = {{2011}},
Volume = {{48}},
Number = {{10}},
Pages = {{1534-1543}},
Month = {{MAY 15}},
Abstract = {{The behavior of concrete structures is strongly influenced by the
   loading rate. Compared to quasi-static loading concrete loaded by impact
   loading acts in a different way. First, there is a strain-rate influence
   on strength, stiffness, and ductility, and, second, there are inertia
   forces activated. Both influences are clearly demonstrated in
   experiments. Moreover, for concrete structures, which exhibit damage and
   fracture phenomena, the failure mode and cracking pattern depend on
   loading rate. In general, there is a tendency that with the increase of
   loading rate the failure mode changes from mode-I to mixed mode.
   Furthermore, theoretical and experimental investigations indicate that
   after the crack reaches critical speed of propagation there is crack
   branching. The present paper focuses on 3D finite-element study of the
   crack propagation of the concrete compact tension specimen. The rate
   sensitive microplane model is used as a constitutive law for concrete.
   The strain-rate influence is captured by the activation energy theory.
   Inertia forces are implicitly accounted for through dynamic finite
   element analysis. The results of the study show that the fracture of the
   specimen strongly depends on the loading rate. For relatively low
   loading rates there is a single crack due to the mode-I fracture.
   However, with the increase of loading rate crack branching is observed.
   Up to certain threshold (critical) loading rate the maximal crack
   velocity increases with increase of loading rate, however, for higher
   loading rates maximal velocity of the crack propagation becomes
   independent of the loading rate. The critical crack velocity at the
   onset of crack branching is found to be approximately 500 m/s. (C) 2011
   Elsevier Ltd. All rights reserved.}},
Publisher = {{PERGAMON-ELSEVIER SCIENCE LTD}},
Address = {{THE BOULEVARD, LANGFORD LANE, KIDLINGTON, OXFORD OX5 1GB, ENGLAND}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Ozbolt, J (Reprint Author), Univ Stuttgart, Inst Construct Mat, D-70560 Stuttgart, Germany.
   Ozbolt, Josko; Reinhardt, Hans-Wolf, Univ Stuttgart, Inst Construct Mat, D-70560 Stuttgart, Germany.
   Sharma, Akanshu, Bhabha Atom Res Ctr, Reactor Safety Div, Bombay 400085, Maharashtra, India.}},
DOI = {{10.1016/j.ijsolstr.2011.01.033}},
ISSN = {{0020-7683}},
Keywords = {{Concrete; Compact tension specimen; Dynamic fracture; Rate sensitivity;
   Crack branching; Finite element analysis; Microplane model}},
Keywords-Plus = {{MIXED-MODE FRACTURE; MICROPLANE MODEL; CRACK-PROPAGATION; STRAIN;
   BEHAVIOR; EXTENSION; VELOCITY; RATES}},
Research-Areas = {{Mechanics}},
Web-of-Science-Categories  = {{Mechanics}},
Author-Email = {{ozbolt@iwb.uni-stuttgart.de}},
Author-Name={Josko Ozbolt},
Data={N/A},
Number-of-Cited-References = {{40}},
Times-Cited = {{43}},
Usage-Count-Last-180-days = {{2}},
Usage-Count-Since-2013 = {{19}},
Journal-ISO = {{Int. J. Solids Struct.}},
Doc-Delivery-Number = {{753IT}},
Unique-ID = {{ISI:000289766200012}},
OA = {{No}},
DA = {{2017-08-29}},
}

@article{ ISI:000279477200004,
Author = {Shi, Xianming and Fay, Laura and Peterson, Marijean M. and Yang,
   Zhengxian},
Title = {{Freeze-thaw damage and chemical change of a portland cement concrete in
   the presence of diluted deicers}},
Journal = {{MATERIALS AND STRUCTURES}},
Year = {{2010}},
Volume = {{43}},
Number = {{7}},
Pages = {{933-946}},
Month = {{AUG}},
Abstract = {{The present study experimentally investigates the effect of different
   diluted deicers on concrete deterioration. Laboratory simulations of
   environmental freeze/thaw cycling were first conducted on Portland
   cement concrete specimens in the presence of various deicers (NaCl,
   K-formate, NaCl-based deicer, K-acetate-based deicer,
   Na-acetate/Na-formate blend deicer, CMA deicer, or MgCl(2) liquid
   deicer); and SEM/EDX measurements were then conducted for the concrete
   samples. Under the experimental conditions in this study, the CMA solid
   deicer and the MgCl(2) liquid deicer were benign to the concrete
   durability, whereas K-formate and the Na-acetate/Na-formate blend deicer
   showed moderate amount of weight loss and noticeable deterioration of
   the concrete. NaCl, the NaCl-based deicer, and the K-acetate-based
   deicer were the most deleterious to the concrete. In addition to
   exacerbating physical distresses, each investigated chemical or diluted
   deicer chemically reacted with some of the cement hydrates and formed
   new products in the pores and cracks. Such physiochemical changes of the
   cement paste induced by the deicers pose various levels of risks for the
   concrete durability.}},
Publisher = {{SPRINGER}},
Address = {{VAN GODEWIJCKSTRAAT 30, 3311 GZ DORDRECHT, NETHERLANDS}},
Type = {{Article}},
Language = {{English}},
Affiliation = {{Shi, XM (Reprint Author), Montana State Univ, Corros \& Sustainable Infrastruct Lab, Western Transportat Inst, Coll Engn, POB 174250, Bozeman, MT 59717 USA.
   Shi, Xianming; Fay, Laura; Peterson, Marijean M.; Yang, Zhengxian, Montana State Univ, Corros \& Sustainable Infrastruct Lab, Western Transportat Inst, Coll Engn, Bozeman, MT 59717 USA.
   Shi, Xianming, Montana State Univ, Dept Civil Engn, Bozeman, MT 59717 USA.}},
DOI = {{10.1617/s11527-009-9557-0}},
ISSN = {{1359-5997}},
Keywords = {{Deicer; Portland cement concrete; SEM; EDX; Freeze-thaw}},
Keywords-Plus = {{ALKALI-SILICA REACTION; MORTARS; CORROSION; EXPANSION; WATER}},
Research-Areas = {{Construction \& Building Technology; Engineering; Materials Science}},
Web-of-Science-Categories  = {{Construction \& Buil

ding Technology; Engineering, Civil; Materials
   Science, Multidisciplinary}},
Author-Email = {{xianming\_s@coe.montana.edu}},
 Author-Name={Xianming Shi},
 Data={N/A},
ResearcherID-Numbers = {{Shi, Xianming/A-5108-2012
   }},
ORCID-Numbers = {{Shi, Xianming/0000-0003-3576-8952
   Yang, Zhengxian/0000-0003-1703-4963}},
Funding-Acknowledgement = {{Colorado Department of Transportation (CDOT); Research and Innovative
   Technology Administration under the U.S. DOT; CDOT technical panel}},
Funding-Text = {{The authors acknowledge the funding support by the Colorado Department
   of Transportation (CDOT) and by the Research and Innovative Technology
   Administration under the U.S. DOT. We also thank the CDOT Research Study
   Managers Roberto de Dios and Patricia Martinek and the CDOT technical
   panel for their support. We also extend our sincere appreciation to Dr.
   Recep Avci of the Imaging and Chemical Analysis Laboratory at Montana
   State University for the use of FESEM/EDX instrumentation and Mr. Doug
   Cross of the Western Transportation Institute for his help with concrete
   batching.}},
Number-of-Cited-References = {{34}},
Times-Cited = {{34}},
Usage-Count-Last-180-days = {{2}},
Usage-Count-Since-2013 = {{23}},
Journal-ISO = {{Mater. Struct.}},
Doc-Delivery-Number = {{620CS}},
Unique-ID = {{ISI:000279477200004}},
OA = {{No}},
DA = {{2017-08-29}},
}

repository: OpenDataExpMechanics/Survey

license_type: permissive

repo_name: OpenDataExpMechanics/Survey

branch_name: refs/heads/master

extension: bib


text:
@inproceedings{norell2008dependently,
  title={Dependently typed programming in Agda},
  author={Norell, Ulf},
  booktitle={International School on Advanced Functional Programming},
  pages={230--266},
  year={2008},
  organization={Springer}
}

@article{nakamoto2008bitcoin,
  title={Bitcoin: A peer-to-peer electronic cash system},
  author={Nakamoto, Satoshi and others},
  year={2008},
  publisher={Working Paper}
}

@article{setzer2018modelling,
  title={Modelling Bitcoin in Agda},
  author={Setzer, Anton},
  journal={arXiv preprint arXiv:1804.06398},
  year={2018}
}

@article{wood2014ethereum,
  title={Ethereum: A secure decentralised generalised transaction ledger},
  author={Wood, Gavin and others},
  journal={Ethereum project yellow paper},
  volume={151},
  pages={1--32},
  year={2014}
}

@article{noether2015ring,
  title={Ring SIgnature Confidential Transactions for Monero.},
  author={Noether, Shen},
  journal={IACR Cryptology ePrint Archive},
  volume={2015},
  pages={1098},
  year={2015}
}

license: MIT

repository: guilhermehas/texto-qualificacao

repo_name: guilhermehas/texto-qualificacao

gha_language: TeX


text:
#main {
  overflow: hidden;
}

#main .cont {
  height: 603px;
}

#main .cont p {
  height: 40px;
  line-height: 40px;
  color: #666;
  font-size: 12px;
}

#main .cont p a {
  color: #666;
}

#main .cont .acont_l {
  width: 436px;
  height: 100%;
  float: left;
  position: relative;
}

#main .cont .acont_l .acont_m {
  width: 403px;
  height: 403px;
}

#main .cont .acont_l ul {
  margin-top: 10px;
}

#main .cont .acont_l ul li {
  float: left;
  margin-right: 10px;
  padding: 3px;
}

#main .cont .acont_l ul li img {
  opacity: 0.5;
}

#main .cont .acont_l ul li .imgcss {
  opacity: 1;
  box-shadow: 0 0 0 1px #EC1611;
}

#main .cont .acont_c {
  float: left;
  width: 385px;
  height: 100%;
}

#main .cont .acont_c h2 {
  color: #333;
  font-size: 16px;
  margin-bottom: 10px;
}

#main .cont .acont_c .jiage {
  width: 370;
  height: 120px;
  background-color: #FFF6EB;
  padding-left: 15px;
  margin-bottom: 12px;
}

#main .cont .acont_c .jiage p {
  font-size: 1px;
  color: #666;
  height: 30px;
  line-height: 40px;
}

#main .cont .acont_c .jiage p em {
  color: #EC1611;
  font-size: 24px;
  weight: bold;
}

#main .cont .acont_c .jiage p del {
  color: #666;
  font-size: 12px;
  margin: 0 5px;
}

#main .cont .acont_c .jiage p i {
  display: inline-block;
  width: 47px;
  height: 19px;
  border-radius: 5px;
  color: #fff;
  vertical-align: middle;
  text-align: center;
  line-height: 19px;
  margin-right: 10px;
  background-color: #FF8A00;
}

#main .cont .acont_c .jiage p span {
  font-size: 12px;
}

#main .cont .acont_c .jiage p span:nth-child(3) {
  padding-left: 10px;
}

#main .cont .acont_c .jiage p:nth-child(1) {
  margin-bottom: 10px;
}

#main .cont .acont_c .jiage p:nth-child(3) {
  color: #FE7393;
}

#main .cont .acont_c .jiage p:nth-child(3) i {
  background-color: #FE7393;
}

#main .cont .acont_c .jiage p:nth-child(3) span:nth-child(3) {
  display: inline-block;
  width: 60px;
  height: 18px;
  border: 1px solid #FE7393;
  text-align: center;
  line-height: 18px;
  padding: 0;
  margin-left: 10px;
}

#main .cont .acont_c .jiage p:nth-child(3) span:nth-child(3) a {
  color: #FE7393;
}

#main .cont .acont_c dl {
  margin-bottom: 15px;
}

#main .cont .acont_c dl dt {
  float: left;
  width: 52px;
  height: 19px;
  background: url("../img/jiantou2.png") no-repeat;
  color: #fff;
  font-size: 12px;
  padding-left: 10px;
  vertical-align: bottom;
}

#main .cont .acont_c dl dd {
  font-size: 12px;
  color: #333;
  line-height: 19px;
  display: inline-block;
}

#main .cont .acont_c dl dd em {
  color: #DADAD5;
  padding: 0 20px 0 5px;
}

#main .cont .acont_c dl dd p {
  height: 20px;
  line-height: 20px;
}

#main .cont .acont_c dl dd p i {
  display: inline-block;
  width: 18px;
  height: 18px;
  background-color: #EC1813;
  text-align: center;
  color: #fff;
  border-radius: 3px;
  margin-right: 5px;
}

#main .cont .acont_c dl dd p:nth-child(2) {
  margin-top: 10px;
}

#main .cont .acont_c dl dd img {
  border: 1px solid #ccc;
}

#main .cont .acont_c dl dd a {
  color: #666;
  display: inline-block;
  width: 30px;
  height: 25px;
  border: 1px solid #ddd;
  text-align: center;
  line-height: 25px;
}

#main .cont .acont_c dl dd a:hover {
  background-color: #EC1611;
  color: #fff;
}

#main .cont .acont_c dl dd button {
  display: inline-block;
  width: 30px;
  height: 30px;
  border: 1px solid #ddd;
  background-color: #fff;
}

#main .cont .acont_c dl dd input {
  width: 50px;
  height: 28px;
  text-align: center;
  border: 1px solid #ddd;
  vertical-align: top;
  margin: 0 -1px;
}

#main .cont .acont_c .anniu {
  margin-top: 20px;
}

#main .cont .acont_c .anniu a {
  display: inline-block;
  width: 160px;
  height: 55px;
  text-align: center;
  line-height: 55px;
  font-size: 20px;
  border: 1px solid #EC1611;
  color: #EC1611;
}

#main .cont .acont_c .anniu a:nth-child(2) {
  background-color: #EC1611;
  color: #fff;
  margin-left: 10px;
}

#main .cont .acont_c .tuihuo p i {
  display: inline-block;
  width: 18px;
  height: 18px;
  color: #fff;
  background-color: #EC1611;
  line-height: 20px;
  text-align: center;
  font-size: 12px;
  border-radius: 5px;
  margin-right: 5px;
  vertical-align: middle;
}

#main .cont .acont_c .tuihuo p i:nth-child(3) {
  background: url("../img/quan.png") no-repeat;
  background-color: #fff;
  margin: 10px 5px 0 10px;
}

#main .cont .acont_c .tuihuo p span {
  vertical-align: bottom;
  font-size: 12px;
  line-height: 30px;
}

#main .cont .acont_r {
  float: right;
  width: 180px;
  height: 482px;
  border: 1px solid #ddd;
  padding: 15px 15px 0 15px;
}

#main .cont .acont_r ul li h3 {
  height: 38px;
  border-bottom: 1px dashed #ddd;
  line-height: 38px;
  font-size: 14px;
  color: #333;
}

#main .cont .acont_r ul li p {
  font-size: 12px;
  line-height: 40px;
}

#main .cont .acont_r ul li p span {
  color: #FF404C;
}

#main .cont .acont_r ul li em {
  display: inline-block;
  text-align: center;
  width: 65px;
  height: 28px;
  border: 1px solid #FF404C;
  line-height: 28px;
  border-radius: 3px;
  font-size: 12px;
  color: #FF404C;
}

#main .cont .acont_r ul li em:hover {
  background-color: #FF404C;
  color: #fff;
}

#main .cont .acont_r ul li:nth-child(2) {
  border-bottom: 1px dashed #ddd;
}

#main .cont .acont_r ul li:nth-child(2) p:nth-child(1) {
  width: 134px;
  background: url("../img/xinyu.png") right no-repeat;
  margin-top: 20px;
}

#main .cont .acont_r ul li:nth-child(2) p:nth-child(2) {
  width: 122px;
  background: url("../img/zhizi.png") right no-repeat;
}

#main .cont .acont_r ul li:nth-child(4) {
  margin: 20px 0 0 10px;
}

#goods .cont {
  overflow: hidden;
  margin-bottom: 20px;
}

#goods .cont .gcont_l {
  width: 182px;
}

#goods .cont .gcont_l .log {
  display: block;
  width: 100%;
  height: 43px;
  text-align: center;
  line-height: 43px;
  background-color: #FAFAFA;
  font-size: 18px;
  font-weight: bold;
  border-bottom: 1px solid #DFDFDF;
}

#goods .cont .gcont_l .goodsx ul li {
  width: 100%;
  height: 212px;
  margin-top: 20px;
  position: relative;
}

#goods .cont .gcont_l .goodsx ul li p {
  font-size: 12px;
  width: 100%;
  height: 30px;
  line-height: 30px;
  background-color: #F5F5F5;
  margin-top: 5px;
  overflow: hidden;
  white-space: nowrap;
  text-overflow: ellipsis;
}

#goods .cont .gcont_l .goodsx ul li p a {
  color: #666;
}

#goods .cont .gcont_l .goodsx ul li p:hover a {
  border-bottom: 1px solid #EC1611;
  color: #EC1611;
}

#goods .cont .gcont_l .goodsx ul li h6 {
  width: 100%;
  height: 30px;
  line-height: 30px;
  opacity: 0.7;
  background-color: #fff;
  position: absolute;
  bottom: 38px;
  left: 0;
}

#goods .cont .gcont_l .goodsx ul li h6 em {
  float: left;
  color: #999;
}

#goods .cont .gcont_l .goodsx ul li h6 span {
  float: right;
  color: #EC165B;
}

#goods .cont .gcont_r .tgb1 {
  height: 43px;
  width: 878px;
  background-color: #FAFAFA;
  border-bottom: 1px dashed #DFDFDF;
  line-height: 43px;
}

#goods .cont .gcont_r .tgb1 li {
  float: left;
  height: 43px;
  padding: 0 30px;
}

#goods .cont .gcont_r .tgb1 li a {
  color: #666;
}

#goods .cont .gcont_r .tgb1 li:nth-child(1) {
  font-size: 18px;
  font-weight: bold;
  border-bottom: 3px solid #FF404C;
  height: 41px;
  background-color: #fff;
}

#goods .cont .gcont_r .tgb1 li:nth-child(1) a {
  color: #FF404C;
}

#goods .cont .gcont_r .gcont_rb {
  margin: 20px 0 0 20px;
}

#goods .cont .gcont_r .gcont_rb ul {
  padding-left: 12px;
  width: 846px;
  border-bottom: 1px dashed #ddd;
}

#goods .cont .gcont_r .gcont_rb ul h3 {
  color: #000;
  font-weight: bold;
  padding: 10px;
}

#goods .cont .gcont_r .gcont_rb ul li {
  font-size: 12px;
  color: #333;
}

#goods .cont .gcont_r .gcont_rb .tgb2 {
  height: 133px;
}

#goods .cont .gcont_r .gcont_rb .tgb2 li {
  width: 261px;
  float: left;
  margin-top: 20px;
}

#goods .cont .gcont_r .gcont_rb .tgb3 {
  height: 120px;
  padding-top: 20px;
}

#goods .cont .gcont_r .gcont_rb .tgb3 p {
  margin-top: 15px;
}

#goods .cont .gcont_r .gcont_rb .tgb4 {
  height: 270px;
}

#goods .cont .gcont_r .gcont_rb .tgb4 span {
  font-size: 14px;
  font-weight: bold;
}

#goods .cont .gcont_r .gcont_rb .tgb4 p {
  margin: 10px 0;
}

#goods .cont .gcont_r .gcont_rb .tgb4 img {
  margin-top: 20px;
}

#goods .cont .gcont_r .gcont_rb .tgb5 {
  height: 180px;
}

#goods .cont .gcont_r .gcont_rb .tgb5 p {
  line-height: 40px;
}

#goods .cont .gcont_r .gcont_rb .tgn6 {
  border-bottom: none;
}

extension: css


text:
SUMMARY = "Retroarch GLSL shaders"
DESCRIPTION = "This repo is for glsl shaders converted by hand from libretro's \
common-shaders repo, since some don't play nicely with the cg2glsl script.y."

HOMEPAGE = "https://github.com/libretro/glsl-shaders"
BUGTRACKER = "https://github.com/libretro/glsl-shaders/issues"

LICENSE = "CLOSED"

SRC_URI = "gitsm://github.com/libretro/glsl-shaders.git;protocol=https;branch=master"

require include/retroarch-shaders.inc

FILES:${PN} += "${RETROARCH_SHADERS_DIR}"

do_install() {
  install -m 755 -d ${D}${RETROARCH_SHADERS_DIR}/glsl
  cp -R --no-dereference --preserve=mode,links -v ${S}/* ${D}${RETROARCH_SHADERS_DIR}/glsl
}

gha_license_id: MIT

gha_language: BitBake

extension: bb


text:
@article{RN1857,
 author = {Bradley, Michael E and Rest, Joshua S and Li, Wen-Hsiung and Schwartz, Nancy B},
 issn = {0022-2844},
 journal = {Journal of molecular evolution},
 number = {1},
 pages = {1-13},
 title = {Sulfate activation enzymes: phylogeny and association with pyrophosphatase},
 type = {Journal Article},
 volume = {68},
 year = {2009}
}


text:
require nodejs_6.inc
require nodejs_lts.inc

INC_PR = "r1"

LIC_FILES_CHKSUM = "file://LICENSE;md5=41a3a0ccf7f515cac3377389dd8faac8"

SRC_URI[src.md5sum] = "73982a158e4f05d36c01b7a97e38da18"
SRC_URI[src.sha256sum] = "a8f679f595fd921305c28d126935ad59b4419ac8474a99997a31e01ab50acd3d"

repository: balena-os/meta-nodejs

repo_name: balena-os/meta-nodejs


text:
@inproceedings{lau2020joss,
	title={{Rclean: A Tool for Writing Cleaner, More Transparent Code}},
	author={Lau, M K and Pasquier, Thomas and  Seltzer, Margo},
	booktitle={The Journal of Open Source Software (JOSS)},
	year={2020},
	organization={}
}

repository: tfjmp/website

repo_name: tfjmp/website

gha_language: Jupyter Notebook


text:
@article{mucha2010community,
  title={Community structure in time-dependent, multiscale, and multiplex networks},
  author={Mucha, Peter J and Richardson, Thomas and Macon, Kevin and Porter, Mason A and Onnela, Jukka-Pekka},
  journal={Science},
  volume={328},
  number={5980},
  pages={876--878},
  year={2010},
  publisher={American Association for the Advancement of Science}
}

@misc{poodl,
  title={POODL: POpong Open Data Library},
  howpublished="\url{http://data.popong.com}",
  year= {2014},
  note="[Accessed 2014-10-31]"
}

@book{poole1997congress,
  title={Congress: A political-economic history of roll call voting},
  author={Poole, Keith T and Rosenthal, Howard},
  year={1997},
  publisher={Oxford University Press}
}

@inproceedings{yano2012textual,
  title={Textual predictors of bill survival in congressional committees},
  author={Yano, Tae and Smith, Noah A and Wilkerson, John D},
  booktitle={Proceedings of the 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies},
  pages={793--802},
  year={2012},
  organization={Association for Computational Linguistics}
}

repository: snudm/dmtr

repo_name: snudm/dmtr