publications.bib

%% This bibtex file will contain all "OpenDreamKit publications", 
%% that is publications resulting from work (partially) funded by ODK
%% Please include DOI info as soon as available, as this will be used
%% to cross check with OpenAIRE'data
%% https://www.openaire.eu/search/project?projectId=corda__h2020::1930bdaa9032dd5b34f25841ebf3e8d1

@inproceedings{KohKopMue:mmrdftg17,
  author = {Kohlhase, Michael and Koprucki, Thomas and M{\"u}ller, Dennis and Tabelow, Karsten},
  title = {Mathematical models as research data via flexiformal theory graphs},
  url = {http://kwarc.info/kohlhase/papers/cicm17-models.pdf},
  pubs = {mkohlhase,dmueller,odk,odkWP6,MaMoReD},
  keywords = {conference},
  crossref = {CICM17}}

@MastersThesis{Pollinger:msc17,
  author =   {Theresa Pollinger},
  title =    {Knowledge Representation for Modeling and Simulation – Bridging the Gap Between Informal {PDE} Theory and Simulations Practice},
  school =   {Informatik, FAU Erlangen-N\"urnberg},
  type =     {Master's Thesis},
  url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf},
  pubs = {tpollinger,odk,MaMoReD,mscthesis},
  year =     {2017}}

@MastersThesis{twiesing:msc17,
  author =   {Tom Wiesing},
  title =    {Enabling Cross-System Communication Using Virtual Theories and {QMT}},
  school =   {Jacobs University Bremen},
  address =  {Bremen, Germany},
  type =     {Master's Thesis},
  month =    aug,
  url = {https://github.com/tkw1536/MasterThesis/raw/master/thesis.pdf},
  pubs = {twiesing,odk,mscthesis},
  year =     {2017}}

@article{KopKohTab:mpdrmm18,
  title = {Model pathway diagrams for the representation of mathematical models},
  author = {Thomas Koprucki and Michael Kohlhase and Karsten Tabelow and Dennis M{\"u}ller and
          Florian Rabe},
  volume = {50},
  number = {2},
  pages = {70},
  year = {2018},  
  journal = {Journal of Optical and Quantum Electronics},
  publisher = {Springer Verlag},
  doi = {10.1007/s11082-018-1321-7},
  pubs = {mkohlhase,dmueller,odk,frabe,MaMoReD,mmt}}

@inproceedings{MueGauKal:cacfms17,
   title = {Classification of Alignments between Concepts of Formal Mathematical Systems},
   author = {Dennis M{\"u}ller and  Thibault Gauthier and  Cezary Kaliszyk and Michael Kohlhase and  Florian Rabe},
  url = {http://kwarc.info/kohlhase/papers/cicm17-alignments.pdf},
  pubs = {mkohlhase,dmueller,frabe,oaf,odk,odkWP6,mmt},
  keywords = {conference},
  crossref = {CICM17}}

@inproceedings{MueRabKoh:tat18,
 author = {Dennis M{\"u}ller and Florian Rabe and Michael Kohlhase},
 title = {Theories as Types},
 crossref = {IJCAR18},
 url = {http://kwarc.info/kohlhase/papers/ijcar18-records.pdf},
 pubs = {dmueller,mkohlhase,frabe,oaf,mmt,odk}}

@inproceedings{PolKohKoe:kacse18,
  title = {Knowledge Amalgamation for Computational Science and Engineering},
  author = {Theresa Pollinger and Michael Kohlhase and Harald K{\"o}stler},
  url = {http://kwarc.info/kohlhase/papers/cicm18-mosis.pdf},
  crossref = {CICM18},
  pubs = {mkohlhase,tpollinger,MaMoReD,mmt,odk}}

@inproceedings{MueKohRab:aftmkm18,
  title = {Automatically Finding Theory Morphisms for Knowledge Management},
  author = {Dennis M{\"u}ller and Michael Kohlhase and Florian Rabe},
  url = {http://kwarc.info/kohlhase/papers/cicm18-viewfinder.pdf},
  crossref = {CICM18},
  pubs = {dmueller,mkohlhase,frabe,oaf,odk}}

@ARTICLE{Beg1611.07079,
Author = {David Cort\'{e}s-Ortu\~{n}o and Weiwei Wang and Marijan Beg and Ryan A. Pepper and Marc-Antonio Bisotti and Rebecca Carey and Mark Vousden and Thomas Kluyver and Ondrej Hovorka and Hans Fangohr},
Title = {Thermal stability and topological protection of skyrmions in nanotracks},
Year = {2016},
Eprint = {arXiv:1611.07079},
}

@inproceedings{RupKohMue:fitgv17,
  author = {Marcel Rupprecht and Michael Kohlhase and Dennis M{\"u}ller},
  title = {A Flexible, Interactive Theory-Graph Viewer},
  crossref = {MathUI17},
  url = {http://kwarc.info/kohlhase/papers/mathui17-tgview.pdf},
  pubs = {dmueller,mkohlhase,mrupprecht,odk,mathhub,odkWP6}}


@ARTICLE{Beg2017a,
Author = {Marijan Beg and Ryan A. Pepper and Hans Fangohr},
Title = {User interfaces for computational science: a domain specific language for OOMMF embedded in Python},
Year = {2017},
journal = {American Institute of Physics: Advances},
volume = {7},
pages ={056025},
doi = {10.1063/1.4977225},
Eprint = {arXiv:1609.07432},
}

@inproceedings{KalKohMue:samc16,
  title = {A Standard for Aligning Mathematical Concepts},
  author = {Cezary Kaliszyk and Michael Kohlhase and Dennis M{\"u}ller and Florian Rabe},
  url = {http://ceur-ws.org/Vol-1785/W24.pdf},
  pubs = {mkohlhase,dmueller,frabe,oaf,odk,odkWP6,mmt},
  crossref = {CICM16WIP}}

@ARTICLE{PhysRevB.95.014433,
  title = {Dynamics of skyrmionic states in confined helimagnetic nanostructures},
  author = {Beg, Marijan and Albert, Maximilian and Bisotti, Marc-Antonio and Cort\'es-Ortu\~no, David and Wang, Weiwei and Carey, Rebecca and Vousden, Mark and Hovorka, Ondrej and Ciccarelli, Chiara and Spencer, Charles S. and Marrows, Christopher H. and Fangohr, Hans},
  journal = {Phys. Rev. B},
  volume = {95},
  issue = {1},
  pages = {014433},
  numpages = {16},
  year = {2017},
  month = {Jan},
  publisher = {American Physical Society},
  doi = {10.1103/PhysRevB.95.014433},
  url = {http://link.aps.org/doi/10.1103/PhysRevB.95.014433}
}


@inproceedings{DehKohKon:iop16,
  title = {Interoperability in the {OpenDreamKit} Project: The Math-in-the-Middle Approach},
  author = {Paul-Olivier Dehaye and Michael Kohlhase and Alexander Konovalov and Samuel Leli{\`e}vre and Markus Pfeiffer and Nicolas M. Thi{\'e}ry},
  url = {http://arxiv.org/abs/1603.06424},
  pubs = {mkohlhase},
  crossref = {CICM16}}

@proceedings{CICM16,
  editor = {Michael Kohlhase and Moa Johansson and Bruce Miller and Leonardo de Moura and Frank Tompa},
  venue = {Bialystok, Poland},
  eventdate = {2016-07-25/2015-07-29},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} 2016},
  key = {CICM16},
  label = {CICM16},
  keywords = {conference},
  publisher = {Springer},
  series    = {LNCS},
  number    = {9791},
  SOONisbn = {978-3-319-20615-8},
  year = 2016,
  pubs={mkohlhase}
}

@inproceedings{Pavlou:2016:MCI:2936924.2936934,
 author = {Pavlou, Chrystalla and Elkind, Edith},
 title = {Manipulating Citation Indices in a Social Context},
 booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents \&\#38; Multiagent Systems},
 series = {AAMAS '16},
 year = {2016},
 isbn = {978-1-4503-4239-1},
 location = {Singapore, Singapore},
 pages = {32--40},
 numpages = {9},
 url = {http://dl.acm.org/citation.cfm?id=2936924.2936934},
 acmid = {2936934},
 publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
 address = {Richland, SC},
 keywords = {g-index, h-index, i10-index, manipulation by merging},
}

@article{2014arXiv1412.0514M,
   author = {{Mou}, G. and {Pasechnik}, D.},
    title = "{Edge-dominating cycles, $k$-walks and Hamilton prisms in $2K_2$-free graphs}",
  journal = {J. Knot Theory and its Ramifications},
   year=2016,
   volume={25},
   pages={1--9},
   note={\url{http://dx.doi.org/10.1142/S0218216516420116}},
}

@ARTICLE{2015arXiv151103473P,
   author = {{Pasechnik}, D.~V.},
    title = "{An efficient sum of squares nonnegativity certificate for quaternary quartic}",
  journal = {ArXiv e-prints},
archivePrefix = "arXiv",
   eprint = {1511.03473},
 primaryClass = "math.AG",
 keywords = {Mathematics - Algebraic Geometry, Mathematics - Classical Analysis and ODEs, Mathematics - Optimization and Control},
     year = 2015,
    month = nov,
   adsurl = {http://adsabs.harvard.edu/abs/2015arXiv151103473P},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@ARTICLE{2016arXiv160301710P,
  author = {{Pasechnik}, D.~V.},
      title = "{Locally toroidal polytopes of rank 6 and sporadic groups}",
       journal = {Advances in Mathematics},
       year=2017,
       volume=312,
       pages={459--472},
    note = {\url{http://doi.org/10.1016/j.aim.2017.03.029}},
}
@ARTICLE{2016arXiv160208538G,
   author = {{Ginzburg}, V.~L. and {Pasechnik}, D.~V.},
     title = "{Random Chain Complexes}",
    journal = {Arnold Mathematical Journal},
    eprint = {1602.08538},
     primaryClass = "math.CO",
     keywords = {Mathematics - Combinatorics, Mathematics - Symplectic Geometry, 05E99, 55U15, 53D99, 60D99},
      year = 2017,
      volume={to appear},
note={\url{http://dx.doi.org/10.1007/s40598-016-0062-6}},
}

@article{2016arXiv160100181C,
   author = {{Cohen}, N. and {Pasechnik}, D.~V.},
    title = {Implementing {B}rouwer's database of strongly regular graphs},
 keywords = {Mathematics - Combinatorics, Computer Science - Discrete Mathematics, 05E30, 68-04},
     year = 2016,
   adsurl = {http://adsabs.harvard.edu/abs/2016arXiv160100181C},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System},
journal={Designs, Codes, and Cryptography},
note={\url{http://dx.doi.org/10.1007/s10623-016-0264-x}},
}


@inproceedings{Fangohr:2016:NMS:2897676.2897677,
 author = {Fangohr, Hans and Albert, Maximilian and Franchin, Matteo},
 title = {Nmag Micromagnetic Simulation Tool: Software Engineering Lessons Learned},
 booktitle = {Proceedings of the International Workshop on Software Engineering for Science},
 series = {SE4Science '16},
 year = {2016},
 isbn = {978-1-4503-4167-7},
 location = {Austin, Texas},
 pages = {1--7},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/2897676.2897677},
 doi = {10.1145/2897676.2897677},
 acmid = {2897677},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {computational science software engineering, finite elements, nmag, python},
} 

@online{Thierry:igcscac16,
  author = {Nicolas M. Thi{\'e}ry},
  title = {Infrastructure for generic code in {SageMath}: categories, axioms, constructions},
  url = {http://cicm-conference.org/2016/slides/I3.pdf},
  note = {Invited Talk at CICM 2016}}

@online{Thiery:pdc16,
  author = {Nicolas M. Thi{\'e}ry},
  title= {Personal debriefing of {CICM'2016}},
  url = {http://opendreamkit.org/activities/2016-08-01-CICM/},
  note = {OpenDreamKit Blog Post}}

@online{RabIanMue:ldm16,
  author = {Florian Rabe and Mihnea Iancu and Dennis M{\"u}ller},
  title= {Language Design in MMT},
  url = {http://cicm-conference.org/2016/slides/MMTLanguages.pdf},
  note = {Tutorial at CICM 2016}}

@online{RabIanMue:adm16,
  author = {Florian Rabe and Mihnea Iancu and Dennis M{\"u}ller},
  title= {Application Design with MMT},
  url = {http://cicm-conference.org/2016/slides/MMTApplications.pdf},
  note = {Tutorial at CICM 2016}}

@article{DumPerSul:fcrpmgbd16,
 author = {Jean-Guillaume Dumas and Clement Pernet and Ziad Sultan},
 title = {Fast Computation of the Rank Profile Matrix and the Generalized {B}ruhat Decomposition},
 journal = {Journal of Symbolic Computation},
 year = {2016},
 volume={In Press},
 publisher={Elsevier},
 doi={10.1016/j.jsc.2016.11.011},
 url={https://www.openaire.eu/search/publication?articleId=dedup_wf_001::beb92e25f275ea5bb6b2a97251143703}
}

@misc{CorWanPe16,
  title={Fidimag v2.0},
  author={David Cortés-Ortuño and Weiwei Wang and Ryan Pepper and Marc-Antonio Bisotti and Thomas Kluyver and Mark Vousden and Hans Fangohr},
  year={2016},
  month={Oct},
  url={https://www.openaire.eu/search/publication?articleId=od______2659::0db48325bc749314269e082281f93448}}
  
@inproceedings{Pernet:cqm16,
title = "Computing with Quasiseparable Matrices",
author = "Clement Pernet",
year=2016,
booktitle="Proceedings of the 41st International Symposium on Symbolic and Algebraic Compuation",
series="{ISSAC}'16",
doi={10.1145/2930889.2930915},
publisher="ACM",
pages="389--396",
 url={https://www.openaire.eu/search/publication?articleId=dedup_wf_001::8a8f37f7a1ca153e335c708fd621110f}}
 

@inproceedings{DumKalTho:lticmpdsm16,
 title={Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix},
 publisher={ACM},
booktitle="Proceedings of the 41st International Symposium on Symbolic and Algebraic Compuation",
series="{ISSAC}'16",
 author={Dumas, Jean-Guillaume and Kaltofen, Erich and Thomé, Emmanuel and Villard, Gilles},
 year={2016},

url={https://www.openaire.eu/search/publication?articleId=dedup_wf_001::d9ad2805d3ca077f96b1335f3f74b894}}
 
@inproceedings{PerSto:tsegqm17,
 title={Time and space efficient generators for quasiseparable matrices},
 publisher={ACM},
 author={Pernet, Clement and Storjohann, Arne},
booktitle="Proceedings of the 42nd International Symposium on Symbolic and Algebraic Compuation",
series="{ISSAC}'17",
year={2017},
 url={https://www.openaire.eu/search/publication?articleId=dedup_wf_001::b7bd720f30461e3101ffcc69db4bf4a8}}
@inproceedings{DumLucPer:cftearp17,
 title={Certificates for triangular equivalence and rank profiles},
 publisher={ACM},
 author={Dumas, Jean-Guillaume and Lucas, David and Pernet, Clement},
 booktitle="Proceedings of the 42nd International Symposium on Symbolic and Algebraic Compuation",
 series="{ISSAC}'17",
 year={2017},
 url={https://www.openaire.eu/search/publication?articleId=dedup_wf_001::b7bd720f30461e3101ffcc69db4bf4a8}}

@misc{Cremona:lfmdbp16,
  title={The L-functions and modular forms database project},
  publisher={Springer},
  author={Cremona, J. E.},
  year={2016},
  month={Jan},
  url={https://www.openaire.eu/search/publication?articleId=core_ac_uk__::bac82a8fe3e313ae79db60e152a36c54}}
@inproceedings{DuPe18,
 author = {Dumas, Jean-Guillaume and Pernet, Cl{\'e}ment},
 title = {Symmetric Indefinite Triangular Factorization Revealing the Rank Profile Matrix},
 booktitle = {Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation},
 series = {ISSAC '18},
 year = {2018},
 isbn = {978-1-4503-5550-6},
 location = {New York, NY, USA},
 pages = {151--158},
 numpages = {8},
 doi = {10.1145/3208976.3209019},
 acmid = {3209019},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {LDLT, finite field, rank profile matrix, symmetric Gaussian elimination},
}

@inproceedings{WieKohRab:vtuimkb17,
  title = {Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases},
  author = {Tom Wiesing and Michael Kohlhase and Florian Rabe},
  pages = {243--257},
  crossref = {MACIS17},
  pubs = {twiesing,mkohlhase,frabe,odk,odkWP6,mmt},
  keywords = {conference},
  url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf}}

@inproceedings{KohMuePfe:kbimss17,
  title = {Knowledge-Based Interoperability for Mathematical Software Systems},
  author = {Michael Kohlhase and Dennis M{\"u}ller and Markus Pfeiffer and Florian Rabe and Nicolas Thi{\'e}ry and Victor Vasilyev and Tom Wiesing},
  url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-interop/crc.pdf},
  pages = {195--210},
  crossref = {MACIS17},
  keywords = {conference},
  pubs = {twiesing,mkohlhase,frabe,dmueller,odk,odkWP6,mmt}}

@proceedings{CICM17,
  editor = {Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} (CICM) 2017},
  publisher = {Springer},
  doi = {10.1007/978-3-319-62075-6},
  series    = {LNAI},
  number    = {10383},
  isbn = {978-3-319-62074-9},
  year = {2017},
  keywords = {conference},
  pubs={frabe,odk,oaf}
}
@proceedings{IJCAR18,
  editor = {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  publisher = {Springer Verlag},
  year = {2018},
  keywords = {conference}}
@article{JEFFERSON2018,
  title = "New refiners for permutation group search",
  journal = "Journal of Symbolic Computation",
  year = "2018",
  issn = "0747-7171",
  doi = "https://doi.org/10.1016/j.jsc.2017.12.003",
  url = "http://www.sciencedirect.com/science/article/pii/S074771711730127X",
  author = "Christopher Jefferson and Markus Pfeiffer and Rebecca Waldecker",
  keywords = "Backtrack search, Refiners, Permutation groups, Algorithmic group theory, Computational algebra, Partition backtrack"}

@proceedings{CICM18,
  editor = {Florian Rabe and William Farmer and Abdou Youssef and \ldots},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} (CICM) 2018},
  publisher = {Springer},
  SOONdoi = {10.1007/978-3-319-62075-6},
  series    = {LNAI},
  SOONnumber    = {10383},
  SOONisbn = {978-3-319-62074-9},
  note = {in press},
  year = {2018},
  keywords = {conference},
  pubs={frabe,oaf,odk}
}
@article{JefJonPfeWal2018,
  title = "Minimal and Canonical Images",
  journal = "Journal of Algebra",
  year = "2018",
  author = "Christopher Jefferson and Eliza Jonauskyte and Markus Pfeiffer and Rebecca Waldecker",
  keywords = "Backtrack search, Permutation groups, Canonical labelling"}


@proceedings{CICM16,
  editor = {Michael Kohlhase and Moa Johansson and Bruce Miller and Leonardo de Moura and Frank Tompa},
  venue = {Bialystok, Poland},
  eventdate = {2016-07-25/2016-07-29},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} 2016},
  publisher = {Springer},
  series    = {LNAI},
  number    = {9791},
  isbn = {978-3-319-08434-3},
  year = 2016,
  keywords = {conference},
  pubs={mkohlhase}
}
@PROCEEDINGS{CICM16WIP,
  title = {Intelligent Computer Mathematics -- Work in Progress Papers},
  booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}},
  key = {CICM16WIP},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1785/},
  editor = {Michael Kohlhase and Andrea Kohlhase and Paul Libbrecht and Bruce Miller and Adam Naumowicz and Walther Neuper and Pedro Quaresma and 
Frank Tompa and Martin Suda},
  pubs={mkohlhase,akohlhase}}

@Proceedings{MathUI17,
  editor =   {Andrea Kohlhase and Marco Pollanen},
  title =    {MathUI 2017: The 12th Workshop on Mathematical User Interfaces},
  booktitle =    {MathUI 2017: The 12th Workshop on Mathematical User Interfaces},
  SOONurl = {http://ceur-ws.org/Vol-1785/},
  pubs = {akohlhase},
  year =    {2017}}

@PROCEEDINGS{MACIS17,
  title = {MACIS 2017},
  year = 2017,
  editor    = {Johannes Bl{\"o}mer and Temur Kutsia and Dimitris Simos},
  number = {10693},
  series = {LNCS},
  publisher = {Springer Verlag},
  booktitle = {MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences},
  Keywords = {conference}}
@inproceedings{MarPfe2018,
  title = "Francy -- An Interactive Discrete Mathematics Framework for GAP",
  author = "Manuel Machado Martins and Markus Pfeiffer",
  year= "2018",
  doi = "https://doi.org/10.1007/978-3-319-96418-8_42",
  keywords = "conference",
  crossref = "ICMS2018"}