Attribut:BibTex

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Code.

Seiten mit dem Attribut „BibTex“

Es werden 25 Seiten angezeigt, die dieses Attribut verwenden:

(vorherige 25) (nächste 25)

A

Article1226 +
@article{MRS2006,
  author    = {J{\"{o}}rg Meier and Sebastian Rudolph and Tom Schanz},
  title     = {Effektiver Algorithmus zur L{\"{o}}sung von inversen
               Aufgabenstellungen - Anwendung in der Geotechnik},
  journal   = {Bautechnik},
  volume    = {83},
  number    = {7},
  publisher = {Ernst \& Sohn Verlag f{\"{u}}r Architektur und technische
               Wissenschaften {GmbH} \& Co. {KG}},
  year      = {2006},
  month     = {July},
  pages     = {470--481}
}
Article1303 +
@article{K2006,
  author    = {Markus Kr{\"{o}}tzsch},
  title     = {Generalized Ultrametric Spaces in Quantitative Domain Theory},
  journal   = {Theoretical Computer Science},
  volume    = {368},
  number    = {1--2},
  publisher = {Elsevier},
  year      = {2006},
  month     = {December},
  pages     = {30--49},
  doi       = {10.1016/j.tcs.2006.05.037}
}
Article1551 +
@article{KVVHS2007,
  author    = {Markus Kr{\"{o}}tzsch and Denny Vrande{\v{c}}i{\'{c}} and Max
               V{\"{o}}lkel and Heiko Haller and Rudi Studer},
  title     = {Semantic Wikipedia},
  journal   = {Journal of Web Semantics},
  volume    = {5},
  publisher = {Elsevier},
  year      = {2007},
  month     = {September},
  pages     = {251--261}
}
Article1649 +
@article{AKTV2008,
  author    = {Anupriya Ankolekar and Markus Kr{\"{o}}tzsch and Duc Thanh Tran
               and Denny Vrande{\v{c}}i{\'{c}}},
  title     = {The two cultures: mashing up Web 2.0 and the Semantic Web},
  journal   = {Journal of Web Semantics},
  volume    = {6},
  number    = {1},
  publisher = {Elsevier},
  year      = {2008},
  month     = {February},
  doi       = {10.1016/j.websem.2007.11.005}
}
Article1983 +
@article{CRH2010,
  author    = {Philipp Cimiano and Sebastian Rudolph and Helena Hartfiel},
  title     = {Computing Intensional Answers to Questions - An Inductive Logic
               Programming Approach},
  journal   = {Data \& Knowledge Engineering},
  volume    = {69},
  number    = {3},
  publisher = {Elsevier},
  year      = {2010},
  month     = {March},
  pages     = {261-278},
  doi       = {10.1016/j.datak.2009.10.008}
}
Article1984 +
@article{MRS2009,
  author    = {J{\"{o}}rg Meier and Sebastian Rudolph and Tom Schanz},
  title     = {Effective algorithm for parameter back calculation - Geotechnical
               applications},
  journal   = {Bautechnik},
  volume    = {86},
  number    = {S1},
  publisher = {Ernst \& Sohn Verlag f{\"{u}}r Architektur und technische
               Wissenschaften {GmbH} \& Co. {KG}},
  year      = {2009},
  month     = {August},
  pages     = {86-97},
  doi       = {10.1002/bate.200910045}
}
Article3000 +
@article{KMS2012,
  author  = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van Schuppen},
  title   = {Supervisory control synthesis of discrete-event systems using a
             coordination scheme},
  journal = {Automatica},
  volume  = {48},
  number  = {2},
  year    = {2012},
  pages   = {247-254},
  doi     = {10.1016/j.automatica.2011.07.008}
}
Article3001 +
@article{M2014,
  author  = {Tom{\'{a}}{\v{s}} Masopust},
  title   = {A Note on Limited Pushdown Alphabets in Stateless Deterministic
             Pushdown Automata},
  journal = {International Journal of Foundations of Computer Science},
  volume  = {24},
  number  = {3},
  year    = {2014},
  pages   = {319-328},
  doi     = {10.1142/S0129054113500068}
}
Article3002 +
@article{M2012,
  author  = {Tom{\'{a}}{\v{s}} Masopust},
  title   = {A note on controllability of deterministic context-free systems},
  journal = {Automatica},
  volume  = {48},
  number  = {8},
  year    = {2012},
  pages   = {1934-1937},
  doi     = {10.1016/j.automatica.2012.06.004}
}
Article3003 +
@article{DM2012,
  author  = {J{\"{u}}rgen Dassow and Tom{\'{a}}{\v{s}} Masopust},
  title   = {On restricted context-free grammars},
  journal = {Journal of Computer and System Sciences},
  volume  = {78},
  number  = {1},
  year    = {2012},
  pages   = {293{\textendash}304},
  doi     = {10.1016/j.jcss.2011.05.008}
}
Article3004 +
@article{KMS2012,
  author  = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van Schuppen},
  title   = {On conditional decomposability},
  journal = {Systems \& Control Letters},
  volume  = {61},
  number  = {12},
  year    = {2012},
  pages   = {1260{\textendash}1268},
  doi     = {10.1016/j.sysconle.2012.07.013}
}
Article3005 +
@article{JM2012,
  author  = {Galina Jir{\'{a}}skov{\'{a}} and Tom{\'{a}}{\v{s}} Masopust},
  title   = {On a structural property in the state complexity of projected
             regular languages},
  journal = {Theoretical Computer Science},
  volume  = {449},
  year    = {2012},
  pages   = {93{\textendash}105},
  doi     = {10.1016/j.tcs.2012.04.009}
}
Article3006 +
@article{KMS2015,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust and Jan H. van
               Schuppen},
  title     = {Coordination control of discrete-event systems revisited},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {25},
  number    = {1},
  publisher = {Springer},
  year      = {2015},
  pages     = {65-94},
  doi       = {10.1007/s10626-013-0179-x}
}
Article3007 +
@article{DG2016,
  author    = {Wolfgang Dvo{\v{r}}{\'{a}}k and Sarah Alice Gaggl},
  title     = {Stage semantics and the {SCC-recursive} schema for argumentation
               semantics},
  journal   = {Journal of Logic and Computation},
  volume    = {26},
  number    = {4},
  publisher = {Oxford University Press},
  year      = {2016},
  month     = {August},
  pages     = {1149-1202},
  doi       = {10.1093/logcom/exu006}
}
Article3008 +
@article{CDGWW2015,
  author    = {G{\"{u}}nther Charwat and Wolfgang Dvo{\v{r}}{\'{a}}k and Sarah
               Alice Gaggl and Johannes Peter Wallner and Stefan Woltran},
  title     = {Methods for Solving Reasoning Problems in Abstract Argumentation
               {\textendash} A Survey},
  journal   = {Artificial Intelligence Journal},
  volume    = {220},
  number    = {0},
  publisher = {Elsevier},
  year      = {2015},
  month     = {March},
  pages     = {28-63},
  doi       = {10.1016/j.artint.2014.11.008}
}
Article3009 +
@article{SMKR2014,
  author    = {Giorgo Stefanoni and Boris Motik and Markus Kr{\"{o}}tzsch and
               Sebastian Rudolph},
  title     = {The Complexity of Answering Conjunctive and Navigational Queries
               over {OWL} 2 {EL} Knowledge Bases},
  journal   = {Journal of Artificial Intelligence Research},
  volume    = {51},
  publisher = {AI Access Foundation},
  year      = {2014},
  month     = {December},
  pages     = {645-705},
  doi       = {10.1613/jair.4457}
}
Article3010 +
@article{KRS2015,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Peter H. Schmitt},
  title     = {A Closer Look at the Semantic Relationship between Datalog and
               Description Logics},
  journal   = {Semantic Web Journal},
  volume    = {6},
  number    = {1},
  publisher = {IOS Press},
  year      = {2015},
  pages     = {63-79},
  doi       = {10.3233/SW-130126}
}
Article3011 +
@inproceedings{P2014,
  author    = {Tobias Philipp},
  title     = {Clause Simplifications in Search-Space Decomposition-Based {SAT}
               Solvers},
  editor    = {Ulle Endriss and Jo{\~{a}}o Leite},
  booktitle = {7th European Starting {AI} Researcher Symposium (STAIRS)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {264},
  publisher = {IOS Press},
  year      = {2014},
  pages     = {211-219}
}
Article3012 +
@article{BP2016,
  author  = {Stefan Borgwardt and Rafael Pe{\~{n}}aloza},
  title   = {Reasoning in fuzzy description logics using automata},
  journal = {Fuzzy Sets and Systems},
  volume  = {298},
  year    = {2016},
  pages   = {22{\textendash}43},
  doi     = {10.1016/j.fss.2015.07.013}
}
Article3013 +
@article{GLMW2018,
  author  = {Sarah Alice Gaggl and Thomas Linsbichler and Marco Maratea and
             Stefan Woltran},
  title   = {Summary Report of the Second International Competition on
             Computational Models of Argumentation},
  journal = {AI Magazine},
  volume  = {39},
  number  = {4},
  year    = {2018},
  month   = {December},
  pages   = {77-79}
}
Article3014 +
@article{GMRWW2015,
  author  = {Sarah Alice Gaggl and Norbert Manthey and Alessandro Ronca and
             Johannes Peter Wallner and Stefan Woltran},
  title   = {Improved Answer-Set Programming Encodings for Abstract
             Argumentation},
  journal = {Theory and Practice of Logic Programming (TPLP)},
  volume  = {15},
  number  = {4-5},
  year    = {2015},
  month   = {September},
  pages   = {434-448}
}
Article3015 +
@article{M2015,
  author    = {Norbert Manthey},
  title     = {Towards next generation sequential and parallel {SAT} solvers},
  journal   = {Constraints},
  publisher = {Springer {US}},
  year      = {2015},
  month     = {September},
  pages     = {1-2},
  doi       = {10.1007/s10601-015-9226-6}
}
Article3016 +
@article{CK2018,
  author  = {Long Cheng and Spyros Kotoulas},
  title   = {Efficient Skew Handling for Outer Joins in a Cloud Computing
             Environment},
  journal = {IEEE Transactions on Cloud Computing},
  volume  = {6},
  number  = {2},
  year    = {2018},
  pages   = {558 - 571},
  doi     = {10.1109/TCC.2015.2487965}
}
Article3017 +
@article{VKRL2010,
  author    = {Denny Vrande{\v{c}}i{\'{c}} and Markus Kr{\"{o}}tzsch and
               Sebastian Rudolph and Uta L{\"{o}}sch},
  title     = {Leveraging Non-Lexical Knowledge for the Linked Open Data Web},
  journal   = {The Fifth {RAFT'2010} The yearly bilingual publication on
               nonchalant research},
  volume    = {5},
  number    = {1},
  publisher = {Antoine Zimmermann},
  year      = {2010},
  month     = {April},
  pages     = {18-27}
}
Article3018 +
@article{CMKWT2016,
  author    = {Long Cheng and Avinash Malik and Spyros Kotoulas and Tomas E.
               Ward and Georgios Theodoropoulos},
  title     = {Fast Compression of Large Semantic Web Data using X10},
  journal   = {IEEE Transactions on Parallel and Distributed Systems},
  volume    = {27},
  number    = {9},
  publisher = {IEEE},
  year      = {2016},
  month     = {September},
  pages     = {2603-2617},
  doi       = {10.1109/TPDS.2015.2496579}
}
(vorherige 25) (nächste 25)