Andrey Rybalchenko (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

37 Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to Develop Distributed Systems CoRR abs/1007.3835: (2010)

35 Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to develop distributed systems. TPLP 10(4-6): 691-707 (2010)

33 Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Cardinality Abstraction for Declarative Networking Applications. CAV 2009: 584-598

Selection of 3 from 59 records - Andrey Rybalchenko has 43 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

37		Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to Develop Distributed Systems CoRR abs/1007.3835: (2010)
35		Nuno P. Lopes, Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Applying Prolog to develop distributed systems. TPLP 10(4-6): 691-707 (2010)
33		Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh: Cardinality Abstraction for Declarative Networking Applications. CAV 2009: 584-598