Works matching Annotated codes


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

    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
    25
    26
    27
    28
    29
    30
    31

    A tutorial on pharmacometric Markov models.

    Published in:
    CPT: Pharmacometrics & Systems Pharmacology, 2025, v. 14, n. 2, p. 197, doi. 10.1002/psp4.13278
    By:
    • Ooi, Qing Xi;
    • Plan, Elodie;
    • Bergstrand, Martin
    Publication type:
    Article
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44

    High-throughput phenotyping of nematode cysts.

    Published in:
    Frontiers in Plant Science, 2022, v. 13, p. 1, doi. 10.3389/fpls.2022.965254
    By:
    • Long Chen;
    • Daub, Matthias;
    • Luigs, Hans-Georg;
    • Jansen, Marcus;
    • Strauch, Martin;
    • Merhof, Dorit
    Publication type:
    Article
    45
    46
    47
    48
    49

    Court Corner.

    Published in:
    Value Examiner, 2014, p. 39
    By:
    • Agrapides, Peter
    Publication type:
    Article
    50