text:
@string{OOPSLA = "Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA)"}
@string{ECOOP  = {European Conference on Object-Oriented Programming (ECOOP)}}
@string{POPL  = {Symposium on Principles of Programming Languages (POPL)}}
@string{PACMPL = {Proc. ACM Program. Lang.}}

@article{oopsla18a,
  author = {Jeff Bezanson and Jiahao Chen and Ben Chung
    and  Stefan Karpinski and {Viral B.} Shah and Jan Vitek and
    Lionel Zoubritzky},
 year =  2018,
 title = "Julia: Dynamism and Performance Reconciled by Design",
 journal = PACMPL,
 number = {{OOPSLA}},
 volume  = 2,
 doi = {10.1145/3276490}}

@article{oopsla18b,
  author = {Francesco {Zappa Nardelli} and
            Julia Belyakova and  Artem Pelenitsyn
           and  Benjamin Chung and Jeff Bezanson and Jan Vitek},
 year =  2018,
 title = "Julia Subtyping: A Rational Reconstruction",
 journal = PACMPL,
 number = {{OOPSLA}},
 volume  = 2,
 doi = {10.1145/3276483}}

@article{popl18,
  author    = {Olivier Fl{\"{u}}ckiger and
               Gabriel Scherer and Ming{-}Ho Yee and
               Aviral Goel and Amal Ahmed and
               Jan Vitek},
  title     = {Correctness of speculative optimizations with
                dynamic deoptimization},
 journal = PACMPL,
 number    = {{POPL}},
  volume    = {2},
  year      = {2018},
  doi       = {10.1145/3158137}}

@inproceedings{ecoop18,
  author    = {Benjamin Chung and Paley Li and
               Francesco Zappa Nardelli and Jan Vitek},
  title     = {KafKa: Gradual Typing for Objects},
  booktitle = ECOOP,
  year      = {2018},
  doi       = {10.4230/LIPIcs.ECOOP.2018.12}}

@inproceedings{etaps18,
  author    = {Juliana Franco and Sylvan Clebsch and
               Sophia Drossopoulou and Jan Vitek and
               Tobias Wrigstad},
  title     = {Correctness of a Concurrent Object Collector for
                Actor Languages},
  booktitle = {European Symposium on Programming (ESOP)},
  year      = {2018},
  doi       = {10.1007/978-3-319-89884-1\_31}}

@inproceedings{issta18,
  author    = {Filip Krikava and  Jan Vitek},
  title     = {Tests from traces: automated unit test extraction
               for {R}},
  booktitle = {International Symposium on
               Software Testing and Analysis (ISSTA)},
  year      = {2018},
  doi       = {10.1145/3213846.3213863}}

%%%%%%%%%%%%% 17

@article{oopsla17b,
 author = "Sylvan Clebsch and Juliana Franco
          and  Sophia Drossopoulou and Albert Mingkun Yang
          and  Tobias Wrigstad and Jan Vitek",
 title = "Orca: {GC} and type system co-design for actor languages",
 year = 2017,
 journal = {Proc. ACM Program. Lang.},
 volume    = {1},
 number    = {{OOPSLA}},
 doi       = {10.1145/3133896}}

@article{oopsla17a,
  author = {Crista Lopes and  Petr Maj and Pedro Martins
           and  Di Yang and  Jakub Zitny and Hitesh Sajnani
           and Jan Vitek},
  title = {{D\'ej\`a  Vu}: A Map of Code Duplicates on {GitHub}},
 journal = {Proc. ACM Program. Lang.},
 number    = {{OOPSLA}},
 year = 2017,
  doi = {10.1145/3133908}}

@inproceedings{ecoop17,
  author    = {Todd A. Anderson and  Hai Liu and
               Lindsey Kuper and Ehsan Totoni and
               Jan Vitek and Tatiana Shpeisman},
  title     = {Parallelizing Julia with a Non-Invasive {DSL}},
  booktitle = ECOOP,
  year      = 2017,
  doi       = {10.4230/LIPIcs.ECOOP.2017.4},
}

@inproceedings{itp17,
  author = "Yannick Zakowski and David Cachera and
            Delphine Demange and  Gustavo Petri and
            David Pichardie and Suresh Jagannathan
            and Jan Vitek",
  title = "Verifying a Concurrent Garbage Collector
              Using a Rely-Guarantee Methodology",
   booktitle = {Interactive Theorem Proving  (ITP)},
  year      = {2017},
  doi       = {10.1007/978-3-319-66107-0\_31}}

@inproceedings{rtas17,
  author    = {Yin Yan and
               Karthik Dantu and
               Steven Y. Ko and
               Jan Vitek and
               Lukasz Ziarek},
  title     = {Making {Android} Run on Time},
  booktitle = {Real-Time and Embedded Technology and Applications Symposium (RTAS)},
  year      = {2017},
  doi       = {10.1109/RTAS.2017.38}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16

@inproceedings{popl16,
  author    = {Asumu Takikawa and
               Daniel Feltey and
               Ben Greenman and
               Max  New and
               Jan Vitek and
               Matthias Felleisen},
  title     = {Is sound gradual typing dead?},
  booktitle = POPL,
  year      = {2016},
  doi       = {10.1145/2837614.2837630},
}

@article{cacm15,
  author    = {Shriram Krishnamurthi and
               Jan Vitek},
  title     = {The real software crisis: repeatability as a core value},
  journal   = {Commun. {ACM}},
  volume    = {58},
  number    = {3},
  pages     = {34--36},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2658987},
  doi       = {10.1145/2658987},
}

@inproceedings{ecoop15,
 author     = "Gregor Richards and Francesco {Zappa Nardelli}
               and Jan Vitek",
 title      = "Concrete Types for {TypeScript}",
 booktitle  = ECOOP,
  year      = {2015},
  doi       = {10.4230/LIPIcs.ECOOP.2015.76},
}

@inproceedings{ecoop15b,
 author = "Gustavo Petri and Jan Vitek
           and Suresh Jagannathan",
 title = "Cooking the Books: Formalizing {JMM}
           Implementation Recipes",
 booktitle  = ECOOP,
 year = 2015,
 doi = {10.4230/LIPIcs.ECOOP.2015.445}}

@article{toplas14,
  author    = {Suresh Jagannathan and
               Vincent Laporte and
               Gustavo Petri and
               David Pichardie and
               Jan Vitek},
  title     = {Atomicity Refinement for Verified Compilation},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {36},
  number    = {2},
  pages     = {6},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2601339},
  doi       = {10.1145/2601339},
}

@inproceedings{ismm14,
  author    = {David Terei and
               Alex Aiken and
               Jan Vitek},
  title     = {M\({}^{\mbox{3}}\): high-performance memory management from off-the-shelf
               components},
  booktitle = {International Symposium on Memory Management (ISMM)},
  pages     = {3--13},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2602988.2602995},
  doi       = {10.1145/2602988.2602995},
}

@inproceedings{vee14key,
  author    = {Jan Vitek},
  title     = {The case for the three {R}'s of systems research:
                  repeatability, reproducibility and rigor},
  booktitle = {Conference on Virtual Execution Environments (VEE)},
  year      = {2014},
  doi       = {10.1145/2576195.2576216},
}

@inproceedings{vee14,
   author    ="Toms Kalibera and Petr Maj and Floreal Morandat and Jan Vitek",
   title     ="A Fast Abstract Syntax Tree Interpreter for {R}",
   booktitle ="Conference on Virtual Execution Environments (VEE)",
   doi       ="10.1145/2576195.2576205",
   year      = 2014}

@inproceedings{icse13,
  author =      {Daniel Marino and Christian Hammer and  Julian Dolby
                 and  Mandana Vaziri and  Frank Tip and  Jan Vitek},
  title  =      {Detecting deadlock in programs with data-centric
                 synchronization},
  booktitle =   {International Conference on Software Engineering (ICSE)},
  year      =   2013,
  pages     =  {322-331}}

@inproceedings{popl13,
  author    = {Delphine Demange and Vincent Laporte and Lei Zhao and Suresh
                  Jagannathan and David Pichardie and Jan Vitek},
  title     = {Plan B: a buffered memory model for Java},
  year      = {2013},
  doi       = {10.1145/2429069.2429110},
  booktitle  = POPL}

@inproceedings{oopsla13,
  title = "Flexible Access Control Policies with Delimited Histories and
                  Revocation",
  author = {Gregor Richards and Christian Hammer and Francesco {Zappa Nardelli}
            and Suresh Jagannathan and Jan Vitek},
  booktitle = OOPSLA,
  year = 2013}

@inproceedings{pldi13,
  title =   {Terra: a multi-stage language for high-performance computing},
  authors = {Zachary DeVito and James Hegarty and
             Jan Vitek and Alex Aiken and Pat Hanrahan},
  booktitle = "Proceedings of the ACM Programming Language Design
             and Implementation Conference (PLDI)",
  mon = jun,
  year = 2013}

@Article{dagstuhl12,
  author =	{Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek},
  title =	"Foundations for Scripting Languages (Dagstuhl Seminar 12011)",
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{Robert Hirschfeld and Shriram Krishnamurthi and Jan Vitek},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  doi =		{10.4230/DagRep.2.1.1},
}

@inproceedings{ecoop12,
author = {Morandat, Flor{\'e}al and Hill, Brandon and Osvald, Leo and Vitek, Jan},
 title = {Evaluating the Design of the R Language: Objects and Functions for Data Analysis},
 booktitle = {European Conference on Object-Oriented Programming (ECOOP)},
 year = {2012},
 doi = {10.1007/978-3-642-31057-7_6}}

@inproceedings{user12,
  title = "TraceR: A framework for understanding R performance",
  author = "Ryan Macnak and Flor\'eal Morandat and Brandon Hill and Leo Osvald
            and Jan Vitek",
  booktitle = "International R Users Meeting (UseR!)",
  year = 2012}

@incollection{wellings12,
  editor = {Higuera-Toledano, M. Teresa and Wellings, Andy J.},
  booktitle = {Distributed, Embedded and Real-time Java Systems},
  publisher = {Springer},
  year = {2012},
  author = "Daniel Tang and Ales Plsek and Jan Vitek",
  title = "Memory Safety for Safety Critical Java",
  pages = "235--254"}

@incollection{breitman12,
  booktitle = "Patterns, Programming and Everything",
  editor = "Karin Breitman and Nigel Horspool",
  title = "Atomicity in Real-time Computing",
  author = "Jan Vitek",
  year = 2012,
  publisher = Springer}

@proceedings{LCTES11,
  editor    = {Jan Vitek and
               Bjorn De Sutter},
  title     = {Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on
               Languages, compilers, and tools for embedded systems, LCTES
               2011, Chicago, IL, USA, April 11-14, 2011},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0555-6}}

@inproceedings{dac11,
  author    = {Jan Vitek},
  title     = {Virtualizing real-time embedded systems with Java},
  year      = {2011},
  doi       = {10.1145/2024724.2024926},
  booktitle = {Proceedings of the  Design Automation Conference (DAC)}}

@inproceedings{tools11,
  author    = {Ana Milanova and
               Jan Vitek},
  title     = {Static Dominance Inference},
  year      = {2011},
  doi       = {10.1007/978-3-642-21952-8_16},
  booktitle = {International Conference on Objects,
                Models, Components, Patterns  (TOOLS'49)},
}

@inproceedings{emsoft11,
  author    = {Jan Vitek and
               Tomas Kalibera},
  title     = {Repeatability, reproducibility, and rigor in systems research},
  booktitle = {EMSOFT},
  year      = {2011},
  doi       = {10.1145/2038642.2038650},
  booktitle = {Conference on Embedded Software (EMSOFT)},
}

@article{tocs11,
  author    = {Tomas Kalibera and
               Filip Pizlo and
               Antony L. Hosking and
               Jan Vitek},
  title     = {Scheduling real-time garbage collection on uniprocessors},
  journal   = {ACM Trans. Comput. Syst.},
  volume    = {29},
  number    = {3},
  year      = {2011},
  pages     = {8},
  ee        = {http://doi.acm.org/10.1145/2003690.2003692},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{oopsla12b,
  author    = {Fadi Meawad and
               Gregor Richards and
               Flor{\'{e}}al Morandat and
               Jan Vitek},
  title     = {"Eval begone!: semi-automated removal of eval from JavaScript programs"},
  booktitle = {Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, (OOPSLA)},
  pages     = {607--620},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2384616.2384660},
}

@inproceedings{oopsla11,
  title = "Automated Construction of {JavaScript} Benchmarks",
  author = "Gregor Richards and Andreas Gal and Brendan Eich and Jan Vitek",
  year = 2011,
  booktitle = OOPSLA,
  doi       = {10.1145/2048066.2048119}}

@inproceedings{ecoop11,
  title = "The Eval that Men Do: A Large-scale Study of the Use of Eval in {JavaScript} Applications",
  author = "Gregor Richards and	Christian Hammer and Brian Burg and Jan Vitek",
  year = 2011,
  booktitle = ECOOP,
  doi       = {10.1007/978-3-642-22655-7_4} }

@inproceedings{ecoop10,
  author    = {Mandana Vaziri and
               Frank Tip and
               Julian Dolby and
               Christian Hammer and
               Jan Vitek},
  title     = {A Type System for Data-Centric Synchronization},
  booktitle = ECOOP,
  year      = {2010},
  doi       = {10.1007/978-3-642-14107-2_15},
}

@inproceedings{sac10,
  author = {Martin Schoeberl and Florian Brandner and Jan Vitek},
  title = {RTTM: Real-Time Transactional Memory},
  booktitle = {Symposium on Applied Computing (SAC)},
  year = {2010},
  pages = {326--333},
  doi = {10.1145/1774088.1774158}}

@article {CPE10,
author = {Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo, Filip and Titzer, Ben and Vitek, Jan},
title = {A family of real-time Java benchmarks},
journal = {Concurrency and Computation: Practice and Experience},
XXXpublisher = {John Wiley & Sons, Ltd.},
issn = {1532-0634},
doi = {10.1002/cpe.1677},
pages = {1679--1700},
volume = 23,
issue = 14,
keywords = {RTSJ, benchmark, collision detection},
year = 2011
}

@InProceedings{jtres10a,
    title = "Developing {Safety Critical Java} applications with {oSCJ/L0}",
    author = "Ales Plsek and Lei Zhao and {Veysel H.} Sahin and  Daniel
              Tang and  Tomas Kalibera and Jan Vitek",
    year = 2010,
    booktitle = {Proceedings of the International Workshop on Java
                Technologies for Real-time and Embedded Systems (JTRES)}}

@InProceedings{jtres10b,
    title = "Static Checking of Safety Critical {Java} Annotations",
    author = "Daniel Tang and Ales Plsek and Jan Vitek",
    year = 2010,
    booktitle = {Proceedings of the International Workshop on Java
                Technologies for Real-time and Embedded Systems (JTRES)}}

@inproceedings{popl10,
  author    = {Tobias Wrigstad and
               Francesco Zappa Nardelli and
               Sylvain Lebresne and
               Johan {\"O}stlund and
               Jan Vitek},
  title     = {Integrating typed and untyped code in a scripting language},
  year      = 2010,
  doi       = {10.1145/1706299.1706343},
  booktitle = POPL}

@inproceedings{plpv10,
  author    = {Tom{\'a}s Kalibera and
               Pavel Parizek and
               Ghaith Haddad and
               Gary T. Leavens and
               Jan Vitek},
  title     = {Challenge benchmarks for verification of real-time programs},
  year      = 2010,
  pages     = {57-62},
  booktitle     = {Programming Languages meets Program Verification
               Workshop (PLPV)}}

@InProceedings{eurosys10,
  title = "High-level Programming of Embedded Hard Real-Time Devices",
  author = "Filip Pizlo and Lukasz Ziarek and Ethan Blanton
            and Petr Maj and Jan Vitek",
  year = 2010,
  month = apr,
  booktitle = "EuroSys Conference"}

@InProceedings{pldi10a,
  author = "Gregor Richards and Sylvain Lesbrene and Brian Burg and
            Jan Vitek",
  title = "An Analysis of the Dynamic Behavior of {JavaScript} Programs",
 booktitle = "Proceedings of the ACM Programming Language Design
             and Implementation Conference (PLDI)",
  month = jun,
  year  = 2010}

@InProceedings{pldi10b,
  author = "Filip Pizlo and Ethan Blanton and Anthony Hosking
            and Petr Maj and Jan Vitek and Lukas Ziarek",
  title = "SCHISM: Fragmentation-Tolerant Real-Time Garbage Collection",
 booktitle = "Proceedings of the ACM Programming Language Design
             and Implementation Conference (PLDI)",
  month = jun,
  year  = 2010}

@InProceedings{rtss09,
  author = "Tomas Kalibera and Filip Pizlo and {Antony L.} Hosking and
            Jan Vitek",
  title  = "Scheduling Hard Real-time Garbage Collection",
  booktitle = "Proceedings of the IEEE Real-Time
               Systems Symposium (RTSS)",
  month = dec,
  year = 2009}

@InProceedings{ecoop09intro,
  title = "Introduction to: The Myths of Object-Orientation",
  author = "Jan Vitek",
  booktitle = ECOOP,
   year  = 2009,
   month = "July",
   pages = 618}

@Article{tces09,
   title = "Reflexes: Abstractions for Integrating Highly
            Responsive Tasks into {Java} Applications",
   author = "Jesper Honig Spring and Filip Pizlo and Jean Privat and
             Rachid Guerraoui and Jan Vitek",
    journal  = {ACM Transactions in Embedded Computing Systems (TECS)},
   year = 2009}

@InProceedings{jtresCD,
    title = "CDx: A Family of Real-time {Java} Benchmarks",
    author = "Tomas Kalibera and Jeff Hagelberg and Filip Pizlo
            and  Ales Plsek and Ben Titzer and, Jan Vitek",
   booktitle = "International Workshop on Java Technologies for Real-time and
                Embedded Systems (JTRES)",
   month = "September",
   year = 2009}

@InProceedings{jtresTCK,
    title = "A Technology Compatibility Kit for Safety Critical {Java}",
    author = "Lei Zhao and Daniel Tang  and Jan Vitek",
   booktitle = "International Workshop on Java Technologies for Real-time and
                Embedded Systems (JTRES)",
   month = "September",
   year = 2009}

@InProceedings{jtresFVM,
    title = "Towards {Java} on Bare Metal with the {Fiji VM}" ,
    author = "Filip Pizlo and  Lukasz Ziarek and Jan Vitek",
   booktitle = "International Workshop on Java Technologies for Real-time and
               Embedded Systems (JTRES)",
   month = "September",
   year = 2009}

@InProceedings{stopHard,
    title = "Software Hardening: A Research Agenda",
    author = "Tobias Wrigstad and Patrick Eugster and John Field and
              Nate Nystrom and Jan Vitek",
    booktitle = "International Workshop on Script to Program Evolution (STOP)",
    month = jul,
    year = 2009}

@InProceedings{stopJS,
    title = "Understanding the Dynamics of JavaScript",
    author= {Sylvain Lebresne and Gregor Richards and Johan \"Ostlund and
             Tobias Wrigstad and Jan Vitek},
    booktitle = "International Workshop on Script to Program Evolution (STOP)",
    month = jul,
    year = 2009}

@InProceedings{oopsla09,
  title = "Thorn: Robust, Concurrent, Extensible Scripting on the {JVM}",
  author = {Bard Bloom and John Field and  Nathaniel Nystrom and  Johan
            \"Ostlund and Gregor Richards and Rok Strnisa and Jan Vitek
            and Tobias Wrigstad},
   booktitle = OOPSLA,
  doi       = {10.1145/1639950.1640016},
   year = 2009}

@InProceedings{safecert09,
  author = "Thomas Henties and James Hunt and Doug Locke and Kelvin Nilsen
            and  Martin Schoeberl and Jan Vitek",
   title = "{Java} for Safety-Critical Applications",
   booktitle = "Certification of Safety-Critical Software Controlled
                Systems (SafeCert)",
   month = "March",
   year = 2009}

@Article{cpe09,
  author = "Jason Baker and Antonio Cunei and Tomas Kabilera and
            Filip Pizlo and Jan Vitek",
  title = "Accurate Garbage Collection in Uncooperative Environments Revisited",
  journal = "Concurrency and Computation: Practice and Experience",
  year = 2009}

@InProceedings{dasia09,
  author = "Tomas Kalibera and Marek Prochazka and
            Filip Pizlo and Jan Vitek and Marco Zulianello
            and Martin Decky",
  title  = "Real-time {Java} in Space: Potential Benefits and Open Challenges",
  booktitle = "Proceedings of DAta Systems In Aerospace (DASIA)",
  year = 2009}

@InProceedings{coord09,
   author = "Antonio Cunei and Rachid Guerraoui
           and Jesper Honig Spring and  Jean Privat
           and Jan Vitek",
   title = "High-Performance Transactional Event Processing",
   booktitle = "International Conference on Coordination Models
and Languages (COORDINATION)",
   month = "June",
   year =  2009}

@inproceedings{ecoop09,
  author = "Tobias Wrigstad and  Filip Pizlo and Fadi Meawad
            and  Lei Zhao and Jan Vitek",
   title = "Loci: Simple Thread-Locality for {Java}",
   booktitle = ECOOP,
   year  = 2009}

@inproceedings{lctes08,
  author    = {Joshua S. Auerbach and
               David F. Bacon and
               Rachid Guerraoui and
               Jesper Honig Spring and
               Jan Vitek},
  title     = {Flexible task graphs: a unified restricted thread programming
               model for {Java}},
  year      = {2008},
  pages     = {1-11},
  booktitle     = {Proceedings of the SIGPLAN/SIGBED Conference on
               Languages, Compilers, and Tools for Embedded Systems (LCTES'08)},
  month     = {June},
  publisher = {ACM}}

@proceedings{ECOOP08,
  editor    = {Jan Vitek},
  title     = {Proceedings of the 22nd European Conference On Object Oriented Programming, Paphos, Cyprus},
  month     =  {July},
  date      = {7-11},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5142},
  year      = {2008}}

@InProceedings{pizlo08,
 author = "Filip Pizlo  and Jan Vitek",
 title  = "Memory Management for Real-time Java: State of the Art",
 booktitle = "Proceedings of the IEEE International Symposium on
             Object-oriented Real-Time Distributed Computing (ISORC)",
 address = "Orlando, FL",
 month = May,
 year =  2008}

@article{scp08,
  author    = {Tian Zhao and
               Jason Baker and
               James Hunt and
               James Noble and
               Jan Vitek},
  title     = {Implicit ownership types for memory management},
  journal   = {Science of Computer Programming},
  volume    = {71},
  number    = {3},
  year      = {2008},
  pages     = {213-241}}

@inproceedings{padl08,
  author    = {Martin Hirzel and
               Nathaniel Nystrom and
               Bard Bloom and
               Jan Vitek},
  title     = {Matchete: Paths through the Pattern Matching Jungle},
  year      = {2008},
  pages     = {150-166},
  booktitle     = {10th International Symposium on
               Practical Aspects of Declarative Languages (PADL)},
  publisher = {Springer}}

@InProceedings{jtres07,
   author = "Martin Schoeberl and Jan Vitek",
   title = "Garbage Collection for Safety Critical {Java}",
   booktitle = "International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES)",
   month = "September",
   year = 2007}

@article{rsj07,
 author  = "Chris Andreae and Yvonne Coady and Celina Gibbs
            and James Noble and Jan Vitek and Tian Zhao",
 title   = "Scoped Types and Aspects for Real-time {J}ava Memory Management",
 journal = "Realtime Systems Journal",
 pages = "1--44",
 volume = 37,
  number = 1,
 month = oct,
 year    = 2007}

@inproceedings{oopsla07,
   title     = "{StreamFlex}: High-throughput Stream Programming in {Java}",
   author    = "Jesper H. Spring and Jean Privat  and
                Rachid Guerraoui  and Jan Vitek",
   booktitle = OOPSLA,
  year       = 2007}

@article{spe07,
  author  = "Antonio Cunei and Jan Vitek",
  title   = "An Efficient and Flexible Toolkit for
             Composing Customized Method Dispatchers",
  volume  = 38,
  number  =  1,
  pages   = "33--73",
  month   = jan,
  journal = "Software--Practice \& Experience",
  year    = 2008}

@inproceedings{lctes07,
  author = "Filip Pizlo and {Athony L.} Hosking and Jan Vitek",
  title  = "Hierarchical Real-time Garbage Collection",
  year   = 2007,
  booktitle = "Proceeedings of
           ACM SIGPLAN/SIGBED 2007 Conference on Languages,
           Compilers, and Tools for Embedded Systems (LCTES)",
  pages  = {123--133},
  location = {San Diego, CA},
  doi    = {http://doi.acm.org/10.1145/1254766.1254784},
}

@inproceedings{vee07,
  author = "{Jesper Honig} Spring and Filip Pizlo and
            Rachid Guerraoui and  Jan Vitek",
  title = "Reflexes: Abstractions for Highly Responsive Systems",
  year = 2007,
  booktitle = {Proceedings of the 2nd International Conference on Virtual
               Execution Environments (VEE)},
}

@inproceedings{cc07,
  author = "Jason Baker and Antonio Cunei and Filip Pizlo and Jan Vitek",
  title = "Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks",
  booktitle = "International Conference on Compiler Construction (CC)",
  year = 2007}

@inproceedings{eurosys07,
   author = "Michal Kalpka and Rachid Guerraoui and Jan Vitek",
   title = "STMBench7: A Benchmark for Software Transactional Memory",
   booktitle = "EuroSys Conference",
   month  = mar,
   year = 2007
}

@inproceedings{dsal06,
   author = "Yvonne Coady and Celina Gibbs and Michael Haupt and Jan Vitek and Hiroshi Yamauchi",
   title = "Towards a domain specific language for virtual machines",
   booktitle = "First Domain-Specific Aspect Languages Workshop",
   year = 2006,
   month = oct}

@inproceedings{rtss:06,
   author = "Filip Pizlo and Jan Vitek",
   title = "An Empirical Evalutation of Memory Management
            Alternatives for {R}eal-time {J}ava",
   booktitle = "Proceedings of the 27th IEEE Real-Time
                 Systems Symposium (RTSS)",
   month = dec,
   year = {2006},
}

@article{tecs:06,
    author = "Austin Armbuster and Jason Baker and Antonio Cunei and
              David Holmes and Chapman Flack and Filip Pizlo and Edward Pla
              and Marek Prochazka  and Jan Vitek",
    title="A {R}eal-time {J}ava Virtual Machine with Applications in Avionics",
    journal  = {ACM Transactions in Embedded Computing Systems (TECS)},
    volume = 7,
   number = 1,
   pages = {1--49},
    year      = {2007},
}

@article{jbnmr:06,
    author = "Olga Vitek and Bruce Craig and Chris Bailey-Kellog and Jan Vitek",
    title = "Inferential backbone assignment for sparse data",
    journal = "Journal of Biomolecular NMR",
   year = "2006",
}

@InProceedings{aplas06,
 author =   "Hiroshi Yamauchi and Jan Vitek",
 title =     "Combining Offline and Online Optimizations: Register Allocation and Method Inlining",
 booktitle     = "Proceedings of the Fourth ASIAN Symposium on
Programming Languages and Systems (APLAS)",
  address = "Sydney, Australia",
  month = nov,
  year      = {2006},
}

@InProceedings{ecoop06,
 author =   "Chris Andreae and Yvonne Coady and Celina Gibbs and James Noble and Jan Vitek and Tian Zhao",
 title =     "{Scoped Types and Aspects for Real-Time {Java}}",
 booktitle     = ECOOP,
  year      = {2006},
}

@article{toplas:06,
  author = "Christian Grothoff and Jens Palsberg and Jan Vitek",
  title = "Encapsulating Objects with Confined Types",
  journal = "Transactions on Programming Languages and Systems",
 volume = {29},
 number = {6},
 pages = {32--73},
  year = 2007,
}

@article{jfp:06,
  author = "Tian Zhao and Jens Palsberg and Jan Vitek",
  title = "Type-based Confinement",
  journal = "Journal of Functional Programming",
  volume = 16,
  number = 1,
  month = jan,
  year = 2006,
}

@inproceedings{vee06,
  author    = {Antonio Cunei and  Jan Vitek},
  title     = {A new approach to real-time checkpointing.},
  year      = {2006},
  pages     = {68-77},
  booktitle = {Proceedings of the 2nd International Conference on Virtual
               Execution Environments (VEE)},
  address = "Ottawa, Ontario, Canada",
}

@inproceedings{rtas:06,
    author = "Jason Baker and Antonio Cunei
              and Chapman Flack and Filip Pizlo and  Marek Prochazka
              and Jan Vitek and Austin Armbuster and Edward Pla  and David Holmes",
    title = "A Real-time {J}ava Virtual Machine for Avionics",
    booktitle  = {Proceedings of the 12th IEEE Real-Time and Embedded Technology
               and Applications Symposium (RTAS)},
  year      = {2006},
}

@article{tosn:06,
   author = "Bogdan C\u{a}rbunar and Ananth Grama and Jan Vitek and Octavian C\u{a}rbunar",
   title = {Redundancy and Coverage Detection in Sensor Networks},
   journal = "ACM Transaction on Sensor Networks",
   note = "Accepted for publication",
   year = 2006,
}

@inproceedings{rajeevSV05,
  author    = {Rajeev Gopalakrishna and
               Eugene H. Spafford and
               Jan Vitek},
  title     = {Efficient Intrusion Detection using Automaton Inlining.},
  booktitle = {IEEE Symposium on Security and Privacy},
  year      = {2005},
  pages     = {18-31},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SP.2005.1},
}

@inproceedings{rtss:2005,
  author = "Jeremy Manson and Jason Baker and Antonio Cunei and Suresh
            Jagannathan and Marek Prochazka and Bin Xin and Jan Vitek",
  title = "Preemptible Atomic Regions for Real-time {Java}",
  booktitle     = {Proceedings of the 26th IEEE Real-Time Systems Symposium
               (RTSS)},
  month =  dec,
  year      = {2005},
}

@article{tfj:05,
    author = "Suresh Jagannathan and Jan Vitek and Adam Welc
             and Antony  Hosking",
    title  = "A Transactional  Object Calculus",
  journal   = {Science of  Computer Programming},
  volume    = {57},
  number    = {2},
  pages     = {164-186},
  month     = aug,
    abstract  = "A transaction defines a locus of computation that satisfies
                  important concurrency and failure properties. These
                  so-called ACID properties provide strong serialization
                  guarantees that allow us to reason about concurrent and
                  distributed programs in terms of higher-level units of
                  computation (e.g., transactions) rather than lower-level
                  data structures (e.g., mutual-exclusion locks). This paper
                  presents a framework for specifying the semantics of a
                  transactional facility integrated within a host
                  programming language. The TFJ calculus, an object calculus
                  derived from Featherweight Java, supports nested and
                  multi-threaded transactions. We give a semantics to TFJ
                  that is parametrized by the definition of the
                  transactional mechanism that permits the study of
                  different transaction models. We give two instantiations:
                  one that defines transactions in terms of a
                  versioning-based optimistic concurrency model, and the
                  other which specifies transactions in terms of a
                  pessimistic two-phase locking protocol, and present
                  soundness and serializability properties for our
                  semantics.",
    url = "http://dx.doi.org/10.1016/j.scico.2005.03.001",
    year =  2005}

@article{seal:05,
   author = "Guiseppe Castagna and Jan Vitek and Franseco Zappa Nardeli",
   title = "The Seal calculus",
   journal = "Information and Computation",
   volume = 201,
   number = 1,
   month = aug,
   abstract = "The Seal Calculus is a process language for describing mobile
                  computation. Threads and resources are tree structured;
                  the nodes thereof correspond to agents, the units of
                  mobility. The Calculus extends a pi-calculus core with
                  synchronous, objective mobility of agents over
                  channels. This paper systematically compares all previous
                  variants of Seal Calculus. We study their operational
                  behaviour with labelled transition systems and
                  bisimulations; by comparing the resulting algebraic
                  theories we highlight the differences between these
                  apparently similar approaches. This leads us to identify
                  the dialect of Seal that is most amenable to operational
                  reasoning and can form the basis of a distributed
                  programming language. We propose type systems for
                  characterising the communications in which an agent can
                  engage. The type systems thus enforce a discipline of
                  agent mobility, since the latter is coded in terms of
                  higher-order communication.",
   url = "http://dx.doi.org/10.1016/j.ic.2004.11.005",
   year = 2005,
}

@article{BioInf:05,
   author = "Olga Vitek and Chris Bailey-Kellogg and Bruce Craig and Paul Kuliniewicz and Jan Vitek",
   title  = "Reconsidering complete search algorithms for protein backbone {NMR} assignment",
   journal= "Bioinformatics",
   month  = sep,
   year   = 2005,
   volume = 21,
   pages  = "230--236",
   url    = "http://bioinformatics.oxfordjournals.org/cgi/reprint/21/suppl_2/ii230?maxtoshow=&HITS=10&hits=10&RESULTFORMAT=1&author1=vitek&andorexacttitle=and&andorexacttitleabs=and&andorexactfulltext=and&searchid=1136205464886_890&FIRSTINDEX=0&sortspec=date&journalcode=bioinfo",
}

@proceedings{vee:05,
 title = {VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments},
 year = {2005},
 isbn = {1-59593-047-7},
 location = {Chicago, IL, USA},
 order_no = {548059},
 publisher = {ACM Press},
 address = {New York, NY, USA},
  editor  = "Jan Vitek and Micheal Hind",
}

@inproceedings{Cunei:2005:PFD,
  author =	"Antonio Cunei and Jan Vitek",
  title =	"{PolyD}: a flexible dispatching framework",
  booktitle =   OOPSLA,
  year = 	"2005"}

@article{scool04,
   author = "Mark Moir and Nir Shavit and Jan Vitek",
   journal = "Science of Computer Programming",
   volume = 58,
   number =3,
   month =  "December",
   year = 2005,
   pages = "291-292",
   url = "http://dx.doi.org/10.1016/j.ic.2004.11.005",
   title = "Special Issue on Concurrency and synchonization in {J}ava programs"
}

@article{ovmir:05,
  author  = "Krzysztof Palacz and Jason Baker and Chapman Flack and
                  Christian Grothoff and Hiroshi Yamauchi and Jan Vitek",
  title  = "Engineering a common intermediate representation for the
            {Ovm} framework",
  journal= "The Science of Computer Programming",
  volume = 57,
  number = 3,
  month  = "September",
  abstract = "The Ovm framework is a set of tools and components for
                  building language runtimes. We present the common
                  intermediate representation of this framework and software
                  design patterns used throughout Ovm. One of the main
                  themes in this work has been supporting experimentation
                  with new linguistic constructs and implementation
                  techniques. To this end, Ovm components were designed to
                  be parametric with respect to the instruction set on which
                  they operate and its semantics. We argue that our approach
                  eases the task of writing new components without
                  sacrificing efficiency.",
  url = "http://dx.doi.org/10.1016/j.scico.2004.08.007",
  pages  = "357-378",
  year   =  2005,
}

@inproceedings{zhao:04,
      author = "Tian Zhao and James Noble and Jan Vitek",
      title = "Scoped Types for Real-time {Java}",
      booktitle = "Proceedings of the 25th IEEE
                   International Real-Time Systems Symposium (RTSS)",
      address = "Lisbon, Portugal",
      month = dec,
      year = 2004,
}

@InProceedings{welc04,
 author   = "Jan Vitek and Suresh Jagannathan and Adam Welc and {Antony L.}
             Hosking",
 title    = "A semantic framework for designer transactions",
 booktitle= "Proceedings of the European Symposium on Programming (ESOP)",
 address  = "Barcelona, Spain",
 month    = "April",
 year     = 2004,
}

@Book{warfighter,
 author = "J.M. Bradshaw and G. Boy and  E. Durfee and
           M. Gruninger and H. Hexmoor and  N. Suri
           and  M. Tambe and M. Uschold and J. Vitek",
 title =   "Software Agents for the Warfighter",
 publisher = "AAAI Press (to appear)",
 address = "Menlo Park, California",
 year =   "2004",
}

@InProceedings{sureshJan04,
 author   = "Suresh Jagannathan and Jan Vitek",
 title    = "Optimistic concurrency semantics for transactions in coordination
             languages",
 booktitle= "Proceedings of the International Conference on Coordination
             Models and Languages (COORDINATION)",
 address  = "Pisa, Italy",
 month    = "March",
 year     = 2004,
}

@InProceedings{pizlo04,
 author = "Filip Pizlo and Jason Fox and David Holmes and Jan Vitek",
 title  = "Real-Time {J}ava scoped memory: design patterns and semantics",
 booktitle = "Proceedings of the IEEE International Symposium on
             Object-oriented Real-Time Distributed Computing (ISORC)",
 address = "Vienna, Austria",
 month = May,
 year =  2004,
}

@article{olga:04,
   author = "Olga Vitek and  Jan Vitek and Bruce Craig and
             Chris Bailey-Kellogg",
    title = "Model-based assignment and inference of protein backbone nuclear
             magnetic resonances",
   journal = "Statistical Applications in Genetics and
              Molecular Biology",
   publisher = "Berkeley Electronic Press",
   volume = 1,
   issue = 1,
   year = 2004,
}

@InProceedings{marekFilip04,
 author   = "Suresh Jagannathan and Marek Prochazka and
             Filip Pizlo and Jan Vitek",
 title    = "Transactional Lock-Free Objects for Real-time {Java}",
 booktitle= "Workshop on Synchronization and  Currency in {Java}
             Programs (CSJP)",
 year     = 2004}

@inproceedings{secon:04,
   author = "Bogdan C\u{a}rbunar and Ananth Grama and Jan Vitek and
             Octavian C\u{a}rbunar",
   title = {Redundancy and Coverage Detection in Sensor Networks},
   booktitle = "First IEEE International conference on Sensor
             and Ad Hoc Communications and Networks",
   month = oct,
   year = 2004,
}

@Article{lime04,
 author   = "Bogdan C\u{a}rbunar and {M. T.} Valente and Jan Vitek",
 title    = "Coordination and mobility in CoreLime",
 journal  = "Mathematical Structures in Computer Science",
 number = 3,
 volume = 14,
 year = 2004}

@InProceedings{conf/icpads/CarbunarGV04,
  title =	"Distributed and Dynamic Voronoi Overlays for Coverage
		 Detection and Distributed Hash Tables in Ad-Hoc
		 Networks",
  author =	"Bogdan C\u{a}rbunar and Ananth Grama and Jan Vitek",
  year = 	"2004",
  booktitle =	"Proceedings of the 10th International Conference on Parallel
                 an Distributed Systems (ICPADS)",
  URL =  	"http://doi.ieeecomputersociety.org/10.1109/ICPADS.2004.34",
}

@InProceedings{chotia04,
  author = "Tom Chothia and Dominic Duggan and Jan Vitek",
  title  = "Principals, Policies and Keys in a Secure Distributed
            Programming Language",
  booktitle = "Foundations of Computer Security (FCS)",
  address= "Turku, Finland",
  month = jul,
  date = "12--14",
  year = 2004,
}

@InProceedings{vitek.zhao:03,
 author   = "Tian Zhao and Jens Palsberg and Jan Vitek",
 title    = "Lightweight Confinement for Featherweight {Java}",
 booktitle = OOPSLA,
 year =       {2003},
}

@InProceedings{vitek.palacz:03,
  author =    "Krzysztof Palacz  and Jan Vitek",
  title =     "{Java} Subtype Tests in Real-Time",
  booktitle  = ECOOP,
  address = "Darmstadt, Germany",
  year      = {2003},
}

@InProceedings{ovmir03,
  author    = "Krzysztof Palacz and Jason Baker and Chapman Flack and
                  Christian Grothoff and Hiroshi Yamauchi and Jan Vitek",
  title     = "Engineering a Customizable Intermediate Representation",
  booktitle = "Proceedings of the ACM SIGPLAN Workshop on Interpreters,
                  Virtual Machines and Emulators, (IVME)",
  address   = "San Diego, California",
  month     = "June",
  year      =  2003}

@techreport{ovmidiom,
  author = "C. Flack and T. Hosking and J. Vitek",
  title = "Idioms in {Ovm}",
  institution = "Purdue University Department of Computer Sciences",
  year = 2003,
  number = "CSD-TR-03-017" }

@InProceedings{duggan.vitek:03,
   author =    "Tom Chothia and Dominic Duggan and Jan Vitek",
   title =     "Type-Based Distributed Access Control",
   booktitle = {Proceedings of the 16th IEEE Computer
                Security Foundations Workshop (CSFW)},
   year  =  2003,
   month = jun,
   URL = "http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270170abs.htm",
}

@article{bryce02,
  author    = {Jan Vitek and
               Ciar{\'a}n Bryce and
               Manuel Oriol},
  title     = {Coordinating processes with secure spaces.},
  journal   = {Science of  Computer Programming},
  volume    = {46},
  number    = {1-2},
  year      = {2003},
  pages     = {163-193},
  abstract  = "The Linda shared space model and its derivatives provide
                  great flexibility for building parallel and distributed
                  applications composed of independent processes. However,
                  the shared space model does not provide protection against
                  untrustworthy processes. Linda processes communicate by
                  reading and writing messages in a globally visible data
                  space, so a malicious process can launch any number of
                  security attacks. This paper presents the design of a new
                  coordination model which extends Linda with fine-grained
                  access control. The semantics of the model is presented in
                  the context of a process calculus. A prototype of our
                  model, called SecOS, has been implemented in Java",
  ee        = {http://dx.doi.org/10.1016/S0167-6423(02)00090-4},
}

@article{SV-jcs,
   author =       {Peter Sewell and Jan Vitek},
   title =         {Secure Composition of Untrusted Code: Box-$\pi$,
         Wrappers and Causality Types},
   journal =      {Journal of Computer Security},
   year =         {2003},
   volume =       {11},
   number =       {2},
   pages =        {135-188}}

@InProceedings{palacz.vitek02,
   author   = "Krzysztof Palacz and Grzegorz Czakowski and Laurent Daynes and Jan Vitek",
   title    = "Incommunicado: Fast Communication for Isolates",
    booktitle =  OOPSLA,
  year = 	2002}

@InProceedings{czajkowski.vitek:2002:RMS,
  editor    = {Juan Hern{\'a}ndez N{\'u}{\~n}ez and {Ana M. D.} Moreira},
  booktitle = {ECOOP Workshops},
  publisher = {Springer-Verlag},
  abstract  = "ECOOP Workshop Summary",
  author    = "Grzegorz Czajkowski and Jan Vitek",
  title     = "Resource Management for Safe Languages",
  year      = 2002}

@InProceedings{grothoff.vitek:2001:EOC,
  author   =   "Christian Grothoff and Jens Palsberg and Jan Vitek",
  title    =   "Encapsulating objects with confined types",
  booktitle =  OOPSLA,
   year =       {2001},
}

@InProceedings{carbunar.vitek01,
  title =        "Lime Revisited",
  author =       "Bogdan C\u{a}rbunar and {Marco Tulio} Valente and Jan Vitek",
  pages =        "54--69",
  booktitle =    "Proceedings of the 5th International
                 Conference  on Mobile Agents (MA)",
  year =         "2001"}

@Article{Vitek-Bokowski01,
  author  = "Jan Vitek and Boris Bokowski",
  title   = "Confined types in {Java}",
  journal = "Software Practice \& Experience",
  volume  = 31,
  number  = 6,
  pages   = "507--532",
  year    = 2001,
}

@Article{BrV01,
 title = {The {JavaSeal} Mobile Agent Kernel},
 author = {Ciar\'an Bryce and Jan Vitek},
 journal = {Autonomous Agents and Multi-Agent Systems},
 volume = 4,
 number = 4,
 pages = {359--384},
 year = 2001,
 month = dec
}

@INPROCEEDINGS{sewell.vitek:csfw00,
  author   = "Peter Sewell and Jan Vitek",
  title    = "Secure Composition of Untrusted Code:
              Wrappers and Causality Types",
   booktitle = {Proceedings of the 13th IEEE Computer
               Security Foundations Workshop (CSFW-13)},
   year      =   2000,
   location  =   {Cambridge, U.K.},
   month     =   jul
 }

@InProceedings{vitek.castagna:jfla99,
 author    = "Jan Vitek and Giuseppe Castagna",
 title     = "Mobile Agents and Hostile Hosts",
 booktitle = "Proceedings of the 10th JFLA",
 address   = "Avoriaz, France",
 month     = "January",
 year      = 1999,
}

@InProceedings{vitek.bryce99,
    author   =  "Jan Vitek and Ciar\'an Bryce",
    title    =  {The {JavaSeal} Mobile Agent Kernel},
    booktitle = "Proceedings of the 1st International Symposium on
              Agent Systems and Applications
               / 3rd International Symposium on Mobile Agents (ASA/MA)",
  month = oct,
  year      = {1999},
    pages    =  {103--116}}

@INPROCEEDINGS{sewell.vitek:csfw99,
    author =    {Peter Sewell and Jan Vitek},
    title =    "Secure Composition of Insecure Components",
    booktitle = {Proceedings of the 12th IEEE Computer
                 Security Foundations Workshop (CSFW-12)},
   year =       {1999},
   location =    "Mordano, Italy",
   month =    "June",
   date =       "28--30"
}

@InProceedings{bryce.oriol.vitek:coordination99,
  author =       "C. Bryce and M. Oriol and J. Vitek",
  title =        "{A Coordination Model for Agents Based on Secure
                 Spaces}",
  booktitle =    "Proceedings 3rd Int. Conference on Coordination Models and
                 Languages (COORDINATION)",
  month =        "April",
  address =      "Amsterdam, Netherland",
  year =         "1999",
  pages =        "4--20"}

@InProceedings{bokowski.vitek:oopsla99,
 author    = "Boris Bokowski and Jan Vitek",
 title     = "{Confined Types}",
 booktitle = OOPSLA,
 year      = 1999,
}

@InProceedings{ViCa99,
     author =       "Jan Vitek and Giuseppe Castagna",
     title =      "Seal: A Framework for Secure Mobile Computations",
   booktitle = "Internet Programming Languages",
   publisher = "Springer Verlag",
   address   = "Berlin",
   year      = 1999,
   series    = {LNCS},
   volume    = 1686}

@Book{VJ99,
     author =       "Jan Vitek and Christian {Jensen (Eds.)}",
     title =        "Secure Internet Programming: Security Issues for Mobile
                     and Distributed Objects",
     publisher =    "Springer Verlag",
     address =      "Berlin",
     year =         "1999",
     series =       {LNCS},
     volume =       1603}

@Techreport{vbb98,
    author = {Jan Vitek and Ciar\'an Bryce and Walter Binder},
    title =   "Designing {JavaSeal, or how to make Java} safe for agents",
    institution = "In {\emph{Electronic Commerce Objects}},
                   D. Tsichritzis (Ed.),
                 Centre Universitaire d'Informatique, University of Geneva",
    month = jul,
    year =  1998,
    pages = {105--126}
}

@InProceedings{flex98,
  author =       "James Noble and John Potter and Jan Vitek",
  title =        "Flexible Alias Protection",
  booktitle =    ECOOP,
  year =         1998,
}

@InProceedings{bradley.horspool.vitek:cascon98,
 author     = {Quetzal Bradley and  R. Nigel Horspool and Jan Vitek},
 title      = {Jazz: Tailored Compression of {J}ava bytecode},
 booktitle  = {Proceedings of the IBM CASCON'98 Conference},
 address    = {Mississauga, Ontario, Canada},
 year       = 1998,
}

@Book{CTV98a,
   title =    {Proceedings of Workshop on Collaborative
               agents in Distributed Web Applications},
   author =    {Paolo Ciancarini and Robert Tolksdorf and Jan {Vitek (Eds.)}},
   note =       {Appeared in Proceedings of the 6th IEEE Workshops on Enabling
            Technologies for Collaborative Enterprises, (WETICE)},
      address =    {MIT, Boston},
      year =       1998,
}

@Article{CTV98,
 title   = {Special issue on Distributed World Wide Web Processing:
            Applications and Techniques},
 journal = {WWW Journal},
 author  = {Paolo Ciancarini and Robert Tolskdorf and Jan Vitek },
 year    = 1998,
}

@InProceedings{vitek.horspool:ecoop97,
  author =       "Andreas Krall and Jan Vitek and Nigel R. Horspool",
  title =        "Near Optimal Hierarchical Encoding of Types",
  booktitle =    ECOOP,
  year =         1997}

@InProceedings{vitek.horspool.krall:oopsla97,
  author =       "Jan Vitek and Nigel Horspool and Andreas Krall",
  title =        "Efficient Type Inclusion Tests",
  pages =        "142--157",
  booktitle =    OOPSLA,
  year =         1997}

@InProceedings{vitek.97b,
  author =       "Jan Vitek",
  title =        "New Paradigms for Distributed Programming",
  booktitle =      "European Research Seminar in Advanced Distributed
                 Systems, ERSADS'97",
  address =      "Zinal, Switzerland",
  month =        mar,
  year =         "1997",
}

@InProceedings{vitek.97a,
  author =       "Andreas Krall and Jan Vitek",
  title =        "On Extending Java",
  booktitle =    "Proceedings of the Joint Modular Languages Conference,
                 JMLC'97",
  address =      "Linz, Austria",
  month =        mar,
  year =         1997}

@InProceedings{v97,
   author    = "Jan Vitek",
   title     = "New Paradigms in distributed computing",
   booktitle = "Proceedings of the European Research Seminar in Advanced
                Distributed Systems (ERSADS)",
   pages     = "117--122",
   address   = "Zinal, Switzerland",
   month     = mar,
   year      = 1997,
}

@InProceedings{Vite97a,
     author =    "Jan Vitek and Manuel Serrano and Dimitris Thanos",
     title =      "Security and Communication in Mobile Object Systems",
   booktitle =   {Mobile Object Systems: Towards the Programmable Internet},
   year =            {1997},
   city =        {Berlin , Germany},
   month =          "April",
     pages =           "177--200"}

@Book{IB-D973045,
     author =       "Jan Vitek and Christian {Tschudin (Eds.)}",
     title =        "Mobile Objects Systems",
     publisher =    "Springer Verlag",
     address =      "Berlin",
     year =         {1997},
     ISBN =         "3-540-62852-5",
     url =          "http://www.cs.purdue.edu/homes/jv/"
  }

@InProceedings{vitek.ICCC:1996,
  title =        "Compact Dispatch Tables for Dynamically Typed Object
                 Oriented Languages",
  author =       "Jan Vitek and R. Nigel Horspool",
  booktitle =    "Proceedings of the 6th International Conference on Compiler Construction (CC)",
  editor =       "Tibor Gyimothy",
  address =      "Link{\"o}ping, Sweden",
  month =        "24--26~" # apr,
  year =         "1996",
  pages =        "309--325"}

@TechReport{kmv96,
    author = "Dimitri Konstantas and  Jean-Henri Morin and Jan Vitek",
    title = "{MEDIA}: A platform for the commercialization of electronic documents",
    institution ={In \emph{Object Applications}, D. Tsichritzis (Ed.),
           Centre Universitaire d'Informatique, University of Geneva},
    month = aug,
    year  = 1996,
    pages = "7--18"}

@Book{VT96,
    title =        {Proceedings  of the 1996 Mobile Object Systems Workshop},
    author =       {Jan Vitek and Christian {Tschudin (Eds.)}},
    publisher =    {dpunkt Verlag},
    year =         {1996}}

@InProceedings{vitek.ECOOP:1995,
  title =        "Message Dispatch on Pipelined Processors",
  author =       "Karel Driesen and Urs H{\"o}lzle and Jan Vitek",
  pages =        "253--282",
  editor =       "Walter G. Olthoff",
  booktitle =    ECOOP,
  year =         "1995"}

@InProceedings{vitek.ECOOP:1994,
  title =        "Taming Message Passing: Efficient Method Look-Up for
                 Dynamically Typed Languages",
  author =       "Jan Vitek and R. Nigel Horspool",
  pages =        "432--449",
  editor =       "Mario Tokoro and Remo Pareschi",
  booktitle =    ECOOP,
  year =         "1994"}

@InProceedings{vitek:1992:CAO,
  author =       "Jan Vitek and R. Nigel Horspool and James S. Uhl",
  title =        "Compile-Time Analysis of Object-Oriented Programs",
 booktitle =	"Proceedings of the  4th International Conference on
		 Compiler Construction (CC)",
  address =	"Paderborn, Germany",
  month =	 oct,
  year = 	"1992",
  pages =	"236--250",
}

@InProceedings{vitek.horspool:1992:SAP,
  author =       "R. Nigel Horspool and Jan Vitek",
  title =        "Static analysis of {Postscript} code",
  booktitle =    "Proceedings of the 1992 International Conference on
                   Computer Languages (ICCL)",
  pages =        "14--23",
  year =         1992,
}

branch_name: refs/heads/master


text:
@article{sinha2018hier,
 abstract = {Deep neural networks have been displaying superior
performance over traditional supervised classifiers in text
classification. They learn to extract useful features
automatically when sufficient amount of data is presented.
However, along with the growth in the number of documents
comes the increase in the number of categories, which often
results in poor performance of the multiclass classifiers. In
this work, we use external knowledge in the form of topic
category taxonomies to aide the classification by introducing
a deep hierarchical neural attention-based classifier. Our
model performs better than or comparable to state-of-the-art
hierarchical models at significantly lower computational cost
while maintaining high interpretability.},
 author = {Sinha, Koustuv and Dong, Yue and Chi-kit Cheung,
Jackie and Ruths, Derek},
 epdf = {http://www.aclweb.org/anthology/D18-1094},
 journal = {Empirical Methods of Natural Language Processing (EMNLP)},
 title = {A Hierarchical Neural Attention-based Text Classifier},
 year = {2018}
}

license: MIT

license_type: permissive

extension: bib


text:
@article{pmid24950512,
 author = {Langén, V. L.  and Niiranen, T. J.  and Mäki, J.  and Sundvall, J.  and Jula, A. M. },
 journal = {Clin Chem Lab Med},
 month = {Dec},
 number = {12},
 pages = {1807--1813},
 title = {Thyroid-stimulating hormone reference range and factors affecting it in a nationwide random sample},
 volume = {52},
 year = {2014}
}

repository: hypertensioncenter/academic-kickstart

repo_name: hypertensioncenter/academic-kickstart

gha_license_id: MIT

gha_language: TeX


text:
@Misc{SZ4A1H_2021,
author = {Gilmore, Oisín},
publisher = {IISH Data Collection},
title = {{The working week in manufacturing since 1820}},
UNF = {UNF:6:Zqh4+uGx03IvDmjICOPxFA==},
year = {2021},
version = {V1},
doi = {10622/SZ4A1H},
url = {https://hdl.handle.net/10622/SZ4A1H}
}


text:
# The set of languages for which implicit dependencies are needed:
set(CMAKE_DEPENDS_LANGUAGES
  "CXX"
  )
# The set of files for implicit dependencies of each language:
set(CMAKE_DEPENDS_CHECK_CXX
  "/home/joy/Documents/openMVG/src/openMVG/linearProgramming/linearProgrammingOSI_X.cpp" "/home/joy/Documents/openMVG_Build/openMVG/linearProgramming/CMakeFiles/openMVG_linearProgramming.dir/linearProgrammingOSI_X.cpp.o"
  )
set(CMAKE_CXX_COMPILER_ID "GNU")

# Preprocessor definitions for this target.
set(CMAKE_TARGET_DEFINITIONS
  "OPENMVG_USE_AVX2"
  "OPENMVG_USE_OPENMP"
  )

# Pairs of files generated by the same build rule.
set(CMAKE_MULTIPLE_OUTPUT_PAIRS
  "/home/joy/Documents/openMVG_Build/Linux-x86_64-RELEASE/libopenMVG_linearProgramming.so" "/home/joy/Documents/openMVG_Build/Linux-x86_64-RELEASE/libopenMVG_linearProgramming.so.1.3"
  "/home/joy/Documents/openMVG_Build/Linux-x86_64-RELEASE/libopenMVG_linearProgramming.so.1" "/home/joy/Documents/openMVG_Build/Linux-x86_64-RELEASE/libopenMVG_linearProgramming.so.1.3"
  )

# Targets to which this target links.
set(CMAKE_TARGET_LINKED_INFO_FILES
  "/home/joy/Documents/openMVG_Build/dependencies/osi_clp/Clp/src/CMakeFiles/lib_clp.dir/DependInfo.cmake"
  "/home/joy/Documents/openMVG_Build/dependencies/osi_clp/Clp/src/OsiClp/CMakeFiles/lib_OsiClpSolver.dir/DependInfo.cmake"
  "/home/joy/Documents/openMVG_Build/dependencies/osi_clp/CoinUtils/src/CMakeFiles/lib_CoinUtils.dir/DependInfo.cmake"
  "/home/joy/Documents/openMVG_Build/dependencies/osi_clp/Osi/src/Osi/CMakeFiles/lib_Osi.dir/DependInfo.cmake"
  )

# The include file search paths:
set(CMAKE_C_TARGET_INCLUDE_PATH
  "/home/joy/Documents/openMVG/src/third_party/eigen"
  "/home/joy/Documents/openMVG/src"
  "/home/joy/Documents/openMVG/src/dependencies"
  "/home/joy/Documents/openMVG/src/dependencies/cereal/include"
  "/home/joy/Documents/openMVG/src/third_party/flann/src/cpp"
  "/home/joy/Documents/openMVG/src/dependencies/osi_clp/Clp/src"
  "/home/joy/Documents/openMVG/src/dependencies/osi_clp/Clp/src/OsiClp"
  "/home/joy/Documents/openMVG/src/dependencies/osi_clp/CoinUtils/src"
  "/home/joy/Documents/openMVG/src/dependencies/osi_clp/Osi/src/Osi"
  )
set(CMAKE_CXX_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})
set(CMAKE_Fortran_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})
set(CMAKE_ASM_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})

extension: cmake


text:
DESCRIPTION = "Testing is usually the ugly part of Perl module authoring. Perl gives you a \
standard way to run tests with Test::Harness, and basic testing primitives \
with Test::More. After that you are pretty much on your own to develop a \
testing framework and philosophy. Test::More encourages you to make your \
own framework by subclassing Test::Builder, but that is not trivial."

SECTION = "libs"
LICENSE = "Artistic-1.0 | GPL-1.0-or-later"
PR = "r0"

MAINTAINER=	"Poky <poky@yoctoproject.org>"
HOMEPAGE=	"https://metacpan.org/release/Test-Base"

LIC_FILES_CHKSUM = "file://${COMMON_LICENSE_DIR}/Artistic-1.0;md5=cda03bbdc3c1951996392b872397b798 \
file://${COMMON_LICENSE_DIR}/GPL-1.0-or-later;md5=30c0b8a5048cc2f4be5ff15ef0d8cf61"

SRC_URI = "https://cpan.metacpan.org/authors/id/I/IN/INGY/Test-Base-0.89.tar.gz"

SRC_URI[md5sum] = "682b8d527ccea15d4bfe6214ded8f53c"
SRC_URI[sha256sum] = "2794a1aaaeb1d3a287dd2c7286258663796562f7db9ccc6b424bc4f1de8ad014"
RDEPENDS:${PN} += "spiffy-perl"
RRECOMMENDS:${PN} += "test-deep-perl"
DEPENDS += "algorithm-diff-perl-native"
DEPENDS += "text-diff-perl-native"

S = "${WORKDIR}/Test-Base-${PV}"

inherit cpan allarch

BBCLASSEXTEND = "native"

repository: rehsack/meta-cpan

repo_name: rehsack/meta-cpan

gha_language: BitBake

extension: bb


text:
# Put your BibTeX entries in this file.
@inproceedings{cognitive-VanEssen,
	author = {B. Van Essen et. al},
	title = {LBANN: Livermore Big Artificial Neural Network HPC toolkit},
	booktitle = {Workshop on Machine Learning in High Performance Computing Environments (MLHPC)},
	year = {2015}
}

@inproceedings{cognitive-Dryden,
	author = {N. Dryden et. al},
	title = {Communication quantization for data-parallel training of deep neural networks},
	booktitle = {Workshop on Machine Learning in High Performance Computing Environments (MLHPC'16)},
	year = {2016}
}

@inproceedings{cognitive-Jiang,
	author = {M. Jiang et. al},
	title = {A Supervised Learning Framework for Arbitrary Lagrangian-Eulerian Simulations},
	booktitle = {IEEE International Conference on Machine Learning and Applications},
	year = {2016}
}

@inproceedings{cognitive-Jacobs,
	author = {S.A. Jacobs et. al},
	title = {Towards Scalable Parallel Training of Deep Neural Networks},
	booktitle = {Workshop on Machine Learning in High Performance Computing Environments (MLHPC'17)},
	year = {2017}
}

repository: Franckcappello/ECP-ST-CAR-PUBLIC

repo_name: Franckcappello/ECP-ST-CAR-PUBLIC


text:
@article{RID:1120140407718-7,
 author = {Sánchez-Niubò A and  Aalen OO and  Domingo-Salvany A and  Amundsen EJ and  Fortiana J and  Røysland K},
 journal = {},
 title = {A multi-state model to estimate incidence of heroin use.},
 year = {2013}
}

repository: asanchezniubo/academic-kickstart

repo_name: asanchezniubo/academic-kickstart


text:
@article{marsili1998interacting,
	title={Interacting individuals leading to Zipf's law},
	author={Marsili, Matteo and Zhang, Yi-Cheng},
	journal={Physical review letters},
	volume={80},
	number={12},
	pages={2741},
	year={1998},
	publisher={APS}
}
@article{PhysRevLett.79.523,
	title = {Role of Intermittency in Urban Development: A Model of Large-Scale City Formation},
	author = {Zanette, Dami\'an H. and Manrubia, Susanna C.},
	journal = {Phys. Rev. Lett.},
	volume = {79},
	issue = {3},
	pages = {523--526},
	numpages = {0},
	year = {1997},
	month = {Jul},
	publisher = {American Physical Society},
	doi = {10.1103/PhysRevLett.79.523},
	url = {https://link.aps.org/doi/10.1103/PhysRevLett.79.523}
}
@article{roth2011structure,
  title={Structure of urban movements: polycentric activity and entangled hierarchical flows},
  author={Roth, Camille and Kang, Soong Moon and Batty, Michael and Barth{\'e}lemy, Marc},
  journal={PloS one},
  volume={6},
  number={1},
  year={2011},
  publisher={Public Library of Science}
}
@article{schaigorodsky2018short,
	title={Short-ranged memory model with preferential growth},
	author={Schaigorodsky, Ana L and Perotti, Juan I and Almeira, Nahuel and Billoni, Orlando V},
	journal={Physical Review E},
	volume={97},
	number={2},
	pages={022132},
	year={2018},
	publisher={APS}
}
@article{becker1999population,
  title={Population and economic growth},
  author={Becker, Gary S and Glaeser, Edward L and Murphy, Kevin M},
  journal={American Economic Review},
  volume={89},
  number={2},
  pages={145--149},
  year={1999}
}
@misc{smith1937wealth,
  title={The wealth of nations [1776]},
  author={Smith, Adam},
  year={1937},
  publisher={na}
}
@misc{fujita1999spatial,
  title={The spatial economy: Cities, regions, and international trade},
  author={Fujita, Masahisa and Krugman, Paul R and Venables, Anthony},
  year={1999},
  publisher={MIT press}
}
@article{pan2013urban,
  title={Urban characteristics attributable to density-driven tie formation},
  author={Pan, Wei and Ghoshal, Gourab and Krumme, Coco and Cebrian, Manuel and Pentland, Alex},
  journal={Nature communications},
  volume={4},
  pages={1961},
  year={2013},
  publisher={Nature Publishing Group}
}
@book{batty2007cities,
  title={Cities and complexity: understanding cities with cellular automata, agent-based models, and fractals},
  author={Batty, Michael},
  year={2007},
  publisher={The MIT press}
}
@article {Glaeser592,
	author = {Glaeser, Edward},
	title = {Cities, Productivity, and Quality of Life},
	volume = {333},
	number = {6042},
	pages = {592--594},
	year = {2011},
	doi = {10.1126/science.1209264},
	publisher = {American Association for the Advancement of Science},
	issn = {0036-8075},
	URL = {https://science.sciencemag.org/content/333/6042/592},
	eprint = {https://science.sciencemag.org/content/333/6042/592.full.pdf},
	journal = {Science}
}
@incollection{atkinson2012urban,
  title={Urban Governance and Competitiveness: Improving ‘urban attractiveness’},
  author={Atkinson, Rob},
  booktitle={Regieren},
  pages={297--312},
  year={2012},
  publisher={Springer}
}
@article{batty2008size,
  title={The size, scale, and shape of cities},
  author={Batty, Michael},
  journal={science},
  volume={319},
  number={5864},
  pages={769--771},
  year={2008},
  publisher={American Association for the Advancement of Science}
}
@book{boeing2017structure,
  title={The Structure and Dynamics of Cities: Urban Data Analysis and Theoretical Modeling, by Marc Barthelemy: (2017). Cambridge, UK: Cambridge University Press. 278 pages. },
  author={Boeing, Geoff},
  year={2017},
  publisher={Taylor \& Francis}
}
@article{bettencourt2010unified,
  title={A unified theory of urban living},
  author={Bettencourt, Luis and West, Geoffrey},
  journal={Nature},
  volume={467},
  number={7318},
  pages={912},
  year={2010},
  publisher={Nature Publishing Group}
}
@book{angel2005dynamics,
  title={The dynamics of global urban expansion},
  author={Angel, Shlomo and Sheppard, Stephen and Civco, Daniel L and Buckley, Robert and Chabaeva, Anna and Gitlin, Lucy and Kraley, Alison and Parent, Jason and Perlin, Micah},
  year={2005},
  publisher={Citeseer}
}
@book{portugali2011complexity,
  title={Complexity, cognition and the city},
  author={Portugali, Juval},
  year={2011},
  publisher={Springer Science \& Business Media}
}
@article{bettencourt2013origins,
  title={The origins of scaling in cities},
  author={Bettencourt, Lu{\'\i}s MA},
  journal={science},
  volume={340},
  number={6139},
  pages={1438--1441},
  year={2013},
  publisher={American Association for the Advancement of Science}
}
@article{batty2019urbanscalinglaw,
author = {Diego Rybski and Elsa Arcaute and Michael Batty},
title ={Urban scaling laws},
journal = {Environment and Planning B: Urban Analytics and City Science},
volume = {46},
number = {9},
pages = {1605-1610},
year = {2019},
doi = {10.1177/2399808319886125},
}
@article{zipf1949human,
  title={Human behavior and the principle of least effort.},
  author={Zipf, George Kingsley},
  year={1949},
  publisher={addison-wesley press}
}
@article{bettencourt2007growth,
  title={Growth, innovation, scaling, and the pace of life in cities},
  author={Bettencourt, Lu{\'\i}s MA and Lobo, Jos{\'e} and Helbing, Dirk and K{\"u}hnert, Christian and West, Geoffrey B},
  journal={Proceedings of the national academy of sciences},
  volume={104},
  number={17},
  pages={7301--7306},
  year={2007},
  publisher={National Acad Sciences}
}
@article{girardin2009quantifying,
  title={Quantifying urban attractiveness from the distribution and density of digital footprints},
  author={Girardin, Fabien and Vaccari, Andrea and Gerber, Alexander and Biderman, Assaf and Ratti, Carlo},
  year={2009},
  journal={International Journal of Spatial Data Infrastructures Research},
  publisher={Joint Research Centre of the European Commission}
}
@article{batty1971modelling,
  title={Modelling cities as dynamic systems},
  author={Batty, Michael},
  journal={Nature},
  volume={231},
  number={5303},
  pages={425},
  year={1971},
  publisher={Nature Publishing Group}
}
@article{gu2001social,
  title={Social polarization and segregation in Beijing},
  author={Gu, Chao-lin},
  journal={Chinese Geographical Science},
  volume={11},
  number={1},
  pages={17},
  year={2001},
  publisher={Springer}
}
@article{doi:10.1177/0042098010396239,
author = {Yanliu Lin and Bruno de Meulder and Shifu Wang},
title ={Understanding the ‘Village in the City’ in Guangzhou: Economic Integration and Development Issue and their Implications for the Urban Migrant},
journal = {Urban Studies},
volume = {48},
number = {16},
pages = {3583-3598},
year = {2011},
doi = {10.1177/0042098010396239},
URL = {https://doi.org/10.1177/0042098010396239}
}
@article {Liu1258832,
	author = {Liu, Jianguo and Mooney, Harold and Hull, Vanessa and Davis, Steven J. and Gaskell, Joanne and Hertel, Thomas and Lubchenco, Jane and Seto, Karen C. and Gleick, Peter and Kremen, Claire and Li, Shuxin},
	title = {Systems integration for global sustainability},
	volume = {347},
	number = {6225},
	elocation-id = {1258832},
	year = {2015},
	doi = {10.1126/science.1258832},
	publisher = {American Association for the Advancement of Science},
	issn = {0036-8075},
	URL = {https://science.sciencemag.org/content/347/6225/1258832},
	journal = {Science}
}
@article{miles1970homogeneous,
  title={On the homogeneous planar Poisson point process},
  author={Miles, Roger E},
  journal={Mathematical Biosciences},
  volume={6},
  pages={85--127},
  year={1970},
  publisher={Elsevier}
}
@article{hu2008urban,
  title={Urban traffic from the perspective of dual graph},
  author={Hu, M-B and Jiang, Rui and Wu, Y-H and Wang, W-X and Wu, Q-S},
  journal={The European Physical Journal B},
  volume={63},
  number={1},
  pages={127--133},
  year={2008},
  publisher={Springer}
}
@article{foster2010communities,
  title={Communities, clustering phase transitions, and hysteresis: Pitfalls in constructing network ensembles},
  author={Foster, David and Foster, Jacob and Paczuski, Maya and Grassberger, Peter},
  journal={Physical Review E},
  volume={81},
  number={4},
  pages={046115},
  year={2010},
  publisher={APS}
}
@article{PhysRevE.97.022132,
	title = {Short-ranged memory model with preferential growth},
	author = {Schaigorodsky, Ana L. and Perotti, Juan I. and Almeira, Nahuel and Billoni, Orlando V.},
	journal = {Phys. Rev. E},
	volume = {97},
	issue = {2},
	pages = {022132},
	numpages = {9},
	year = {2018},
	month = {Feb},
	publisher = {American Physical Society},
	doi = {10.1103/PhysRevE.97.022132},
	url = {https://link.aps.org/doi/10.1103/PhysRevE.97.022132}
}
@article{Barabasi509,
	author = {Barab{\'a}si, Albert-L{\'a}szl{\'o} and Albert, R{\'e}ka},
	title = {Emergence of Scaling in Random Networks},
	volume = {286},
	number = {5439},
	pages = {509--512},
	year = {1999},
	doi = {10.1126/science.286.5439.509},
	publisher = {American Association for the Advancement of Science},
	issn = {0036-8075},
	url = {https://science.sciencemag.org/content/286/5439/509},
	journal = {Science},
}
@article{PhysRevE.65.037106,
  title = {Fractional Langevin model of memory in financial time series},
  author = {West, Bruce J. and Picozzi, Sergio},
  journal = {Phys. Rev. E},
  volume = {65},
  issue = {3},
  pages = {037106},
  numpages = {3},
  year = {2002},
  month = {Mar},
  publisher = {American Physical Society},
  doi = {10.1103/PhysRevE.65.037106},
  url = {https://link.aps.org/doi/10.1103/PhysRevE.65.037106}
}
@article{manoli2019magnitude,
	title={Magnitude of urban heat islands largely explained by climate and population},
	author={Manoli, Gabriele and Fatichi, Simone and Schl{\"a}pfer, Markus and Yu, Kailiang and Crowther, Thomas W and Meili, Naika and Burlando, Paolo and Katul, Gabriel G and Bou-Zeid, Elie},
	journal={Nature},
	volume={573},
	number={7772},
	pages={55--60},
	year={2019},
	publisher={Nature Publishing Group}
}
@article{PhysRevLett.120.108701,
	title = {Role of City Texture in Urban Heat Islands at Nighttime},
	author = {Sobstyl, J. M. and Emig, T. and Qomi, M. J. Abdolhosseini and Ulm, F.-J. and Pellenq, R. J.-M.},
	journal = {Phys. Rev. Lett.},
	volume = {120},
	issue = {10},
	pages = {108701},
	numpages = {6},
	year = {2018},
	month = {Mar},
	publisher = {American Physical Society},
	doi = {10.1103/PhysRevLett.120.108701},
	url = {https://link.aps.org/doi/10.1103/PhysRevLett.120.108701}
}
@article{martinez2012shrinking,
  title={Shrinking cities: Urban challenges of globalization},
  author={Martinez-Fernandez, Cristina and Audirac, Ivonne and Fol, Sylvie and Cunningham-Sabot, Emmanu{\`e}le},
  journal={International journal of urban and regional research},
  volume={36},
  number={2},
  pages={213--225},
  year={2012},
  publisher={Wiley Online Library}
}
@article{haase2014conceptualizing,
  title={Conceptualizing urban shrinkage},
  author={Haase, Annegret and Rink, Dieter and Grossmann, Katrin and Bernt, Matthias and Mykhnenko, Vlad},
  journal={Environment and Planning A},
  volume={46},
  number={7},
  pages={1519--1534},
  year={2014},
  publisher={SAGE Publications Sage UK: London, England}
}
@article{RevModPhys.87.925,
  title = {Epidemic processes in complex networks},
  author = {Pastor-Satorras, Romualdo and Castellano, Claudio and Van Mieghem, Piet and Vespignani, Alessandro},
  journal = {Rev. Mod. Phys.},
  volume = {87},
  issue = {3},
  pages = {925--979},
  numpages = {55},
  year = {2015},
  month = {Aug},
  publisher = {American Physical Society},
  doi = {10.1103/RevModPhys.87.925},
  url = {https://link.aps.org/doi/10.1103/RevModPhys.87.925}
}
@article{bassolas2019hierarchical,
  title={Hierarchical organization of urban mobility and its connection with city livability},
  author={Bassolas, Aleix and Barbosa-Filho, Hugo and Dickinson, Brian and Dotiwalla, Xerxes and Eastham, Paul and Gallotti, Riccardo and Ghoshal, Gourab and Gipson, Bryant and Hazarie, Surendra A and Kautz, Henry and others},
  journal={Nature communications},
  volume={10},
  number={1},
  pages={1--10},
  year={2019},
  publisher={Nature Publishing Group}
}
@article{gabaix1999zipf's,
	title = {Zipf's Law for Cities: An Explanation},
	author = {Gabaix, Xavier},
	journal = {Quarterly Journal of Economics},
	volume = {114},
	number = {3},
	pages = {739--767},
	year = {1999},
}

@article{clark1951urban,
	title = {Urban population densities},
	author = {Clark, Colin},
	journal = {Journal of the Royal Statistical Society},
	volume = {114},
	number = {4},
	pages = {490--496},
	year = {1951},
}

@article{PhysRevX.4.011008,
	title = {Spatially Distributed Social Complex Networks},
	author = {Frasco, Gerald F. and Sun, Jie and Rozenfeld, Hern\'an D. and ben-Avraham, Daniel},
	journal = {Phys. Rev. X},
	volume = {4},
	issue = {1},
	pages = {011008},
	numpages = {9},
	year = {2014},
	month = {Jan},
	publisher = {American Physical Society},
	doi = {10.1103/PhysRevX.4.011008},
	url = {https://link.aps.org/doi/10.1103/PhysRevX.4.011008},
}
@article{Li2017Simple,
	title = {Simple spatial scaling rules behind complex cities},
	author = {Li, Ruiqi and Dong, Lei and Zhang, Jiang and Wang, Xinran and Wang, Wen Xu and Di, Zengru and Stanley, H.
	          Eugene},
	journal = {Nature Communications},
	volume = {8},
	number = {1},
	pages = {1841},
	year = {2017},
}
@article{batty1992form,
	title = {Form follows function: reformulating urban population density functions},
	author = {Batty, Michael and Sik Kim, Kwang},
	journal = {Urban studies},
	volume = {29},
	number = {7},
	pages = {1043--1069},
	year = {1992},
	publisher = {Sage Publications Sage UK: London, England},
}
@article{yule1925ii,
	title = {A mathematical theory of evolution, based on the conclusions of Dr. Willis, fr s},
	author = {Yule, George Udny},
	journal = {Philosophical transactions of the Royal Society of London. Series B, containing papers of a biological
	           character},
	volume = {213},
	number = {402-410},
	pages = {21--87},
	year = {1925},
	publisher = {The Royal Society London},
}
@book{durrett1999essentials,
	title = {Essentials of stochastic processes},
	author = {Durrett, Richard and Durrett, R},
	volume = {1},
	year = {1999},
	publisher = {Springer},
}
@article{WANG2019121921,
	title = "An extended exploration and preferential return model for human mobility simulation at individual and
	         collective levels",
	journal = "Physica A: Statistical Mechanics and its Applications",
	volume = "534",
	pages = "121921",
	year = "2019",
	issn = "0378-4371",
	doi = "https://doi.org/10.1016/j.physa.2019.121921",
	url = "http://www.sciencedirect.com/science/article/pii/S037843711931129X",
	author = "Jianying Wang and Lei Dong and Ximeng Cheng and Weijun Yang and Yu Liu",
}
@book{batty2013new,
  title={The new science of cities},
  author={Batty, Michael},
  year={2013},
  publisher={Mit Press}
}
@article{doi:10.1137/0150099,
author = {Britton, N. F.},
title = {Spatial Structures and Periodic Travelling Waves in an Integro-Differential Reaction-Diffusion Population Model},
journal = {SIAM Journal on Applied Mathematics},
volume = {50},
number = {6},
pages = {1663-1688},
year = {1990},
doi = {10.1137/0150099},
URL = {https://doi.org/10.1137/0150099}
}


text:
KBRANCH ?= "Poleg-5.4-OpenBMC"
LINUX_VERSION ?= "5.4.16"

SRCREV="317aef891ad9d3d054e8f8999be2897bf4b23505"

require linux-nuvoton.inc
SRC_URI_append_nuvoton = " file://0004-driver-ncsi-replace-del-timer-sync.patch"

repository: quanta-bmc/meta-nuvoton

repo_name: quanta-bmc/meta-nuvoton

gha_license_id: NOASSERTION


text:
DESCRIPTION = "Example image demonstrating how to build SWUpdate compound image"

LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://${COMMON_LICENSE_DIR}/MIT;md5=0835ade698e0bcf8506ecda2f7b4f302"

inherit swupdate

SRC_URI = "\
    file://sw-description \
    file://set_hostname.sh \
    file://check_partitions.sh \
"

# images to build before building swupdate image
IMAGE_DEPENDS = "chik-music-peer"

# images and files that will be included in the .swu image
SWUPDATE_IMAGES = "chik-music-peer uImage bcm2708-rpi-zero-w-music bcm2708-rpi-zero-w-music-hifiberry-amp2 boot"

SWUPDATE_IMAGES_FSTYPES[chik-music-peer] = ".ext4.gz"
SWUPDATE_IMAGES_FSTYPES[uImage] = ""
SWUPDATE_IMAGES_NOAPPEND_MACHINE[uImage] = "1"
SWUPDATE_IMAGES_FSTYPES[bcm2708-rpi-zero-w-music] = ".dtb"
SWUPDATE_IMAGES_NOAPPEND_MACHINE[bcm2708-rpi-zero-w-music] = "0"
SWUPDATE_IMAGES_FSTYPES[bcm2708-rpi-zero-w-music-hifiberry-amp2] = ".dtb"
SWUPDATE_IMAGES_NOAPPEND_MACHINE[bcm2708-rpi-zero-w-music-hifiberry-amp2] = "0"
SWUPDATE_IMAGES_FSTYPES[boot] = ".scr"
SWUPDATE_IMAGES_NOAPPEND_MACHINE[boot] = "1"

repository: GoChik/meta-chik

repo_name: GoChik/meta-chik


text:
inherit noto-fonts
inherit noto-cjk
inherit noto-cjk-styles

SRC_URI = "${NOTO_SRC_URI_PREFIX}/NotoSerifCJKjp-hinted.zip"
SRC_URI[sha256sum] = "ca323a0ab974a49063884a404f233d93e0dbb51b21a5943091d9e5d5922a4e0a"

repository: ssfivy/meta-noto

repo_name: ssfivy/meta-noto


text:
SUMMARY = "Robot diagnostics and instrumentation tools."
HOMEPAGE = "http://ros.org/wiki/diagnostics"
LICENSE  = "BSD"
LIC_FILES_CHKSUM = "file://stack.xml;md5=4ec0e661785731383b79d47a88413e6e"

STACK = "diagnostics"
inherit rosbuild

BBCLASSEXTEND = "native"

SRC_URI  = "svn://code.ros.org/svn/ros-pkg/stacks/diagnostics/tags;module=diagnostics-1.6.4;rev=;proto=https \
            file://diagnostics-build.patch \
"

DEPENDS += "\
	ros-fuerte-common-msgs \
	ros-fuerte-pluginlib \
	ros-fuerte-ros \
	ros-fuerte-ros-comm \
	ros-fuerte-common-msgs \
	tinyxml \
"

FILES_${PN}-dbg += " \
	${ros_stacksdir}/${STACK}/test_diagnostic_aggregator/lib/.debug \
	${ros_stacksdir}/${STACK}/test_diagnostic_aggregator/bin/.debug \
	${ros_stacksdir}/${STACK}/self_test/lib/.debug \
	${ros_stacksdir}/${STACK}/self_test/bin/.debug \
	${ros_stacksdir}/${STACK}/diagnostic_analysis/lib/.debug \
	${ros_stacksdir}/${STACK}/diagnostic_analysis/bin/.debug \
	${ros_stacksdir}/${STACK}/diagnostic_aggregator/lib/.debug \
	${ros_stacksdir}/${STACK}/diagnostic_aggregator/bin/.debug \
	${ros_stacksdir}/${STACK}/diagnostic_updater/lib/.debug \
	${ros_stacksdir}/${STACK}/diagnostic_updater/bin/.debug \
"

FILES_${PN}-staticdev += " \
	${ros_stacksdir}/${STACK}/test_diagnostic_aggregator/lib/*.a \
	${ros_stacksdir}/${STACK}/self_test/lib/*.a \
	${ros_stacksdir}/${STACK}/diagnostic_analysis/lib/*.a \
	${ros_stacksdir}/${STACK}/diagnostic_aggregator/lib/*.a \
	${ros_stacksdir}/${STACK}/diagnostic_updater/lib/*.a \
"

do_install_append() {
    rm -rf ${D}/${ros_stacksdir}/${STACK}/test_diagnostic_aggregator/build
    rm -rf ${D}/${ros_stacksdir}/${STACK}/self_test/build
    rm -rf ${D}/${ros_stacksdir}/${STACK}/diagnostic_analysis/build
    rm -rf ${D}/${ros_stacksdir}/${STACK}/diagnostic_aggregator/build
    rm -rf ${D}/${ros_stacksdir}/${STACK}/diagnostic_updater/build
}

S = "${WORKDIR}/diagnostics-1.6.4"

do_configure_prepend() {
    rm -f ${WORKDIR}/${STACK}; ln -s diagnostics-1.6.4 ${WORKDIR}/${STACK}
}


text:
@techreport{sanchez2017treedepth,
  title={About Treedepth and Related Notions},
  author={Sanchez Villaamil, Fernando and Rossmanith, Peter and Fernau, Henning},
  year={2017},
  institution={Fachgruppe Informatik}
}
@inproceedings{ganian2019sat,
  title={SAT-encodings for treecut width and treedepth},
  author={Ganian, Robert and Lodha, Neha and Ordyniak, Sebastian and Szeider, Stefan},
  booktitle={2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX)},
  pages={117--129},
  year={2019},
  organization={SIAM}
}


text:
DESCRIPTION = "Python interface for the Linux scheduler functions etc."
HOMEPAGE = "https://git.kernel.org/pub/scm/libs/python/python-schedutils/python-schedutils.git/"
SECTION = "devel/python"
LICENSE = "GPL-2.0-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=8ca43cbc842c2336e835926c2166c28b"

SRC_URI = "git://git.kernel.org/pub/scm/libs/python/python-schedutils/python-schedutils.git;branch=main"
SRCREV = "46469f425f9844f355f6496785ee1ce993b58747"

S = "${WORKDIR}/git"

inherit setuptools3

repository: openembedded/meta-openembedded

repo_name: openembedded/meta-openembedded


text:
@article{Zhang-2022-Climate,
    title = "Climate change impacts on ice jam behavior in an inland delta: a new ice jam projection framework",
    author = "Zhang, Fan  and
      Elshamy, Mohamed  and
      Lindenschmidt, Karl-Erich",
    journal = "Climatic Change, Volume 171, Issue 1-2",
    volume = "171",
    number = "1-2",
    year = "2022",
    publisher = "Springer Science and Business Media LLC",
    url = "https://aclanthology.org/G22-37001",
    doi = "10.1007/s10584-022-03312-3",
}

repository: gwf-uwaterloo/gwf-publications

repo_name: gwf-uwaterloo/gwf-publications

branch_name: refs/heads/main

gha_language: Python


text:
@BOOK{Lam:95,
  AUTHOR = "Leslie Lamport",
  TITLE = "{LaTeX: A document Preparation System. User's Guide and Document Reference Manual}",
  PUBLISHER = "Addison-Wesley Publishing Company",
  YEAR = "1995"
}

@ARTICLE{url:atu,
  AUTHOR = "",
  TITLE = "ATutor Manual",
  JOURNAL = "\url{http://www.atutor.ca}"
}

@ARTICLE{url:cpan,
  AUTHOR = "{The Perl Community}",
  TITLE = "{CPAN: Comprehensive Perl Archive Network}",
  JOURNAL = "\url{http://www.cpan.org/}"
}

@ARTICLE{url:gift2latex,
  AUTHOR = "{Casiano Rodriguez-Leon and Coromoto Le\'{o}n and Luis Garc\'{\i}a}",
  TITLE = "{The Gift Parser Module}",
  JOURNAL = "\url{http://search.cpan.org/\~{}casiano/Gift-0.6/}"
}

@ARTICLE{url:modwikip,
  AUTHOR = "",
  TITLE = "{Moodle in the Wikipedia}",
  JOURNAL = "\url{http:://en.wikipedia.org/wiki/Moodle}",
}

@ARTICLE{moodle:guide,
  AUTHOR = "Joyce Seitzinger",
  TITLE = "{Moodle Tool Guide for Teachers}",
  JOURNAL = "\url{http://www.cats-pyjamas.net/wp-content/uploads/2010/05/MoodleToolGuideforTeachers\_May2010\_JS.pdf}",
}

@ARTICLE{url:mod,
  AUTHOR = "",
  TITLE = "Moodle Manual",
  JOURNAL = "\url{http://www.moodle.org}"
}

@ARTICLE{url:forkosh,
  AUTHOR = "John Forkosh",
  TITLE = "mimeTeX quickstart",
  JOURNAL = "\url{http://www.forkosh.com/mimetex.html}"
}

@ARTICLE{url:leiser,
  AUTHOR = "Andreas Leiser",
  TITLE = "{Math using \TeX{}}",
  JOURNAL = "\url{http://nereida.deioc.ull.es/html/moodle\_help\_tex.htm}"
}

@ARTICLE{Dra:99,
  AUTHOR = "N. Dragos",
  TITLE = "The LATEX2HTML Translator",
  JOURNAL = "\url{http://www-exdev.mpce.mq.edu.au/l2h/docs/manual/}",
  ADDRESS = "Computer Based Learning Unit University of Leeds",
  YEAR = "1999"
}

@ARTICLE{url:est,
  AUTHOR = "",
  TITLE = "{Escuela T\'ecnica Superior de Ingenier\'{\i}a Inform\'atica}",
  JOURNAL = "\url{http://www.etsii.ull.es}"
}

@ARTICLE{url:Oet,
  AUTHOR = "T. Oetiker and H. Partl and I. Hyna and E. Schlegl",
  TITLE = "{The Not So Short Introduction to LaTeX}",
  JOURNAL = "\url{http://people.ee.ethz.ch/\~{}oetiker/lshort/lshort.pdf}"
}

@BOOK{Knu:86,
  AUTHOR = "D. E. Knuth",
  TITLE = "{The TeXbook. Computers and Typesetting. Volume A}",
  PUBLISHER = "Addison-Wesley Publishing Company",
  YEAR = "1986"
}

@BOOK{Wal:91,
  AUTHOR = "L. Wall and T. Christiansen and R. Schwartz",
  TITLE = "{Programming Perl}",
  PUBLISHER = "O'Reilly",
  EDITION = "2nd",
  YEAR = "1991"
}

repository: ppunosevac/Syllabus-Generator

repo_name: ppunosevac/Syllabus-Generator


text:
@article{Peltola-2019-Monthly,
    title = "Monthly gridded data product of northern wetland methane emissions based on upscaling eddy covariance observations",
    author = {Peltola, Olli  and
      Vesala, Timo  and
      Gao, Yao  and
      R{\"a}ty, Olle  and
      Alekseychik, Pavel  and
      Aurela, Mika  and
      Chojnicki, Bogdan  and
      Desai, Ankur R.  and
      Dolman, Albertus J.  and
      Euskirchen, Eugenie S.  and
      Friborg, Thomas  and
      G{\"o}ckede, Mathias  and
      Helbig, Manuel  and
      Humphreys, Elyn  and
      Jackson, Robert B.  and
      Jocher, Georg  and
      Joos, Fortunat  and
      Klatt, Janina  and
      Knox, Sara H.  and
      Kowalska, Natalia  and
      Kutzbach, Lars  and
      Lienert, Sebastian  and
      Lohila, Annalea  and
      Mammarella, Ivan  and
      Nadeau, Daniel F.  and
      Nilsson, Mats B.  and
      Oechel, Walter C.  and
      Peichl, Matthias  and
      Pypker, Thomas  and
      Quinton, William  and
      Rinne, Janne  and
      Sachs, Torsten  and
      Samson, Mateusz  and
      Schmid, Hans Peter  and
      Sonnentag, Oliver  and
      Wille, Christian  and
      Zona, Donatella  and
      Aalto, Tuula},
    journal = "Earth System Science Data, Volume 11, Issue 3",
    volume = "11",
    number = "3",
    year = "2019",
    publisher = "Copernicus GmbH",
    url = "https://aclanthology.org/G19-140001",
    doi = "10.5194/essd-11-1263-2019",
    pages = "1263--1289",
}


text:
if(APPLE)
    find_program(REALPATH_TOOL_PATH grealpath)
elseif(UNIX)
    find_program(REALPATH_TOOL_PATH realpath)
else()
    return()
endif()
find_program(ZIP_TOOL_PATH zip)
if(NOT REALPATH_TOOL_PATH OR NOT ZIP_TOOL_PATH)
    return()
endif()

add_custom_target(archive-data
    bash ${CMAKE_SOURCE_DIR}/scripts/packaging/archive-testdata.sh
    DEPENDS data
    WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
    COMMENT "Packaging testdata to ogs6-data.tar.gz and ogs6-data.zip" VERBATIM
)

repository: norihiro-w/ogs

repo_name: norihiro-w/ogs


text:
SECTION = "devel/chicken"
DESCRIPTION = "Byte array utility procedures for blobs."
LICENSE = "LGPL-3.0"
LIC_FILES_CHKSUM = "file://byte-blob.meta;md5=b7318a6d51a0dd606d55f9c48fbd5663"

SRC_URI = "http://code.call-cc.org/egg-tarballs/4/byte-blob/byte-blob-${PV}.tar.gz"

SRC_URI[md5sum] = "15405260fd4b631abc1a3db9b910b1ac"
SRC_URI[sha256sum] = "ecdaed988a764f87dd6d99e2fa9209fba738163af52349274be4c9c99922a8d6"

S = "${WORKDIR}/byte-blob-${PV}"

inherit chicken_install

BBCLASSEXTEND = "cross crosssdk nativesdk"

repository: OSSystems/meta-chicken

repo_name: OSSystems/meta-chicken


text:
SECTION = "devel/chicken"
DESCRIPTION = "SRFI-42 (Eager comprehensions)"
LICENSE = "SRFI"
LIC_FILES_CHKSUM = "file://srfi-42.meta;md5=ca2ecbe8464898ce609aade8afd31aec"

SRC_URI = "http://code.call-cc.org/egg-tarballs/4/srfi-42/srfi-42-${PV}.tar.gz"

SRC_URI[md5sum] = "ed566d98f2ebf0f41ba7e40a6c99e7a5"
SRC_URI[sha256sum] = "9a14f5d6d3a7b762e7d7f682254a66f9960143d4ae7f752d0f1175f3544bfaa2"

S = "${WORKDIR}/srfi-42-${PV}"

inherit chicken_install

BBCLASSEXTEND = "cross crosssdk nativesdk"


text:
---
---

@article{liuLearningLearnSample2023,
  title={Learning to Learn and Sample BRDFs},
  author={Liu, Chen and Fischer, Michael and Ritschel, Tobias},
  journal={Computer Graphics Forum (Proceedings of Eurographics)},
  year={2023},
  volume={42},
  number={2},
  pages={201--211},
  doi={10.1111/cgf.14754},

  preview = {metasampling_preview.gif},
  website= {/metasampling},
  custom_periodical={Computer Graphics Forum (Proceedings of Eurographics 2023)},
  abstract = {We propose a method to accelerate the joint process of physically acquiring and learning neural Bi-directional Reflectance Distribution Function (BRDF) models. While BRDF learning alone can be accelerated by meta-learning, acquisition remains slow as it relies on a mechanical process. We show that meta-learning can be extended to optimize the physical sampling pattern, too. After our method has been meta-trained for a set of fully-sampled BRDFs, it is able to quickly train on new BRDFs with up to five orders of magnitude fewer physical acquisition samples at similar quality. Our approach also extends to other linear and non-linear BRDF models, which we show in an extensive evaluation.},
  arxiv = {2210.03510},
  bibtex_show = {},
}

gha_language: HTML


text:
@inproceedings{Chen2016AO,
  title={Giant nonlinear absorption and excited carrier dynamics of black phosphorus few-layer nanosheets in broadband spectra},
  author={Runze Chen, Yuhua Tang, Xin Zheng, Tian Jiang},
  journal={Applied Optics},
  year    = 2016,
  volume  = 55,
  issue  = 36,
  pages = {10307-10312}
}

repository: SpinRunzeChen/Runze-academic-website

repo_name: SpinRunzeChen/Runze-academic-website


text:
include neutrino-lua-plugins-target-pattern.inc

MAINTAINER = "vanhofen"
HOMEPAGE = "https://github.com/neutrino-images/ni-neutrino-plugins"

PV = "ni-git-${SRCPV}"

SRC_URI = " \
	git://github.com/neutrino-images/ni-neutrino-plugins.git;protocol=https \
"
SRC_SUBPATH = "scripts-lua/plugins/${SRC_NAME}"

#SRC_NAME = "plutotv-vod"

repository: neutrino-hd/meta-neutrino

repo_name: neutrino-hd/meta-neutrino


text:
LICENSE = "CLOSED"

SRC_URI = "file://wpa_supplicant.service"

S = "${WORKDIR}"

do_install() {

	# install service
  install -d ${D}/etc/systemd/system
	install -m 644 wpa_supplicant.service ${D}/etc/systemd/system/

	# enable service
	install -d ${D}/etc/systemd/system/network.target.wants
	cd ${D}
	ln -s etc/systemd/system/wpa_supplicant.service etc/systemd/system/network.target.wants/wpa_supplicant.service
}

repository: ntb-ch/meta-ntb

repo_name: ntb-ch/meta-ntb


text:
.item {
  position: relative;
}

  .item .top {
    position: absolute;
    top: 0;
    right: 0;
    left: 0;
  }

  .item .bottom {
    position: absolute;
    right: 0;
    bottom: 0;
    left: 0;
  }

  .item .center {
    position: absolute;
    top: 50%;
    right: 0;
    left: 0;
  }

.item-overlay {
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 0;
  display: none;
}

  .item-overlay.active,
  .item:hover .item-overlay {
    display: block;
  }

repository: Dhaigvip/AngularCoreModule

repo_name: Dhaigvip/AngularCoreModule

extension: css


text:
@article{Good2016,
abstract = {The underlying pathophysiology of ischemia is poorly understood, resulting in unreliable clinical diagnosis of this disease. This limited knowledge of underlying mechanisms suggested a data driven approach, which seeks to identify patterns in the ECG data that can be linked statistically to underlying behavior and conditions of ischemic tissue. Previous studies have suggested that an approach known as Laplacian eigenmaps (LE) can identify trajectories, or manifolds, that are sensitive to different spatiotemporal consequences of ischemic stress, and thus serve as potential clinically relevant biomarkers. We applied the LE approach to measured transmural potentials in several canine preparations, recorded during control and ischemic conditions, and discovered regions on an approximated QRS-derived manifold that were sensitive to ischemia. By identifying a vector pointing to ischemia-associated changes to the manifold and measuring the shift in trajectories along that vector during ischemia, which we denote as Mshift, it was possible to also pull that vector back into signal space and determine which electrodes were responsible for driving the observed changes in the manifold. We refer to the signal space change as the manifold differential (Mdiff). Both the Mdiff and Mshift metrics show a similar degree of sensitivity to ischemic changes as standard metrics applied during the ST segment in detecting ischemic regions. The new metrics also were able to distinguish between sub-types of ischemia. Thus our results indicate that it may be possible to use the Mshift and Mdiff metrics along with ST derived metrics to determine whether tissue within the myocardium is ischemic or not.},
author = {Good, Wilson W and Erem, Burak and Coll-Font, Jaume and Brooks, Dana H and MacLeod, Rob S},
file = {:Users/Brian/GoogleDrive/Papers/Good et al. - 2016 - Novel Biomarker for Evaluating Ischemic Stress Using an Electrogram Derived Phase Space.pdf:pdf},
issn = {2325-8861},
journal = {Computing in cardiology},
month = {sep},
pages = {1057--1060},
pmid = {28451594},
publisher = {NIH Public Access},
title = {{Novel Biomarker for Evaluating Ischemic Stress Using an Electrogram Derived Phase Space.}},
doi = {10.23919/CIC.2016.7868928},
url = {http://www.ncbi.nlm.nih.gov/pubmed/28451594 http://www.pubmedcentral.nih.gov/articlerender.fcgi?artid=PMC5404698},
volume = {43},
year = {2016}
}
@inproceedings{MacLeod2005,
abstract = {Many aspects of ischemia-induced changes in the electrocardiogram lack solid biophysical underpinnings although variations in ST segments form the predominant basis for diagnostic and monitoring of patients. This incomplete knowledge certainly plays a role in the poor performance of some forms of electrocardiogram-based detection and characterization of ischemia, especially when it is limited to the subendocardium. The focus of our recent studies has been to develop a comprehensive mechanistic model of the electrocardiographic effects of ischemia. The computational component of this model is based on highly realistic heart geometry with anisotropic fiber structure and allows us to assign ischemic action potentials to contiguous regions that can span a prescribed thickness of the ventricles. A separate, high-resolution model of myocardial tissue provides us with a means of setting electrical characteristics of the heart, including the status of gap junctional coupling between cells. The experimental counterpart of this model consists of dog hearts, either in situ or isolated and perfused with blood, in which we control coronary blood flow by means of a cannula and blood pump. By reducing blood flow through the cannula for various durations, we can replicate any phase of ischemia from hyper acute to early infarction. Based on the results of these models, there is emerging a mechanism of the electrocardiographic response to ischemia that depends strongly on the anisotropic conductivity of the myocardium. Ischemic injury currents flow across the boundary between healthy and ischemic tissue, but it is their interaction with local fiber orientation and the associated conductivity that generates secondary currents that determine epicardial ST-segment potentials. Results from experiments support qualitatively the findings of the simulations and underscore the role of myocardial anisotropy in electrocardiography. {\textcopyright} 2005 Elsevier Inc. All rights reserved.},
author = {MacLeod, Robert S. and Shome, Shibaji and Stinstra, Jeroen and Punske, Bonnie B. and Hopenfeld, Bruce},
booktitle = {Journal of Electrocardiology},
doi = {10.1016/j.jelectrocard.2005.06.095},
file = {:Users/Brian/GoogleDrive/Papers/Unknown - 2005 - Mechanisms of ischemia-induced ST-segment changes.pdf:pdf},
isbn = {0022-0736},
issn = {00220736},
keywords = {Computer modeling,Myocardial ischemia,Simulation},
month = {oct},
number = {4 SUPPL.},
pages = {8--13},
pmid = {16226067},
publisher = {Churchill Livingstone},
title = {{Mechanisms of ischemia-induced ST-segment changes}},
url = {http://www.sciencedirect.com/science/article/pii/S0022073605001159},
volume = {38},
year = {2005}
}
@article{Swenson2011,
author = {Swenson, Darrell J. and Geneser, Sarah E. and Stinstra, Jeroen G. and Kirby, Robert M. and MacLeod, Rob S.},
doi = {10.1007/s10439-011-0391-5},
file = {:Users/Brian/GoogleDrive/Papers/Swenson et al. - 2011 - Cardiac Position Sensitivity Study in the Electrocardiographic Forward Problem Using Stochastic Collocation and.pdf:pdf},
issn = {0090-6964},
journal = {Annals of Biomedical Engineering},
month = {dec},
number = {12},
pages = {2900--2910},
publisher = {Springer US},
title = {{Cardiac Position Sensitivity Study in the Electrocardiographic Forward Problem Using Stochastic Collocation and Boundary Element Methods}},
url = {http://link.springer.com/10.1007/s10439-011-0391-5},
volume = {39},
year = {2011}
}
@article{Aras2014,
abstract = {Introduction We hypothesize that electrocardiographic measurements from the intramyocardial space contain more sensitive markers of ischemia than those detectable on the epicardium. The goal of this study was to evaluate different electrical markers for their potential to detect the earliest phases of acute myocardial ischemia. Methods We conducted acute ischemia studies in open chest animal, by creating finely controlled demand or supply ischemic episodes and recording intramyocardial and epicardial potentials. Results Under the conditions of mild perfusion deficit, acute ischemia induced changes in the T wave that were larger and could be detected earlier on the epicardial surface than ST-segment changes. Conclusions Our findings indicate that in the setting of very acute ischemia, epicardial T waves have higher sensitivity to mild degrees of acute ischemia than epicardial ST potentials. These results suggest that changes in the T wave shape may augment shifts in ST segments to improve ECG based localization of ischemia.},
author = {Aras, Kedar and Burton, Brett and Swenson, Darrell and Macleod, Rob},
doi = {10.1016/j.jelectrocard.2014.08.014},
file = {:Users/Brian/GoogleDrive/Papers/Unknown - 2014 - Sensitivity of epicardial electrical markers to acute ischemia detection.pdf:pdf},
issn = {15328430},
journal = {Journal of Electrocardiology},
keywords = {Acute Ischemia ST segment T wave Epicardium Intram},
month = {nov},
number = {6},
pages = {836--841},
pmid = {25242529},
publisher = {Churchill Livingstone},
title = {{Sensitivity of epicardial electrical markers to acute ischemia detection}},
url = {http://www.sciencedirect.com/science/article/pii/S0022073614003264?via{\%}3Dihub},
volume = {47},
year = {2014}
}
@article{Aras2016,
abstract = {Introduction Myocardial ischemia is a pathological condition initiated by supply and demand imbalance of the blood to the heart. Previous studies suggest that ischemia originates in the subendocardium, i.e., that nontransmural ischemia is limited to the subendocardium. By contrast, we hypothesized that acute myocardial ischemia is not limited to the subendocardium and sought to document its spatial distribution in an animal preparation. The goal of these experiments was to investigate the spatial organization of ischemia and its relationship to the resulting shifts in ST segment potentials during short episodes of acute ischemia. Methods We conducted acute ischemia studies in open-chest canines (N = 19) and swines (N = 10), which entailed creating carefully controlled ischemia using demand, supply or complete occlusion ischemia protocols and recording intramyocardial and epicardial potentials. Elevation of the potentials at 40{\%} of the ST segment between the J-point and the peak of the T-wave (ST40{\%}) provided the metric for local ischemia. The threshold for ischemic ST segment elevations was defined as two standard deviations away from the baseline values. Results The relative frequency of occurrence of acute ischemia was higher in the subendocardium (78{\%} for canines and 94{\%} for swines) and the mid-wall (87{\%} for canines and 97{\%} for swines) in comparison with the subepicardium (30{\%} for canines and 22{\%} for swines). In addition, acute ischemia was seen arising throughout the myocardium (distributed pattern) in 87{\%} of the canine and 94{\%} of the swine episodes. Alternately, acute ischemia was seen originating only in the subendocardium (subendocardial pattern) in 13{\%} of the canine episodes and 6{\%} of the swine episodes (p {\textless} 0.05). Conclusions Our findings suggest that the spatial distribution of acute ischemia is a complex phenomenon arising throughout the myocardial wall and is not limited to the subendocardium.},
author = {Aras, Kedar and Burton, Brett and Swenson, Darrell and MacLeod, Rob},
doi = {10.1016/j.jelectrocard.2016.02.014},
file = {:Users/Brian/GoogleDrive/Papers/Unknown - 2016 - Spatial organization of acute myocardial ischemia.pdf:pdf},
issn = {15328430},
journal = {Journal of Electrocardiology},
keywords = {Acute myocardial ischemia,Spatial organization,Subendocardium,Subepicardium},
month = {may},
number = {3},
pages = {323--336},
publisher = {Churchill Livingstone},
title = {{Spatial organization of acute myocardial ischemia}},
url = {http://www.sciencedirect.com/science/article/pii/S0022073616000716?via{\%}3Dihub},
volume = {49},
year = {2016}
}
@online{pfeifer,
  author = {Anton Rodenhauser, Wilson W. Good, Brian Zenger, Jess Tate, Kedar Aras, Brett Burton, Jereon Stinstra, Rob S. MacLeod},
  title = {PFEIFER},
  year = 2017,
  url = {https://github.com/SCIInstitute/PFEIFER},
  urldate = {2017-10-30}
}

repository: jcollfont/PFEIFER

repo_name: jcollfont/PFEIFER

gha_language: Matlab