Author of the publication

NP-SPEC: an executable specification language for solving all problems in NP.

, , , , and . Comput. Lang., 26 (2-4): 165-195 (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Palopoli, Luigi
add a person with the name Palopoli, Luigi
 

Other publications of authors with the same name

Real-Time scheduling: from hard to soft real-time systems., and . CoRR, (2015)Exploiting agents in e-learning and skills management context., , and . AI Commun., 19 (2): 137-154 (2006)Automatic Extraction of Database Scheme Semantic Properties Using Knowledge Discovery Techniques., , , and . IADT, page 392-399. (1998)Extracting similar sub-graphs across PPI networks., , , and . ISCIS, page 183-188. IEEE, (2009)Polynominal Time Computable Stable Models., and . ILPS, page 645. MIT Press, (1993)Analysis of a Reservation-Based Feedback Scheduler., , , and . RTSS, page 71-80. IEEE Computer Society, (2002)Experimental Evaluation of the Real-Time Performance of Publish-Subscribe Middlewares., , and . REACTION, Universidad Carlos III de Madrid, (2013)Real-Time control system analysis: an integrated approach., , , , and . RTSS, page 131-140. IEEE Computer Society, (2000)Reservation-Based Interrupt Scheduling., , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 46-55. IEEE Computer Society, (2010)A General Methodological Framework for the Development of Web-Based Information Systems., , and . ER (Workshops), volume 1921 of Lecture Notes in Computer Science, page 128-139. Springer, (2000)