Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8187 Publications


2008 | Journal Article | LibreCat-ID: 2503
Haake C-J, Kashiwada A, Su FE. The Shapley value of phylogenetic trees. Journal of Mathematical Biology. 2008;56(4):479-497. doi:10.1007/s00285-007-0126-2
LibreCat | Files available | DOI
 

2008 | Journal Article | LibreCat-ID: 2508
Haake C-J, Klaus B. Monotonicity and Nash implementation in matching markets with contracts. Economic Theory. 2008;41(3):393-410. doi:10.1007/s00199-008-0399-8
LibreCat | Files available | DOI
 

2008 | Journal Article | LibreCat-ID: 2510
Haake C-J, Klaus B. Stability and Nash implementation in matching markets with couples. Theory and Decision. 2008;69(4):537-554. doi:10.1007/s11238-008-9122-2
LibreCat | Files available | DOI
 

2008 | Working Paper | LibreCat-ID: 2736
Gries T, Redlin M. China’s Provincial Disparities and the Determinants of Provincial Inequality. Vol 2008-11. Paderborn University, CIE Center for International Economics; 2008.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 3001
Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Fourth International Conference on Networking and Services (Icns 2008). IEEE; 2008. doi:10.1109/icns.2008.28
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 1738
Valentine J, Zhang S, Zentgraf T, et al. Three-dimensional optical metamaterial with a negative refractive index. Nature. 2008;455(7211):376-379. doi:10.1038/nature07247
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: AMA

Export / Embed