Research output per year
Research output per year
- 12 results
Search results
-
2023
Information-Theoretically Secure and Highly E!icient Search and Row Retrieval
Sharma, S., Li, Y., Mehrotra, S., Panwar, N., Kumari, K. & Roychoudhury, S., 2023, In: Proceedings of the VLDB Endowment. 16, 10, p. 2391-2403 13 p.Research output: Contribution to journal › Conference article › peer-review
-
2022
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied ≠-Calculus
Aubert, C., Horne, R. & Johansen, C., Sep 6 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 368, p. 3-22 20 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Scopus citations -
Data Integration for the Study of Outstanding Productivity in Biomedical Research
Aubert, C., Balas, E. A., Townsend, T., Sleeper, N. & Tran, C. J., 2022, In: Procedia Computer Science. 211, C, p. 196-200 5 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
How Anxiety State and Acceptance of an Embodied Agent Affect User Gaze Patterns
Shaltout, N., Monteiro, D. V., Perusquía-Hernández, M., Orlosky, J. & Kiyokawa, K., 2022, In: CEUR Workshop Proceedings. 3297Research output: Contribution to journal › Conference article › peer-review
-
2021
Processes, systems & tests: Defining contextual equivalences
Aubert, C. & Varacca, D., Oct 2 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 347, p. 1-21 21 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Scopus citations -
2020
Unifying graded and parameterised monads
Orchard, D., Wadler, P. & Eades, H., May 1 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 317, p. 18-38 21 p.Research output: Contribution to journal › Conference article › peer-review
Open Access5 Scopus citations -
2019
On the Lambek calculus with an exchange modality
Jiang, J., Eades, H. D. & de Paiva, V., Apr 15 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 292, p. 43-89 47 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Scopus citations -
2015
Reversible barbed congruence on configuration structures
Aubert, C. & Cristescu, I., Aug 19 2015, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 189, p. 68-85 18 p.Research output: Contribution to journal › Conference article › peer-review
Open Access4 Scopus citations -
2005
Data integration in a three-layer mediation framework
Kharma, Q., Ege, R. K., Ezenwoye, O. & Yang, L., 2005, In: Conference Proceedings - IEEE SOUTHEASTCON. p. 477-482 6 p.Research output: Contribution to journal › Conference article › peer-review
3 Scopus citations -
Electing a global mediator in a three-layer mediation architecture
Ezenwoye, O., Ege, R. K., Kharma, Q., Yang, L. & Siddique, S., 2005, In: Conference Proceedings - IEEE SOUTHEASTCON. p. 351-355 5 p.Research output: Contribution to journal › Conference article › peer-review
-
1995
Data parallel programming in an adaptive environment
Edjlali, G., Agrawal, G., Sussman, A. & Saltz, J., 1995, In: IEEE Symposium on Parallel and Distributed Processing - Proceedings. p. 827-832 6 p.Research output: Contribution to journal › Conference article › peer-review
19 Scopus citations -
Interprocedural compilation of irregular applications for distributed memory machines
Agrawal, G. & Saltz, J., 1995, In: Proceedings of the ACM/IEEE Supercomputing Conference. 2, p. 1270-1316 47 p.Research output: Contribution to journal › Conference article › peer-review
4 Scopus citations