Spies, S., Gäher, L.
, Gratzer, D., Tassarotti, J., Krebbers, R., Dreyer, D.
& Birkedal, L. (2021).
Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. In S. N. Freund & E. Yahav (Eds.),
PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 80-95). Association for Computing Machinery.
https://doi.org/10.1145/3453483.3454031
Blevis, E., Koskinen, I. K., Lee, K.-P.
, Bødker, S., Chen, L.-L., Lim, Y., Wei, H. & Wakkary, R. (2015).
Transdisciplinary Interaction Design in Design Education. In B. Begole & J. Kim (Eds.),
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (pp. 833-838). Association for Computing Machinery.
https://doi.org/10.1145/2702613.2724726
Brodnik, A.
, Miltersen, P. B. & Munro, J. I. (1997).
Trans-dichotomous algorithms without multiplication - some upper and lower bounds. In F. Dehne, A. Rau-Chaplin, J.-R. Sack & R. Tamassia (Eds.),
Algorithms and Data Structures: 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6-8, 1997 Proceedings (pp. 426-436). Springer.
https://doi.org/10.1007/3-540-63307-3_80
Jensen, K., Aalst, W. M. V. D., Marsan, M. A., Franceschinis, G., Kleijn , J. & Kristensen, L. M. (Eds.) (2012).
Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 7400
https://doi.org/10.1007/978-3-642-35179-2
Andreasen, E. S., Gordon, C. S., Chandra, S., Sridharan, M., Tip, F. & Sen, K. (2016).
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. In S. Krishnamurthi & B. S. Lerner (Eds.),
30th European Conference on Object-Oriented Programming (ECOOP 2016) (pp. 231-239, 2310-2328). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH.
http://arxiv.org/abs/1605.01362
Sand, A., Holt, M. K., Johansen, J.
, Brodal, G. S., Mailund, T.
& Pedersen, C. N. S. (2014).
tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees.
Bioinformatics,
30(4), 2079-2080.
https://doi.org/10.1093/bioinformatics/btu157
Arge, L. A., Barve, R., Hutchinson, D., Procopiuc, O., Toma, L., Vengroff, D. E. & Wickeremsinghe, R. (2002).
TPIE: User Manual and Reference. (082902 ed.) Duke University Press.
http://www.cs.duke.edu/TPIE/tpie.pdf
Baum, C., Lin, H. & Oechsner, S. (2018).
Towards Practical Lattice-Based One-Time Linkable Ring Signatures. In D. Naccache, S. Xu, S. Qing, P. Samarati, G. Blanc, R. Lu, Z. Zhang & A. Meddahi (Eds.),
Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings: ICICS 2018 (Vol. 11149, pp. 303-322). Springer VS.
https://doi.org/10.1007/978-3-030-01950-1_18
Fournier, H., Limaye, N., Malod, G.
, Srinivasan, S. & Tavenas, S. (2023).
Towards Optimal Depth-Reductions for Algebraic Formulas. In A. Ta-Shma (Ed.),
38th Computational Complexity Conference, CCC 2023 Article 28 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.CCC.2023.28