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.
4739 Publications
2003 | Book Review | LibreCat-ID: 18436 | 
Peckhaus V. Köhler, E. u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Dokumente und historische Analysen, öbv & hpt: Wien 2002. zbMATH Open, Zbl 101401009. Published online 2003.
LibreCat
| Download (ext.)
2003 | Book Review | LibreCat-ID: 18443 |
Peckhaus V. Hintikka, Jaakko, “Hyperclassical Logic (a.k.a. IF logic) and its Implications for Logical Theory”, Bulletin of Symbolic Logic 8 (2002), 404-423. zbMATH Open, Zbl 102003024. Published online 2003.
LibreCat
| Download (ext.)
2002 | Conference Paper | LibreCat-ID: 2423
Plessl C, Enzler R, Walder H, Beutel J, Platzner M, Thiele L. Reconfigurable Hardware in Wearable Computing Nodes. In: Proc. Int. Symp. on Wearable Computers (ISWC). IEEE Computer Society; 2002:215-222. doi:10.1109/ISWC.2002.1167250
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 24336
Benczúr A, Glässer U, Lukovszki T. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. Proc of 10th International Workshop on Abstract State Machines, LNCS. Published online 2002.
LibreCat
| Files available
2002 | Conference (Editor) | LibreCat-ID: 24594
Gausemeier J, ed. 1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol 107. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 26160
Schiel A, Weber AP, Kasper G, Schmid H-J. In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle & Particle Systems Characterization. 2002;19(6):410-418. doi:10.1002/ppsc.200290004
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3242
Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 28788
Mahnken R. Anisotropic creep modeling based on elastic projection operators. PAMM. Published online 2002. doi:10.1002/1617-7061(200203)1:1<183::aid-pamm183>3.0.co;2-7
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 27761
Buyken A, Toeller M, Heitkamp G, et al. Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. Diabetic Medicine. Published online 2002:351-359. doi:10.1046/j.1464-5491.2000.00283.x
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 21053
Jüttner S, Meschut G. Material-Specific Joining Techniques for Magnesium Body Structures. In: Aalen; 2002:1-10.
LibreCat
2002 | Book Chapter | LibreCat-ID: 17851
Mindt I. Functions of intonation in sentences and texts. In: Peters P, Collins P, Smith A, eds. New Frontiers of Corpus Research. Papers from the Twenty First International Conference on English Language Research on Computerized Corpora. Amsterdam: Rodopi; 2002:283-293.
LibreCat
2002 | Book Chapter | LibreCat-ID: 17910
Mindt I, Krug M. Emerging English Modals: A Corpus-Based Study of Grammaticalization. In: Journal of English Linguistics, Volume 30, Number 3. Vol Number 3. Volume 30. Mouton de Gruyter, 2000; 2002:290-294.
LibreCat
2002 | Journal Article | LibreCat-ID: 18176
Ziegler M. Computability on Regular Subsets of Euclidean Space. Mathematical Logic Quarterly (MLQ). 2002;48(S1):157-181. doi:10.1002/1521-3870(200210)48:1+<157::aid-malq157>3.0.co;2-4
LibreCat
| DOI
2002 | Conference (Editor) | LibreCat-ID: 8142
Krauter S, Rosa LP, Landsberg PT, eds. Proceedings of RIO 02 – World Climate & Energy Event. Rio de Janeiro (Brasilien): Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8153
Krauter S. Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais. In: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9. ; 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 4623
Beran J, Feng Y, Ghosh S, Sibbertsen P. On robust local polynomial estimation with long-memory errors. International Journal of Forecasting. 2002;18(2):227-241. doi:10.1016/s0169-2070(01)00155-8
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 7390
Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science. 2002;280(1-2):163-192. doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8363
Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application Integration. In: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France). Vol 51. Electronic Notes in Theoretical Computer Science. Elsevier; 2002:139-151. doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 872
Hollos D, Karl H. A protocol extension to HiperLAN/2 to support single-relay networks. In: Mobile Ad-Hoc Netzwerke, 1. Deutscher Workshop Über Mobile Ad-Hoc Netzwerke WMAN 2002, 25.-26. März 2002 in Ulm. ; 2002:91--107.
LibreCat
2002 | Journal Article | LibreCat-ID: 8734
Naud C, Faini G, Mailly D, et al. Aharonov–Bohm cages in the GaAlAs/GaAs system. Physica E: Low-dimensional Systems and Nanostructures. 2002:190-196. doi:10.1016/s1386-9477(01)00307-1
LibreCat
| DOI