1.1 --- a/doc/RK/bib/isac.bib Tue Apr 10 13:54:39 2007 +0200
1.2 +++ b/doc/RK/bib/isac.bib Tue Apr 10 13:54:39 2007 +0200
1.3 @@ -1,7 +1,47 @@
1.4 %######################################################
1.5 -% taken from the isac-docu.tex with some expansions
1.6 +% for isac-docu.tex
1.7 +% DON'T EDIT THIS FILE: CHANGES WILL BE OVERWRITTEN BY
1.8 +% THE ORIGINAL FROM THE ISAC-ADMIN !
1.9 %######################################################
1.10
1.11 +
1.12 +@Misc{ps-NC07,
1.13 + author = {Simic, Nebojsa},
1.14 + title = {A GUI-Component for Interactive Construction of Calculations},
1.15 + howpublished = {Telematik Projekt/Seminar},
1.16 + month = {March},
1.17 + year = {2007},
1.18 + note = {Graz University of Technology, Institute for Softwaretechnology}
1.19 +}
1.20 +
1.21 +@Misc{ba-GK07,
1.22 + author = {Kompacher, Georg},
1.23 + title = {Context-based Access to \isac{}'s Knowledge Base},
1.24 + howpublished = {Software-Projekt und Bakk.-Arbeit B},
1.25 + month = {March},
1.26 + year = {2007},
1.27 + note = {Graz University of Technology, Institute for Softwaretechnology}
1.28 +}
1.29 +
1.30 +@Misc{ba-RK06,
1.31 + author = {K\"onighofer, Robert},
1.32 + title = {Presentation of Mathematical Knowledge in the \isac-System},
1.33 + howpublished = {Telematik Projekt/Seminar and Bakk-Arbeit},
1.34 + month = {Oct},
1.35 + year = {2006},
1.36 + note = {Graz University of Technology, Institute for Softwaretechnology}
1.37 +}
1.38 +
1.39 +@Misc{ML06,
1.40 + author = {Lang, Martin},
1.41 + title = {Beispielsorientierter Zugang zu \isac s Mathematik Wissenbasis},
1.42 + howpublished = {Telematik Projekt/Seminar and Bakk-Arbeit},
1.43 + month = {June},
1.44 + year = {2006},
1.45 + note = {Graz University of Technology, Institute for Softwaretechnology}
1.46 +}
1.47 +
1.48 +
1.49 @MastersThesis{AK04:thesis,
1.50 author = {Krempler, Alan},
1.51 title = {Architectural Design for Integrating an Interactive Dialogguide into a Mathematical Tutoring System},
1.52 @@ -120,7 +160,8 @@
1.53 institution = {Institute for Softwaretechnology,
1.54 University of Technology},
1.55 year = {2002},
1.56 - note = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/appendices.ps.gz}
1.57 + number = {1.12},
1.58 + note = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/isac-docu.ps.gz}
1.59 }
1.60
1.61 @TechReport{isac:appendices,
1.62 @@ -433,174 +474,11 @@
1.63 year={2001},
1.64 address={Graz, Austria}
1.65 }
1.66 -%-----------------------------------------------------------------------------------
1.67 -% NOTE: new:
1.68 -@MastersThesis{ML:telpro,
1.69 - author = {Lang, Richard},
1.70 - title = {{Beispielsorientierter Zugang zu \isac s Mathematik Wissenbasis}},
1.71 - school = {University of Technology, Institute of Software Technology},
1.72 - year = {2005},
1.73 - address = {Graz, Austria},
1.74 - month = {May},
1.75 - note = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/da-mlang.ps.gz}
1.76 -}
1.77
1.78 -@book{Gamma:patterns,
1.79 - author = {Gamma, Erich and Helm, Richard and Johnson, Ralph and Vlissides, John},
1.80 - title = {Design patterns: elements of reusable object-oriented software},
1.81 - publisher = {Addison-Wesley Professional},
1.82 - year = {1995}
1.83 -}
1.84 -
1.85 -@Book{Hunt03a,
1.86 - author = "Andy Hunt and Dave Thomas",
1.87 - title = "Pragmatic Unit Testing in {Java} with {JUnit}",
1.88 - publisher = "ThePragmaticProgrammers",
1.89 - year = "2003",
1.90 - keywords = "unit testing, xp",
1.91 -}
1.92 -
1.93 -@Book{IMM2001-02085,
1.94 - author = "P. Fischer",
1.95 - title = "Grafikprogrammierung mit {JAVA-}Swing",
1.96 - year = "2001",
1.97 - publisher = "Addison-Wesley",
1.98 - URL = "http://www2.imm.dtu.dk/pubdb/p.php?2085",
1.99 -}
1.100 -
1.101 -@Book{Beck99b,
1.102 - author = "Kent Beck",
1.103 - title = "Extreme Programming Explained: Embracing Change",
1.104 - year = "1999",
1.105 - publisher = "Addison-Wesley",
1.106 - isbn_issn = "0-201-61641-6",
1.107 -}
1.108 -
1.109 -@Book{Mangano:2002:XC,
1.110 - author = "Sal Mangano",
1.111 - title = "{XSLT} cookbook",
1.112 - publisher = "O'Reilly \& {Associates, Inc.}",
1.113 - address = "USA",
1.114 - pages = "xiv + 654",
1.115 - year = "2002",
1.116 - ISBN = "0-596-00372-2",
1.117 - isbn-13 = "978-0-596-00372-2",
1.118 - LCCN = "QA76.73.X58 M36 2003",
1.119 - bibdate = "Mon Apr 18 15:05:43 MDT 2005",
1.120 - bibsource = "z3950.loc.gov:7090/Voyager",
1.121 - acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
1.122 - of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
1.123 - City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
1.124 - 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
1.125 - \path|beebe@acm.org|, \path|beebe@computer.org|
1.126 - (Internet), URL:
1.127 - \path|http://www.math.utah.edu/~beebe/|",
1.128 - keywords = "Extensible Stylesheet Language Transformations (XSLT)
1.129 - cookbook",
1.130 - remark = "``Solutions and examples for XML and XSLT developers''
1.131 - --- cover.",
1.132 - subject = "XSLT (Computer program language); XML (Document markup
1.133 - language)",
1.134 -}
1.135 -
1.136 -@Book{Burke:2001:JX,
1.137 - author = "Eric M. Burke",
1.138 - title = "{Java} and {XSLT}",
1.139 - publisher = "O'Reilly \& {Associates, Inc.}",
1.140 - address = "USA",
1.141 - pages = "xvi + 510",
1.142 - year = "2001",
1.143 - ISBN = "0-596-00143-6",
1.144 - isbn-13 = "978-0-596-00143-8",
1.145 - LCCN = "QA76.73.J38 B87 2001",
1.146 - bibdate = "Mon May 6 06:26:30 MDT 2002",
1.147 - acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
1.148 - of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
1.149 - City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
1.150 - 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
1.151 - \path|beebe@acm.org|, \path|beebe@computer.org|
1.152 - (Internet), URL:
1.153 - \path|http://www.math.utah.edu/~beebe/|",
1.154 - keywords = "Java (computer program language); XML (document markup
1.155 - language); XSLT (computer program language)",
1.156 -}
1.157 -
1.158 -@Book{Pitt:2001:JRR,
1.159 - author = "Esmond Pitt and Kathy McNiff",
1.160 - title = "{Java.RMI}: the remote method invocation guide",
1.161 - publisher = "Pearson Education",
1.162 - address = "Harlow, England",
1.163 - pages = "xxxi + 284",
1.164 - year = "2001",
1.165 - ISBN = "0-201-70043-3",
1.166 - isbn-13 = "978-0-201-70043-5",
1.167 - LCCN = "QA76.73.J38 P58 2001",
1.168 - bibdate = "Mon May 6 06:26:30 MDT 2002",
1.169 - acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
1.170 - of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
1.171 - City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
1.172 - 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
1.173 - \path|beebe@acm.org|, \path|beebe@computer.org|
1.174 - (Internet), URL:
1.175 - \path|http://www.math.utah.edu/~beebe/|",
1.176 - keywords = "application software -- development; electronic data
1.177 - processing -- distributed processing; Java (computer
1.178 - program language); RMI (computer architecture)",
1.179 -}
1.180 -
1.181 -@Misc{oai:CiteSeerPSU:328175,
1.182 - title = "{XML}-{RPC} Agents for Distributed Scientific
1.183 - Computing",
1.184 - author = "Van Engelen and Kyle Gallivan and Gunjan Gupta and
1.185 - George Cybenko",
1.186 - year = "2000",
1.187 - month = aug # "~29",
1.188 - abstract = "This paper presents the use of XML-RPC to achieve data
1.189 - interoperability between scientific applications in a
1.190 - distributed environment. Remote procedure calling with
1.191 - XML-RPC is programming language independent and
1.192 - operates across different platforms. We have designed
1.193 - and implemented tools for the automatic generation of
1.194 - XMLRPC stub routines and XML serialization converters
1.195 - to support application data interoperability in
1.196 - componentbased problem-solving environments for
1.197 - distributed scientific computing. Locating and indexing
1.198 - XML-RPC services is performed using mobile agents. The
1.199 - agents serve to setup problem-solving sessions and to
1.200 - connect remote applications. 1 Introduction The
1.201 - integration of large-scale scientific models, such as
1.202 - coupled ocean-atmosphere models, is a tremendous
1.203 - programming task. The degree of sophistication of a
1.204 - model implementation has to be high in terms of data
1.205 - structure compatibility and algorithmic selection to
1.206 - support an efficient exchange of simulation resu...",
1.207 - citeseer-references = "oai:CiteSeerPSU:410284; oai:CiteSeerPSU:6312",
1.208 - annote = "Van Engelen (Department of Computer Science; School of
1.209 - Computational Science and Engineering; Florida State
1.210 - University; Tallahassee , FL 32306-4530); Kyle Gallivan
1.211 - (Department of Computer Science; School of
1.212 - Computational Science and Engineering; Florida State
1.213 - University; Tallahassee , FL 32306-4530); Gunjan Gupta
1.214 - (Department of Computer Science; School of
1.215 - Computational Science and Engineering; Florida State
1.216 - University; Tallahassee , FL 32306-4530); George
1.217 - Cybenko (Thayer School of Engineering; Dartmouth
1.218 - College; Hanover , NH 03755-8000);",
1.219 - bibsource = "OAI-PMH server at cs1.ist.psu.edu",
1.220 - language = "en",
1.221 - oai = "oai:CiteSeerPSU:328175",
1.222 - rights = "unrestricted",
1.223 - URL = "http://citeseer.ist.psu.edu/328175.html;
1.224 - http://www.cs.fsu.edu/~engelen/imacs2000.ps",
1.225 -}
1.226 -
1.227 -@Book{GammaEtAl00,
1.228 - author = "Gamma and Helm and Johnson and Vlissides",
1.229 - title = "Design Patterns Elements of Reusable Object-Oriented
1.230 - Software",
1.231 - publisher = "Addison-Wesley",
1.232 - address = "Massachusetts",
1.233 - year = "2000",
1.234 - ISBN = "0-201-63361-2",
1.235 -}
1.236 -
1.237 +@proceedings{Seeheim,
1.238 + editor = "Pfaff, G.",
1.239 + title = "Seeheim Workshop on User Interface Management Systems",
1.240 + year = "1985",
1.241 + publisher = "Springer",
1.242 + category = "General",
1.243 +}
1.244 \ No newline at end of file