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.
1928 Publications
    2015 |  Conference Paper | LibreCat-ID: 285 
    
	  Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
    2015 |  Conference Paper | LibreCat-ID: 241 
    
	  Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
    2015 |  Conference Paper | LibreCat-ID: 242 
    
	  Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
    2015 |  Conference Paper | LibreCat-ID: 262 
    
	  Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
    2015 |  Journal Article | LibreCat-ID: 26331 
    
	  Continuous sampling of the squeezed-state nonclassicality
E. Agudelo, J. Sperling, W. Vogel, S. Köhnke, M. Mraz, B. Hage, Physical Review A (2015).
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  E. Agudelo, J. Sperling, W. Vogel, S. Köhnke, M. Mraz, B. Hage, Physical Review A (2015).
    2015 |  Conference Paper | LibreCat-ID: 26459 
    
	  Pushing the Limits of Instance Matching Systems: A Semantics-Aware Benchmark for Linked Data
T. Saveta, E. Daskalaki, G. Flouris, I. Fundulaki, M. Herschel, A.-C. Ngonga Ngomo, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, {ACM}, 2015, pp. 105–106.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  T. Saveta, E. Daskalaki, G. Flouris, I. Fundulaki, M. Herschel, A.-C. Ngonga Ngomo, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, {ACM}, 2015, pp. 105–106.
    2015 |  Conference Paper | LibreCat-ID: 26460 
    
	  CubeViz: Exploration and Visualization of Statistical Linked Data
M. Martin, K. Abicht, C. Stadler, A.-C. Ngonga Ngomo, T. Soru, S. Auer, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, {ACM}, 2015, pp. 219–222.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  M. Martin, K. Abicht, C. Stadler, A.-C. Ngonga Ngomo, T. Soru, S. Auer, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, {ACM}, 2015, pp. 219–222.
    2015 |  Conference Paper | LibreCat-ID: 26461 
    
	  ROCKER: A Refinement Operator for Key Discovery
T. Soru, E. Marx, A.-C. Ngonga Ngomo, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web, {WWW} 2015, Florence, Italy, May 18-22, 2015, {ACM}, 2015, pp. 1025–1033.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  T. Soru, E. Marx, A.-C. Ngonga Ngomo, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web, {WWW} 2015, Florence, Italy, May 18-22, 2015, {ACM}, 2015, pp. 1025–1033.
    2015 |  Conference Paper | LibreCat-ID: 26462 
    
	  GERBIL: General Entity Annotator Benchmarking Framework
R. Usbeck, M. Röder, A.-C. Ngonga Ngomo, C. Baron, A. Both, M. Brümmer, D. Ceccarelli, M. Cornolti, D. Cherix, B. Eickmann, P. Ferragina, C. Lemke, A. Moro, R. Navigli, F. Piccinno, G. Rizzo, H. Sack, R. Speck, R. Troncy, J. Waitelonis, L. Wesemann, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web, {WWW} 2015, Florence, Italy, May 18-22, 2015, {ACM}, 2015, pp. 1133–1143.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  R. Usbeck, M. Röder, A.-C. Ngonga Ngomo, C. Baron, A. Both, M. Brümmer, D. Ceccarelli, M. Cornolti, D. Cherix, B. Eickmann, P. Ferragina, C. Lemke, A. Moro, R. Navigli, F. Piccinno, G. Rizzo, H. Sack, R. Speck, R. Troncy, J. Waitelonis, L. Wesemann, in: A. Gangemi, S. Leonardi, A. Panconesi (Eds.), Proceedings of the 24th International Conference on World Wide Web, {WWW} 2015, Florence, Italy, May 18-22, 2015, {ACM}, 2015, pp. 1133–1143.
    2015 |  Journal Article | LibreCat-ID: 26881 
    
	  Gesellschaftliche und kulturelle Bedeutung von Mittagsverpflegung in Gießener Kindertagesstätten
N. Klünder, Hauswirtschaft und Wissenschaft 63 (2015) 45–47.
    
LibreCat
  
  
  
  
  
  
  
  
  
  N. Klünder, Hauswirtschaft und Wissenschaft 63 (2015) 45–47.
    2015 |  Journal Article | LibreCat-ID: 26884 
    
	  Verpflegung in Kindertagesstätten gestalten – Ergebnisse einer qualitativen Studie
U. Meier-Gräwe, N. Klünder, KiTa aktuell 23 (2015) 143–144.
    
LibreCat
  
  
  
  
  
  
  
  
  
  U. Meier-Gräwe, N. Klünder, KiTa aktuell 23 (2015) 143–144.
    2015 |  Journal Article | LibreCat-ID: 26918 
    
	  Effects of human milk and formula on postprandial glycaemia and insulinaemia
C.J. Wright, F.S. Atkinson, N. Ramalingam, A. Buyken, J.C. Brand-Miller, European Journal of Clinical Nutrition (2015) 939–943.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  C.J. Wright, F.S. Atkinson, N. Ramalingam, A. Buyken, J.C. Brand-Miller, European Journal of Clinical Nutrition (2015) 939–943.
    2015 |  Journal Article | LibreCat-ID: 26919 
    
	  Dietary micronutrient intake during pregnancy is a function of carbohydrate quality
