Kalpa Publications in Computing

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).

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).

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).

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).