Works matching Annotated codes


Results: 219
    1
    2
    4
    5
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23

    Practical JFSL verification using TACO.

    Published in:
    Software: Practice & Experience, 2014, v. 44, n. 3, p. 317, doi. 10.1002/spe.2237
    By:
    • Chicote, M.;
    • Ciolek, D.;
    • Galeotti, J.P.
    Publication type:
    Article
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37

    Protopia: a protein-protein interaction tool.

    Published in:
    BMC Bioinformatics, 2009, v. 10, p. 1, doi. 10.1186/1471-2105-10-S12-S17
    By:
    • Real-Chicharro, Alejandro;
    • Ruiz-Mostazo, Iván;
    • Navas-Delgado, Ismael;
    • Kerzazi, Amine;
    • Chniber, Othmane;
    • Sánchez-Jiménez, Francisca;
    • Medina, Miguel Ángel;
    • Aldana-Montes, José F.
    Publication type:
    Article
    38

    Human Activity Recognition in an Open World.

    Published in:
    Journal of Artificial Intelligence Research, 2024, v. 81, p. 935, doi. 10.1613/jair.1.14476
    By:
    • Prijatelj, Derek S.;
    • Grieggs, Samuel;
    • Jin Huang;
    • Dawei Du;
    • Shringi, Ameya;
    • Funk, Christopher;
    • Kaufman, Adam;
    • Robertson, Eric;
    • Scheirer, Walter J.
    Publication type:
    Article
    39
    40
    41
    42
    43
    44
    45
    46

    Labor and Employment Law.

    Published in:
    Mercer Law Review, 2016, v. 68, n. 1, p. 151
    By:
    • Haas III, W. Melvin;
    • Clifton III, William M.;
    • Martin II, W. Jonathan;
    • Peters, Alyssa K.
    Publication type:
    Article
    47

    Evidence.

    Published in:
    Mercer Law Review, 2016, v. 68, n. 1, p. 121
    By:
    • Hall Jr., John E.;
    • Henwood, W. Scott;
    • Clarke, Jacque Smith
    Publication type:
    Article
    48

    Construction Law.

    Published in:
    Mercer Law Review, 2016, v. 68, n. 1, p. 83
    By:
    • Brown Jr., Frank O.
    Publication type:
    Article
    49

    Administrative Law.

    Published in:
    Mercer Law Review, 2016, v. 68, n. 1, p. 59
    By:
    • Alewine, Jennifer B.;
    • Ferrell, Courtney E.;
    • Watstein, Erin G.
    Publication type:
    Article
    50

    Real Property.

    Published in:
    Mercer Law Review, 2013, v. 65, n. 1, p. 233
    By:
    • Finley, Linda S.
    Publication type:
    Article