Search for persons
X
?
Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding ,
6
Representing reductions of NP-complete problems in logical ..:
, In:
?
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing ,
7
Wait-free consensus with infinite arrivals:
, In:
?
Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1 ,
8
Process design of oil and gas production facilities using e..:
, In:
?
Information Systems and Management Science; Lecture Notes in Networks and Systems ,
9
Optimizing Fused Deposition Modelling Process Parameters Us..:
, In:
?
Lecture Notes in Electrical Engineering; Electronic Systems and Intelligent Computing ,
11
A Strategic Community Control-Based Power Flow Between Grid..:
, In:
?
Lecture Notes in Mechanical Engineering; Advances in Risk and Reliability Modelling and Assessment ,
13