49 citations · 58 across the 6 of their papers we have counts for
6 papers
Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
Gheorghe Comanici, Eric Bieber, Mike Schaekermann +3431
In this report, we introduce the Gemini 2.X model family: Gemini 2.5 Pro and Gemini 2.5 Flash, as well as our earlier Gemini 2.0 Flash and Flash-Lite models. Gemini 2.5 Pro is our…
On the Structure and Complexity of Rational Sets of Regular Languages
Andreas Holzer, Christian Schallhart, Michael Tautschnig +1
In a recent thread of papers, we have introduced FQL, a precise specification language for test coverage, and developed the test case generation engine FShell for ANSI C. In essenc…
AMBER: Automatic Supervision for Multi-Attribute Extraction
Tim Furche, Georg Gottlob, Giovanni Grasso +3
The extraction of multi-attribute objects from the deep web is the bridge between the unstructured web and structured data. Existing approaches either induce wrappers from a set of…
The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web
Tim Furche, Georg Gottlob, Giovanni Grasso +3
Forms are our gates to the web. They enable us to access the deep content of web sites. Automatic form understanding provides applications, ranging from crawlers over meta-search e…
Verification Across Intellectual Property Boundaries
Sagar Chaki, Christian Schallhart, Helmut Veith
In many industries, the importance of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP)…
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments
Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart +1
During the last years, large-scale simulations of realistic physical environments which support the interaction of multiple participants over the Internet have become increasingly…