J. Goletzke, A. Buyken, J.C. Louie, R.G. Moses, J.C. Brand-Miller, The American Journal of Clinical Nutrition (2015) 626–632.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  J. Goletzke, A. Buyken, J.C. Louie, R.G. Moses, J.C. Brand-Miller, The American Journal of Clinical Nutrition (2015) 626–632.
    2015 |  Journal Article | LibreCat-ID: 26920 
    
	  Early Diet and Later Cancer Risk: Prospective Associations of Dietary Patterns During Critical Periods of Childhood with the GH-IGF Axis, Insulin Resistance and Body Fatness in Younger Adulthood
A.L.B. Günther, M.B. Schulze, A. Kroke, K. Diethelm, G. Joslowski, D. Krupp, S. Wudy, A. Buyken, Nutrition and Cancer (2015) 877–892.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  A.L.B. Günther, M.B. Schulze, A. Kroke, K. Diethelm, G. Joslowski, D. Krupp, S. Wudy, A. Buyken, Nutrition and Cancer (2015) 877–892.
    2015 |  Journal Article | LibreCat-ID: 26921 
    
	  Relevance of fruits, vegetables and flavonoids from fruits and vegetables during early life, mid-childhood and adolescence for levels of insulin-like growth factor (IGF-1) and its binding proteins IGFBP-2 and IGFBP-3 in young adulthood
D. Krupp, T. Remer, K.J. Penczynski, K. Bolzenius, S.A. Wudy, A. Buyken, British Journal of Nutrition (2015) 527–537.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  D. Krupp, T. Remer, K.J. Penczynski, K. Bolzenius, S.A. Wudy, A. Buyken, British Journal of Nutrition (2015) 527–537.
    2015 |  Journal Article | LibreCat-ID: 26922 
    
	  Relative validation of 24-h urinary hippuric acid excretion as a biomarker for dietary flavonoid intake from fruit and vegetables in healthy adolescents
K.J. Penczynski, D. Krupp, A. Bring, K. Bolzenius, T. Remer, A. Buyken, European Journal of Nutrition (2015) 757–766.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  K.J. Penczynski, D. Krupp, A. Bring, K. Bolzenius, T. Remer, A. Buyken, European Journal of Nutrition (2015) 757–766.
    2015 |  Journal Article | LibreCat-ID: 320 
    
	  Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure
I. Caragiannis, A. Fanelli, N. Gravin, A. Skopalik, Transactions on Economics and Computation 3 (2015).
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  I. Caragiannis, A. Fanelli, N. Gravin, A. Skopalik, Transactions on Economics and Computation 3 (2015).
    2015 |  Journal Article | LibreCat-ID: 3900 | 
    
    
	  Robust Population Inversion by Polarization Selective Pulsed Excitation
D. Mantei, J. Förstner, S. Gordon, Y.A. Leier, A.K. Rai, D. Reuter, A.D. Wieck, A. Zrenner, Scientific Reports 5 (2015) 10313.
    
LibreCat
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  D. Mantei, J. Förstner, S. Gordon, Y.A. Leier, A.K. Rai, D. Reuter, A.D. Wieck, A. Zrenner, Scientific Reports 5 (2015) 10313.
    2015 |  Journal Article | LibreCat-ID: 27012 
    
	  Glycemic index, glycemic load and glycemic response: An International Scientific Consensus Summit from the International Carbohydrate Quality Consortium (ICQC)
L.S.A. Augustin, C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup, A.W. Barclay, I. Björck, J.C. Brand-Miller, F. Brighenti, A. Buyken, A. Ceriello, C. La Vecchia, G. Livesey, S. Liu, G. Riccardi, S.W. Rizkalla, J.L. Sievenpiper, A. Trichopoulou, T.M.S. Wolever, S. Baer-Sinnott, A. Poli, Nutrition, Metabolism and Cardiovascular Diseases (2015) 795–815.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  L.S.A. Augustin, C.W.C. Kendall, D.J.A. Jenkins, W.C. Willett, A. Astrup, A.W. Barclay, I. Björck, J.C. Brand-Miller, F. Brighenti, A. Buyken, A. Ceriello, C. La Vecchia, G. Livesey, S. Liu, G. Riccardi, S.W. Rizkalla, J.L. Sievenpiper, A. Trichopoulou, T.M.S. Wolever, S. Baer-Sinnott, A. Poli, Nutrition, Metabolism and Cardiovascular Diseases (2015) 795–815.
    2015 |  Journal Article | LibreCat-ID: 27039 
    
	  Fatty acid supply with complementary foods and LC-PUFA status in healthy infants: results of a randomised controlled trial
L. Libuda, C.M. Mesch, M. Stimming, H. Demmelmair, B. Koletzko, P. Warschburger, K. Blanke, E. Reischl, H. Kalhoff, M. Kersting, European Journal of Nutrition (2015) 1633–1644.
    
LibreCat
  
  
   | DOI
  
  
  
  
  
  
  L. Libuda, C.M. Mesch, M. Stimming, H. Demmelmair, B. Koletzko, P. Warschburger, K. Blanke, E. Reischl, H. Kalhoff, M. Kersting, European Journal of Nutrition (2015) 1633–1644.