Biblio

Export 102 results:
Sort by: Author Keyword [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is G  [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]
O
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. Abstract
Güntzer, U., W. - T. Balke, and W. Kießling, "Optimizing Multi-Feature Queries for Image Databases", 26th International Conference on Very Large Databases (VLDB 2000), Cairo, Egypt, 2000. Abstract  Download: vldb00.pdf (190.85 KB)
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "On the Step Branching Time Closure of Free-Choice Petri Nets", Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014. Abstract
Balke, W. - T., U. Güntzer, and W. Kießling, "On Real-time Top k Querying for Mobile Services", 10th International Conference on Cooperative Information Systems (CoopIS 2002), Irvine, CA, USA, Springer, 2002. Abstract  Download: coopis02.pdf (372.94 KB)
Gogolla, M., "On Parametric Algebraic Specifications with Clean Error Handling", Proc1 TAPSOFT'87, Pisa (I), Vol1 I: LNCS 249, Springer, Berlin, pp. 81-95, 1987. Abstract
Gogolla, M., "On Formal Semantics of Some Semantic Data Models", Proc. 9th Int. Symposium on Computer and Information Scienc1 (ISCIS'94): Bogazici University Printhouse, Istanbul, pp. 33-40, 1994. Abstract
Ehrich, H. - D., M. Gogolla, and A. Sernadas, "Objects and their Specification", Proc 8th Workshop on Abstract Data Types (ADT'91): Springer, Berlin, LNCS 655, pp. 40-65, 1992. Abstract  Download: 1992ObjSpec.pdf (456.9 KB)
Gogolla, M., and I. Claßen, "An Object-Oriented Design for the ACT ONE Environment", Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 1993. Abstract
N
M
Balke, W. - T., and U. Güntzer, "Multi-objective Query Processing for Database Systems", 30th International Conference on very Large Databases (VLDB 2004) , Toronto, Canada, 2004. Abstract  Download: vldb04.pdf (432.65 KB)
Neumann, K., M. Grutza, T. Nordmann, F. Schlutow, and C. Wolf, "Metaautomation der Liegenschaftskarte", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 39, pp. 15-29, 2007. Abstract  Download: NGNSW07aga.pdf (565.67 KB)
Lofi, C., U. Güntzer, and W. - T. Balke, "Malleability-Aware Skyline Computation on Linked Open Data", 17th International Conference on Database Systems for Advanced Applications (DASFAA), Busan, South Korea, 04/2012. Abstract  Download: Dasfaa12_Lofi (799.68 KB)
Maarry, K. E., U. Güntzer, and W. - T. Balke, "A Majority of Wrongs Doesn't Make it Right - On Crowdsourcing Quality for Skewed Domain Tasks", The 16th International Conference on Web Information Systems Engineering (WISE), Miami, Florida, 11/2015. Abstract  Download: 069 - A Majority of Wrongs Doesn't Make it Right.pdf (1.05 MB)
K
I
Gogolla, M., R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis, "Integrating the ER Approach in an OO Environment", Proc1 12th Int1 Conf1 on the Entity-Relationship Approac1 (ER'93): Springer, Berlin, LNC1 823, pp. 376-389, 1994. Abstract
Einer, S., and A. Grau, "Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems", Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001. Abstract
Goltz, U., M. Magnor, H. - J. Appelrath, H. Matthies, W. - T. Balke, and L. Wolf, "INFORMATIK 2012", Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
Balke, W. - T., C. Lofi, and U. Güntzer, "Incremental Trade-Off Management for Preference Based Queries", International Journal of Computer Science & Applications (IJCSA), vol. 4, no. 2, 06/2007. Abstract  Download: Fulltext-PDF (572.96 KB)
H
G
Gogolla, M., Grundlagen von Entity-Relationship-Modellen, , no. 33: Technische Universität Braunschweig, Informatik-Skripten, 1994. Abstract
Balke, W. - T., U. Güntzer, and W. Siberski, "Getting Prime Cuts from Skylines over Partially Ordered Domains", 12th GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW), Aachen, Germany, 2007. Abstract  Download: btw07.pdf (342.21 KB)
F
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
Karge, U., and M. Gogolla, Formal Semantics of SQL Queries, , no. 90-01: Technische Universität Braunschweig, 1990. Abstract
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
E
Balke, W. - T., U. Güntzer, and W. Siberski, "Exploiting Indifference for Customization of Partial Order Skylines", 10th International Database Engineering & Applications Symposium (IDEAS), Delhi, India, 2006. Abstract  Download: ideas06.pdf (353.98 KB)
Kowsari, M., and A. Grau, "An Evaluation of an Object Oriented Formal Method for Specifying Information Systems.", Proceedings of the Third CAiSE/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD'98). Pisa, Italy. June 8-9, 1998: University of Nebraska-Lincoln, USA, pp. M1-M12, 1998. Abstract
Lofi, C., U. Güntzer, and W. - T. Balke, "Equivalence Heuristics for Malleability-Aware Skylines", Journal of Computing Science and Engineering (JCSE), vol. 6, no. 3, 09/2012. Abstract  Download: JCSE-2012-0037.pdf (1.97 MB)
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract  Download: 1995EMISA.pdf (691.75 KB)
Lofi, C., U. Güntzer, and W. - T. Balke, "Eliciting Skyline Trade-Offs using Example-Based Heuristics for E-Commerce Applications", IEEE Conference on Commerce and Enterprise Computing (CEC), Luxembourg, Luxembourg, 09/2011. Abstract  Download: Full Text CEC 2011 (689.39 KB)
Balke, W. - T., C. Lofi, and U. Güntzer, "Eliciting Matters - Controlling Skyline Sizes by Incremental Integration of User Preferences", 12th International Conference on Database Systems for Advanced Applications (DASFAA), Bangkok, Thailand, 2007. Abstract  Download: dasfaa07-camRed.pdf (393.17 KB)
Lofi, C., W. - T. Balke, and U. Güntzer, "Efficiently Performing Consistency Checks for Multi-Dimensional Preference Trade-Offs", 2nd IEEE International Conference on Research Challenges in Information Science (RCIS), Marrakech, Morocco, 2008. Abstract  Download: Fulltext-PDF (555.38 KB)
Lofi, C., W. - T. Balke, and U. Güntzer, "Efficient Skyline Refinement using Trade-Offs Respecting Don't Care Attributes", International Journal of Computer Science & Applications (IJCSA), vol. 6, no. 5, 10/2009. Abstract  Download: Fulltext PDF (831.91 KB)
Lofi, C., W. - T. Balke, and U. Güntzer, "Efficient Skyline Refinement using Trade-Offs", 3rd IEEE International Conference on Research Challenges in Information Science (RCIS), Fès, Morocco, 04/2009. Abstract  Download: rcis09_final.pdf (540.78 KB)