Home › Biblio

Biblio

Export 28 results:
Sort by: Author Keyword Title Type [ Year (Asc)]
Filters: First Letter Of Title is F  [Clear All Filters]
1985
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
1988
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
1990
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
Karge, U., and M. Gogolla, Formal Semantics of SQL Queries, , no. 90-01: Technische Universität Braunschweig, 1990. 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)
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)
1991
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
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
1992
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
1994
, Formal Methods for Information System Dynamics, Workshop of the CAiSE'94 Conference, Utrecht, 1994, : Univ. of Twente, Technical Report, 1994. 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
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., 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)
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)
1996
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
2000
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
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
Küster Filipe, J., Foundations of a Module Concept for Distributed Object Systems, : PhD Thesis, Technical University Braunschweig, September, 2000. Abstract
2002
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)
2004
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
2008
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)
2013
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)
2016
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
2018
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)
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)
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)
2019
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)
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)