default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranz Huber
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j13]Thomas Wainwright
, Franz Huber, Christoph Stöckmann, Sascha Kraus:
Open data platforms for transformational entrepreneurship: Inclusion and exclusion mechanisms. Int. J. Inf. Manag. 72: 102664 (2023)
2010 – 2019
- 2017
- [j12]Franz Huber:
Why follow the royal rule? Synth. 194(5): 1565-1590 (2017) - 2015
- [j11]Franz Huber:
What Should I Believe About What Would Have Been the Case? J. Philos. Log. 44(1): 81-110 (2015) - 2014
- [j10]Franz Huber:
New foundations for counterfactuals. Synth. 191(10): 2167-2193 (2014) - [i6]Franz Huber, Andreas Rausch, Bernhard Rumpe:
Modeling Dynamic Component Interfaces. CoRR abs/1409.6924 (2014) - [i5]Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin:
Towards a Precise Semantics for Object-Oriented Modeling Techniques. CoRR abs/1409.6930 (2014) - [i4]Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin:
Exemplary and Complete Object Interaction Descriptions. CoRR abs/1409.7231 (2014) - [i3]Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics. CoRR abs/1411.2410 (2014) - [i2]Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin:
Systems, Views and Models of UML. CoRR abs/1412.2458 (2014) - 2013
- [j9]Franz Huber:
Structural equations and beyond. Rev. Symb. Log. 6(4): 709-732 (2013)
2000 – 2009
- 2009
- [r1]Franz Huber:
Ranking Functions. Encyclopedia of Artificial Intelligence 2009: 1351-1355 - 2008
- [j8]Franz Huber:
Assessing theories, Bayes style. Synth. 161(1): 89-118 (2008) - 2007
- [j7]Franz Huber:
The Logic of Theory Assessment. J. Philos. Log. 36(5): 511-538 (2007) - [j6]Franz Huber:
The Consistency Argument for Ranking Functions. Stud Logica 86(2): 299-329 (2007) - 2006
- [j5]Franz Huber:
Ranking functions and rankings on languages. Artif. Intell. 170(4-5): 462-471 (2006) - 2005
- [c16]Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS. ECBS 2005: 307-314 - 2003
- [c15]Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Consistency in Model-Based Development. ECBS 2003: 287-296 - 2002
- [c14]Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung 2002: 37-52 - [c13]Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps:
Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312 - [i1]Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. CoRR cs.SE/0201023 (2002) - 2001
- [j4]Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin:
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). Inform. Forsch. Entwickl. 16(1): 53-59 (2001) - 2000
- [c12]Alexander K. Wißpeintner, Franz Huber, Jan Philipps:
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT 2000: 91-100
1990 – 1999
- 1999
- [j3]Manfred Broy, Franz Huber, Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform. Forsch. Entwickl. 14(3): 121-134 (1999) - [c11]Bernhard Schätz, Franz Huber:
Integrating Formal Description Techniques. World Congress on Formal Methods 1999: 1206-1225 - 1998
- [j2]Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin:
Exemplary and complete object interaction descriptions. Comput. Stand. Interfaces 19(7): 335-345 (1998) - [c10]Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig:
Traffic Lights - An AutoFocus Case Study. ACSD 1998: 282-294 - [c9]Franz Huber, Bernhard Schätz:
Specification Modules for Methodical System Development. FBT 1998: 75-86 - [c8]Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch:
Tool Supported Specification and Simulation of Distributed Systems. PDSE 1998: 155- - [c7]Franz Huber, Andreas Rausch, Bernhard Rumpe:
Modeling Dynamic Component Interfaces. TOOLS (26) 1998: 58-70 - 1997
- [c6]Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin:
Towards a Precise Semantics for Object-Oriented Modeling Techniques. ECOOP Workshops 1997: 205-210 - [c5]Franz Huber, Bernhard Schätz:
Rapid Prototyping with AutoFocus. FBT 1997: 343-352 - [c4]Franz Huber, Bernhard Schätz, Geralf Einert:
Consistent Graphical Specification of Distributed Systems. FME 1997: 122-141 - [c3]Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering 1997: 43-68 - [c2]Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin:
Systems, Views and Models of UML. UML Workshop 1997: 93-108 - 1996
- [c1]Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification. FTRTFT 1996: 467-470
1980 – 1989
- 1988
- [j1]Thomas Bemmerl, Franz Huber, Robert Stampfl:
Features, design and implementation of high-level language debuggers. Microprocess. Microsystems 12(6): 331-340 (1988)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
