Differences

This shows you the differences between two versions of the page.

--- 2014 [2021/10/15 11:06] – created ruppert
+++ 2014 [2021/11/22 21:29] (current) – ruppert
@@ Line 1: / Line 1: @@
+=== 2014 ===
   * Tareq Adnan, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]], Stuart MacLean.  Efficient and accurate sensor network localization. //Personal and Ubiquitous Computing//, 18(4): 821-833, 2014
@@ Line 14: / Line 16: @@
   * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Reducing the Positional Error of Connectivity-Based Positioning Algorithms Through Cooperation Between Neighbors.  //IEEE Transactions on Mobile Computing//, 13(8): 1868-1882, 2014.
+  * Yehuda Schwartz, [[http://www.cse.yorku.ca/~gt|George Tourlakis]]. On the proof-theory of a first-order version of GL.  In //Logic and Logical Philosophy//, 23(3):329-363, 2014.
   * Nastaran Shafiei, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. Automatic handling of native methods in Java PathFinder. In //Proc. International Symposium on Model Checking of Software//, 2014.