Home › Biblio

Biblio

Export 28 results:
Sort by: Author Keyword [ Title (Desc)] Type Year
Filters: First Letter Of Title is F  [Clear All Filters]
A B C D E [F] G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
F
Balke, W. - T., "The Future of Work: Crowdsourcing - A Way to Efficient and Fair Distribution of Employment?", IAM Innovator, vol. 1: European Alliance for Innovation (EAI), 2013.  Download: IAM-issue01-2013.pdf (676.29 KB)
Neumann, K., "Funktionales Programmieren mit Polygonen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 22, pp. 125-136, 2002. Abstract  Download: Ne02.pdf (138.38 KB)
Ehrich, H. - D., "Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach", Nuclear Instruments and Methods in Physics Research A: Elsevier, Amsterdam, pp. 375-378, 1994. Abstract  Download: 1994CERN.pdf (280.86 KB)
Ehrich, H. - D., G. Engels, J. Paradaens, P. Wegner, and (eds), Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434), , Schloss Dagstuhl, IBFI GmbH, 1994.  Download: 1994DagstuhlSeminar9434.pdf (336.72 KB)
Küster Filipe, J., "Fundamentals of a Module Logic for Distributed Object Systems", Journal of Functional and Logic Programming, vol. 2000, no. 3: The MIT Press, March, 2000. Abstract
Ehrich, H. - D., and A. Sernadas, "Fundamental Object Concepts and Constructions", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 1-24, 1991. Abstract
Sernadas, A., H. - D. Ehrich, and J. - F. Costa, "From Processes to Objects", The INESC Journal of Research and Development 1:1, pp. 7-27, 1990. Abstract  Download: 1990INESC.pdf (997.32 KB)
Gogolla, M., S. Güler, and R. Herzig, "From Object Specification to Enhanced Logic Programming", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 423-430, 1994. Abstract
Ehrich, H. - D., A. Sernadas, and C. Sernadas, "From Data Types to Object Types", Journal on Information Processing and Cybernetics EIK, vol. 26, no. 1-2, pp. 33-48, 1990. Abstract  Download: 1990EIK.pdf (875.31 KB)
Saake, G., and U. W. Lipeck, "Foundations of Temporal Integrity Monitoring", Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988. Abstract
Ehrich, H. - D., J. A. Goguen, A. Sernadas, and (eds), "Foundations of Information Systems Specification and Design", Dagstuhl Seminar Report No. 35, Schloss Dagstuhl, IBFI GmbH, 1992. Abstract
Küster Filipe, J., Foundations of a Module Concept for Distributed Object Systems, : PhD Thesis, Technical University Braunschweig, September, 2000. Abstract
Neumann, K., "Formulierung von Integritätsbedingungen in verschiedenen SQL-Dialekten", Proc1 GI-Workshop ``Aktive Datenbanken'', Hamburg, 2.9.94: GI-Datenbankrundbrief 14, pp. 17-21, 1994. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Formal Specification of Object Systems", Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills, "Formal Specification of Catalysis Frameworks", Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000. Abstract
Karge, U., and M. Gogolla, Formal Semantics of SQL Queries, , no. 90-01: Technische Universität Braunschweig, 1990. Abstract
Hohenstein, U., and G. Engels, "Formal Semantics of an Entity-Relationship Based Query Language", Proc1 9th Int1 Conf1 on the ER-Approach, pp. 171-188, 1990. Abstract
Kowsari, M., "Formal Object Oriented Specification Language \sc Troll in Information System Design", Doctoral Consortium of 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996, 1996. Abstract
, Formal Methods for Information System Dynamics, Workshop of the CAiSE'94 Conference, Utrecht, 1994, : Univ. of Twente, Technical Report, 1994. Abstract
Mathiak, B., and S. Eckstein, "Five steps to text mining in biomedical literature", WS on Data Mining and Text Mining for Bioinformatics at PKDD/ECML 2004. Proc. 15th European Conf. on Machine Learning and the 8th European Conf. on Principles and Practice of Knowledge Discovery in Databases, pp. 43-47, 2004. Abstract
Nieke, C., and D. Duellmann, "First results from a combined analysis of CERN computing infrastructure metrics", 22nd International Conference on Computing in High Energy and Nuclear Physics CHEP2016, San Francisco, USA, 10/2016. Abstract
Pinto, J. M. G., K. E. Maarry, and W. - T. Balke, "Fine-tuning Gold Questions in Crowdsourcing Tasks using Probabilistic and Siamese Neural Network Models", The Journal of Web Science (JWS), vol. 6: NOW Publishers, 2019. Abstract  Download: Crowdsourcing - JWS 6-2019.pdf (1.45 MB)
Gogolla, M., "A Final Algebra Semantics for Errors and Exceptions", Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D): Springer, Berlin, IF1 116, pp. 89-103, 1985. Abstract
Balke, W. - T., K. Keßler, A. T. Krüger, K. Stump, J. Wawrzinek, and S. Wulle, "FID Pharmazie: Zwischen Spitzenforschung und verlässlicher Infrastruktur (German)", ZfBB - Zeitschrift für Bibliothekswesen und Bibliographie, vol. 65, no. 2-3, pp. 114-117, 2018.  Download: ZfBB-PubPharm.pdf (4.62 MB)
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke, "Fast Dual Simulation Processing of Graph Database Queries (Supplement)", CoRR, Technical Report, vol. 1810.09355: arxiv.org, 10/2018.  Download: 1810.09355.pdf (321.93 KB)
Mennicke, S., J. - C. Kalo, D. Nagel, H. Kroll, and W. - T. Balke, "Fast Dual Simulation Processing of Graph Database Queries", IEEE 35th International Conference on Data Engineering (ICDE), Macau, China, IEEE, 04/2019. Abstract  Download: ICDE2019-MKNKB-Camera-Ready.pdf (399.3 KB)
Maarry, K. E., K. Milland, and W. - T. Balke, "A Fair Share of the Work? The Evolving Ecosystem of Crowd Workers", 10th ACM Conference on Web Science, Amsterdam, The Netherlands, ACM, 2018. Abstract  Download: WebSci-CrowdsourcingEcoSystem.pdf (1.06 MB)
Diederich, J., and W. - T. Balke, "FacetedDBLP - Navigational Access for Digital Libraries", Bulletin of the IEEE Technical Committee on Digital Libraries (TCDL), vol. 4, no. 1, 2008.  Download: tcdl08.pdf (111.9 KB)