All Kalpa Publications Volumes

Lindsay Quarrie (editor).

Rajakumar G (editor).

Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors).

Lindsay Quarrie (editor).

Nina Narodytska, Guy Amir, Guy Katz and Omri Isac (editors).

Estevan Gomez and Nelson Ivan Herrera Herrera (editors).

Alvaro Leitao and Lucía Ramos (editors).

Tich Thien Truong, Trung Nghia Tran, Thanh Nha Nguyen and Quoc Khai Le (editors).

Tich Thien Truong, Trung Nghia Tran, Quoc Khai Le and Thanh Nha Nguyen (editors).

Oscar S. Siordia, José Luis Silván Cárdenas, Alejandro Molina-Villegas, Gandhi Hernandez, Pablo Lopez-Ramirez, Rodrigo Tapia-McClung, Karime González Zuccolotto and Mario Chirinos Colunga (editors).

Kennedy Njenga (editor).

Karine Heydemann, Ulrich Kühne and Letitia Li (editors).

Christoph Benzmüller, Xavier Parent and Alexander Steen (editors).

Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe and Margus Veanes (editors).

Vinay K Chandna, Vijay Singh Rathore and Shikha Maheshwari (editors).

Matthieu Martel, Nasrine Damouche and Julien Alexandre Dit Sandretto (editors).

Lejla Batina, Ulrich Kühne and Nele Mentens (editors).

Oleg S. Pianykh, Alexey Neznanov, Sergei Kuznetsov, Jaume Baixeries and Svetla Boytcheva (editors).

Natarajan Shankar and Bruno Dutertre (editors).

Marina Zanella, Ingo Pill and Alessandro Cimatti (editors).

Giles Reger and Klaus Havelund (editors).

Ajitkumar Shukla, J. M. Patel, P. D. Solanki, K. B. Judal, R. K. Shukla, R. A. Thakkar, N. P. Gajjar, N. J. Kothari, Sukanta Saha, S. K. Joshi, Sanjay R. Joshi, Pranav Darji, Sanjay Dambhare, Bhupendra R. Parekh, P. M. George, Amit M. Trivedi, T. D. Pawar, Mehul B. Shah, Vinay J. Patel, Mehfuza S. Holia, Rashesh P. Mehta, Jagdish M. Rathod, Bhargav C. Goradiya and Dharita K. Patel (editors).

C. D. Modhera, G. J. Joshi, D.P Soni, Indrajit N. Patel, A. K. Verma, L. B. Zala, S. D. Dhiman, D. R. Bhatt, Jagdish M. Rathod, Bhargav C. Goradiya, Mehfuza S. Holia and Dharita K. Patel (editors).

Rajkumar Buyya, Rajiv Ranjan, Sumantra Dutta Roy, Mehul Raval, Mukesh Zaveri, Hiren Patel, Amit Ganatra, Darshak G. Thakore, Trupti A. Desai, Zankhana H. Shah, Narendra M. Patel, Mukesh E. Shimpi, Rajiv B. Gandhi, Jagdish M. Rathod, Bhargav C. Goradiya, Mehfuza S. Holia and Dharita K. Patel (editors).

Thomas Eiter, David Sands, Geoff Sutcliffe and Andrei Voronkov (editors).