Author of the publication

Biological Earth observation with animal sensors

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and . Trends in Ecology & Evolution, 37 (4): 293-298 (2022)
DOI: https://doi.org/10.1016/j.tree.2021.11.011

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Biological Earth observation with animal sensors, , , , , , , , , and 208 other author(s). Trends in Ecology & Evolution, 37 (4): 293-298 (2022)A formal foundation for symbolic evaluation with merging., , , and . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)Synthesizing JIT Compilers for In-Kernel DSLs., , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 564-586. Springer, (2020)The Tamari block lattice: An order on saturated chains in the Tamari lattice., and . Discret. Math., 345 (9): 112951 (2022)Scaling symbolic evaluation for automated verification of systems code with Serval., , , , , and . SOSP, page 225-242. ACM, (2019)Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel., , , and . OSDI, page 41-61. USENIX Association, (2020)Noninterference specifications for secure systems., , , , and . ACM SIGOPS Oper. Syst. Rev., 54 (1): 31-39 (2020)Recursive constructions for the higher Stasheff - Tamari orders in dimension three using the Outer Tamari and Tamari Block posets., and . Discret. Math., 347 (3): 113786 (March 2024)A recursion on maximal chains in the Tamari lattices.. Discret. Math., 340 (4): 661-677 (2017)Empirical Study of Ground Proximity Effects for Small-scale Electroaerodynamic Thrusters., , and . CoRR, (2023)