From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.

P. Shah, A. Bansal, S. Akshay, и S. Chakraborty. LICS, стр. 1-13. IEEE, (2021)

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.

Akshay Balsubramani

Akshay Wadia

Akshay Gupte

S Hilt

S Ulrich

Другие публикации лиц с тем же именем

Regular set of representatives for time-constrained MSC graphs.S. Akshay, B. Genest, L. Hélouët, и S. Yang. Inf. Process. Lett., 112 (14-15): 592-598 (2012)iBEHAVE: Behaviour Analysis Using Eye Gaze Metrices.S. Akshay, P. Bijith, S. Sanjana, и J. Amudha. PReMI, том 14301 из Lecture Notes in Computer Science, стр. 260-269. Springer, (2023)A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.P. Shah, A. Bansal, S. Akshay, и S. Chakraborty. LICS, стр. 1-13. IEEE, (2021)iSTIMULI: Prescriptive Stimulus Design for Eye Movement Analysis of Patients with Parkinson's Disease.S. Akshay, J. Amudha, N. Kulkarni, и L. Prashanth. MIWAI, том 14078 из Lecture Notes in Computer Science, стр. 589-600. Springer, (2023)MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.S. Akshay, K. Chatterjee, T. Meggendorfer, и D. Zikelic. CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 86-112. Springer, (2023)Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.S. Akshay, P. Gastin, и K. Prakash. CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 619-642. Springer, (2021)Symbolically Bounding the Drift in Time-Constrained MSC Graphs.S. Akshay, B. Genest, L. Hélouët, и S. Yang. ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2012)UEye: Insights on User Interface Design Using Eye Movement Visualizations.S. Akshay, A. Shukla, и V. Raman. ICACDS, том 1848 из Communications in Computer and Information Science, стр. 253-264. Springer, (2023)Synthesizing Pareto-Optimal Interpretations for Black-Box Models.H. Torfah, S. Shah, S. Chakraborty, S. Akshay, и S. Seshia. FMCAD, стр. 153-162. IEEE, (2021)Towards an Efficient Tree Automata Based Technique for Timed Systems.S. Akshay, P. Gastin, S. Krishna, и I. Sarkar. CONCUR, том 85 из LIPIcs, стр. 39:1-39:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

BibSonomy

Disambiguation