Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

283 Publications


2000 | Book Review | LibreCat-ID: 18342
V. Peckhaus, “Hintikka, Jaakko, ‘On Gödel’s Philosophical Assumptions’, Synthese 114 (1998), 13–23,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.01008]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18343
V. Peckhaus, “Kreisel, G., ‘Second Thoughts Around Some of Gödel’s Writings: A Non-Academic Option’, Synthese 114 (1998), 99–160,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.01009]. 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 18344
D. Tophinke, “Autonome Aspekte gesprochener und geschriebener Sprache: Theoretische Überlegungen und empirische Befunde,” Sprache und Literatur in Wissenschaft und Unterricht , vol. (SUL) 85, pp. 3–22, 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18345
V. Peckhaus, “Boolos, George; Heck, Richard G. jun., ‘Die Grundlagen der Arithmetik, §§ 82–3’, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.03008]. 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 18355
D. Tophinke, “Zur Wortabtrennung in den Werler Statuten des 14. und 15. Jahrhunderts – eine exemplarische Analyse,” in Regionalsprachen, Stadtsprachen und Institutionssprachen im historischen Prozeß, M. Elmentaler, Ed. Wien: Edition Präsens, 2000, pp. 73–99.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18356
V. Peckhaus, “Rivadulla, Andrés, ‘The Popperian Revolution in the Methodology of Science’, In: Jesús Padilla Gálvez et al. (eds.), Wittgenstein and the Vienna Circle. Proceedings of the International Congress, Toledo, Spain, November 2–5, 1994, Cuenca: Ediciones de la Universidad de Castilla-La Mancha: Cuenca 1998 (Estudios; 49), 305–316,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 940.01006]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18357
V. Peckhaus, “Mancosu, Paolo, ‘Between Russell and Hilbert: Behmann on the Foundations of Mathematics’, Bulletin of Symbolic Logic 5 (1999), 303–330,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 942.030029]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18358
V. Peckhaus, “Zach, Richard, ‘Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic’, Bulletin of Symbolic Logic 5 (1999), 331–366,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 942.03002]. 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 18359
D. Tophinke, “Linguistische Perspektiven auf das Verhältnis von Identität und Alterität,” in wir / ihr / sie. Identität und Alterität in Theorie und Methode, W. Eßbach, Ed. Würzburg: Ergon, 2000, pp. 345–371.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18360
V. Peckhaus, “Glashoff, Klaus, „Das Rad der Gründe — Der Hetucakradamara von Dignaga“, Mitt. Math. Ges. Hamb. 18 (1999), 75–104,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 946.01004]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18361
V. Peckhaus, “Radu, Mircea, ‘Justus Grassmann’s Contributions to the Foundations of Mathematics: Mathematical and Philosophical Aspects’, Historia Mathematica 27 (2000), 4–35,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 948.01009]. 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 18446
K. Lorys, R. Wanka, B. Oesterdiekhoff, and M. Kutylowski, “Periodification Scheme: Constructing Sorting Networks with Constant Period,” Journal of the ACM, vol. 45, pp. 944–967, 2000, doi: 10.1145/355483.355490.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 18617 | OA
A. Schindlmayr, “Decay properties of the one-particle Green function in real space and imaginary time,” Physical Review B, vol. 62, no. 19, pp. 12573–12576, 2000.
LibreCat | Files available | DOI | WoS
 

2000 | Conference Paper | LibreCat-ID: 2211 | OA
A. Czumaj and C. Scheideler, “A New Algorithmic Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems ,” in 32nd ACM Symposium on Theory of Computing, 2000, pp. 38–47.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 21782
G. Domik, “Do we need formal education in visualization?,” IEEE Computer Graphics and Applications, vol. 20, no. 4, pp. 16–19, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 21783
S. Volbracht and G. Domik, “Developing Effective Navigation Techniques in Virtual 3D Environments,” in Virtual Environments 2000, 2000, pp. 55–64.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7790
H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., Special Issue: Selected Papers of GRATRA 2000, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
J. D. P. Rolim et al., Eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
M. Lohmann and A. Wagner, “Konzeption eines XML-fähigen Mailtools,” in Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7862
S. Thöne, “Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7863
A. Cherchago and N. Alexandrova, “A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics,” in Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7864
R. Depke, M. Langham, B. Lütkemeier, and S. Thöne, “Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen,” in Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution,” in Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 2000, vol. 1853, pp. 127–150.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7874
G. Engels and L. Groenewegen, “Object-Oriented Modeling - A Roadmap,” in Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), 2000, pp. 103–116.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7875
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7876
J. Hendrik Hausmann, “Graphtransitionsregeln zur Beschreibung der Semantik von UML,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000, pp. 103–107.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7877
K. Mehner and A. Wagner, “Visualizing the Synchronization of Java-Threads with UML,” in Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), 2000, pp. 199–206.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7878
R. Depke, R. Heckel, and J. Küster, “Integrating visual modeling of agent-based and object-oriented systems,” in Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain), 2000, pp. 82–83.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8124
S. Krauter and R. G. Araujo, “New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. , 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8125
S. Krauter and H. Herold, “PV in Brazil,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2909–2911, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8126
S. Krauter, “Sistemas híbridos termo-solares/fotovoltaicos.,” in Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000., 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8207
R. Depke, G. Engels, and J. Küster, On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science, 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8208
R. Depke, R. Heckel, and J. Küster, Modeling Agent-Based Systems with Graph Transformation. University of Paderborn, Department of Computer Science, 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8209
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views. 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 8210
K. Mehner and A. Wagner, Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen. University of Saarbrücken, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8329
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8330
R. Depke, R. Heckel, and J. Küster, “Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design,” in Proceedings of the workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8331
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency of Double-Pullback Graph Transitions,” in Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8332
G. Busatto, G. Engels, K. Mehner, and A. Wagner, “A Framework for Adding Packages to Graph Transformation Approaches,” in Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), 2000, vol. 1764, pp. 352–367.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8333
A. Corradini, R. Heckel, and U. Montanari, “Graphical Operational Semantics,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 411–418.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8334
R. Depke and R. Heckel, “Towards Role-based Modeling of Autonomous Agents,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8335
R. Depke, R. Heckel, and J. Küster, “Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML,” in Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
R. Depke, R. Heckel, and J. Küster, “Deploying Agents in an Electronic Banking Environment,” in Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8337
R. Depke, R. Heckel, and J. Küster, “Rollenbasierte Modellierung autonomer Agenten,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
R. Depke and R. Heckel, “Formalizing the Development of Agent-Based Systems Using Graph Processes,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 419–426.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8339
G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6012
M. Frank, D. Kundisch, and A. Schell, “Elektronischer Vertrieb von Dienstleistungen: Optimaler Serverstandort als Warehouse Location Problem,” in Tagungsband Multikonferenz Wirtschaftsinformatik (MKWI), Siegen, Germany, 2000, pp. 208–222.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 6013
H. U. Buhl, D. Kundisch, A. Leinfelder, and W. Steck, “IT-Enabled Sophistication Banking,” in Proceedings of the 8th European Conference on Information Systems 2000 (ECIS), Vienna, Austria, 2000, vol. 2, pp. 789–795.
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed