Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Wolfram Schulte" ( http://dblp.L3S.de/Authors/Wolfram_Schulte )

URL (Homepage):  http://research.microsoft.com/~schulte/  Author page on DBLP  Author page in RDF  Community of Wolfram Schulte in ASPL-2

Publication years (Num. hits)
1991-2000 (19) 2001-2005 (25) 2006-2008 (25) 2009-2010 (23) 2011 (5)
Publication types (Num. hits)
article(22) inproceedings(73) proceedings(2)
Venues (Conferences, Journals, ...)
Abstract State Machines(4) Electr. Notes Theor. Comput. S...(4) ESEC/SIGSOFT FSE(4) AMAST(3) FORTE(3) ICFEM(3) IEEE Software(3) ISSTA(3) ASE(2) Ershov Memorial Conference(2) FASE(2) FM(2) ICECCS(2) ICSE Companion(2) Journal of Object Technology(2) OOPSLA(2) More (+10 of total 66)
Authors
Wolfram Schulte(97) Nikolai Tillmann(26) Margus Veanes(12) Jonathan de Halleux(10) Michael Barnett(10) Wolfgang Grieskamp(10) Tao Xie(8) Ethan K. Jackson(7) K. Rustan M. Leino(7) Michal Moskal(7) Bart Jacobs 0002(6) Frank Piessens(6) Yuri Gurevich(6) Colin Campbell(5) Egon Börger(5) Jan Smans(5) More (+10 of total 93)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 58 occurrences of 47 keywords
Results
Found 97 publication records. Showing 97 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Victor Pankratius, Wolfram Schulte, Kurt Keutzer Guest Editors' Introduction: Parallelism on the Desktop. Search on Bibsonomy IEEE Software The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter Specification and verification: the Spec# experience. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte Canonical Regular Types. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte, Ethan K. Jackson Finding Models in Model-Based Development - (Abstract). Search on Bibsonomy MoDELS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Butler, Wolfram Schulte (eds.) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte Automatic verification of Java programs with dynamic frames. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Grigore Rosu, Chucky Ellison, Wolfram Schulte Matching Logic: An Alternative to Hoare/Floyd Logic. Search on Bibsonomy AMAST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai Reusing Model Transformations While Preserving Properties. Search on Bibsonomy FASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter SPUR: a trace-based JIT compiler for CIL. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte Teaching and training developer-testing techniques and tool support. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies Local Verification of Global Invariants in Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Eunsuk Kang, Ethan K. Jackson, Wolfram Schulte An Approach for Effective Design Space Exploration. Search on Bibsonomy Monterey Workshop The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte Future of developer testing: building quality in code. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte Symbolic Bounded Model Checking of Abstract State Machines. Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2009 DBLP  BibTeX  RDF
1Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte A Precise Yet Efficient Memory Model For C. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matko Botincan, Matthew J. Parkinson, Wolfram Schulte Separation Logic Verification of C Programs with an SMT Solver. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta Runtime Verification of C Memory Safety. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev Invariants, Modularity, and Rights. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF string generation, test generation, dynamic symbolic execution
1Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte Specifying and Composing Non-functional Requirements in Model-Based Development. Search on Bibsonomy Software Composition The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte Fitness-guided path exploration in dynamic symbolic execution. Search on Bibsonomy DSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies VCC: A Practical System for Verifying Concurrent C. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Daan Leijen, Wolfram Schulte, Sebastian Burckhardt The design of a task parallel library. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF duplicating queue, parallelism, domain specific languages, work stealing
1Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte Guided path exploration for regression test generation. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte An Empirical Study of Testing File-System-Dependent Software with Mock Objects. Search on Bibsonomy AST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte VCC: Contract-based modular verification of concurrent C. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte MSeqGen: object-oriented unit-test generation via mining source code. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF sequence mining, object-oriented testing
1Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin Automating Software Testing Using Program Analysis. Search on Bibsonomy IEEE Software The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. Search on Bibsonomy Journal of Object Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte A programming model for concurrent object-oriented programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
1Margus Veanes, Wolfram Schulte Protocol Modeling with Model Program Composition. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ethan K. Jackson, Wolfram Schulte Model Generation for Horn Logic with Stratified Negation. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Darko Marinov, Wolfram Schulte Workshop on state-space exploration for automated testing (SSEAT 2008). Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF random exploration, genetic algorithms, model checking, symbolic execution, automated testing, constraint solving, state-space exploration
1Ethan K. Jackson, Wolfram Schulte Compositional Modeling for Data-Centric Business Applications. Search on Bibsonomy Software Composition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stefan Maus, Michal Moskal, Wolfram Schulte Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann Using Dynamic Symbolic Execution to Improve Deductive Verification. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Search on Bibsonomy Formal Methods and Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Colin Campbell, Wolfram Schulte Composition of Model Programs. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte Parameterized Unit Testing with Pex: Tutorial. Search on Bibsonomy PSSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Pex - An Intelligent Assistant for Rigorous Developer Testing. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Experiments in Verifying Low Level Concurrent C Code. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Wolfram Schulte Using History Invariants to Verify Observers. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nikolai Tillmann, Wolfram Schulte Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. Search on Bibsonomy IEEE Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF test coverage of code, formal methods, validation, symbolic execution, testing tools, test design
1Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte XRT- Exploring Runtime for .NET Architecture and Applications. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nikolai Tillmann, Feng Chen, Wolfram Schulte Discovering Likely Method Specifications. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nikolai Tillmann, Wolfram Schulte Mock-object generation with behavior. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ralf Lämmel, Wolfram Schulte Controllable Combinatorial Coverage in Grammar-Based Testing. Search on Bibsonomy TestCom The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Challenge problems in software testing. Search on Bibsonomy SOQUA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software testing, problems
1Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun Allowing State Changes in Specifications. Search on Bibsonomy ETRICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yuri Gurevich, Benjamin Rossman, Wolfram Schulte Semantic essence of AsmL. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte Safe Concurrency for Aggregate Objects with Invariants. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs 0002, K. Rustan M. Leino, Wolfram Schulte, Herman Venter The Spec# Programming System: Challenges and Directions. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Testing Concurrent Object-Oriented Systems with Spec Explorer. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. Search on Bibsonomy QSIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gavin M. Bierman, Erik Meijer, Wolfram Schulte The Essence of Data Access in Comega. Search on Bibsonomy ECOOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dean Rosenzweig, Davor Runje, Wolfram Schulte Model-Based Testing of Cryptographic Protocols. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann Online testing with model programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF conformance testing, runtime verification, interface automata
1Nikolai Tillmann, Wolfram Schulte Parameterized unit tests with unit meister. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
1Nikolai Tillmann, Wolfram Schulte Parameterized unit tests. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
1Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte Verification of Object-Oriented Programs with Invariants. Search on Bibsonomy Journal of Object Technology The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jim Davies, Wolfram Schulte, Michael Barnett (eds.) Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  BibTeX  RDF
1K. Rustan M. Leino, Wolfram Schulte Exception Safety for C#. Search on Bibsonomy SEFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp Optimal strategies for testing nondeterministic systems. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF optimal game strategies, probabilistic nondeterministic finite state machines, abstract state machines
1Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs Tool Support for the Interactive Derivation of Formally Correct Functional Programs. Search on Bibsonomy J. UCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael Barnett, Wolfram Schulte Runtime verification of .NET contracts. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yuri Gurevich, Benjamin Rossman, Wolfram Schulte Semantic Essence of AsmL. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Towards a Tool Environment for Model-Based Testing with AsmL. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Validating Use-Cases with the AsmL Test Tool. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael Barnett, Wolfram Schulte, Nikolai Tillmann Using AsmL for Runtime Verification. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes Generating finite state machines from abstract state machines. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM
1Michael Barnett, Wolfram Schulte The ABCs of specification: asml, behavior, and components. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2001 DBLP  BibTeX  RDF
1Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann Testable Use Cases in the Abstract State Machine Language. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Egon Börger, Wolfram Schulte A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
1Egon Börger, Wolfram Schulte Initialization problems for Java. Search on Bibsonomy Software - Concepts and Tools The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, Compiler, Virtual machine, Programming language
1Wolfram Schulte Why Doesn't Anyone Use Formal Methods? Search on Bibsonomy IFM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Translating Theory into Practice - Abstract State Machines within Microsoft. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Yuri Gurevich, Wolfram Schulte, Charles Wallace Investigating Java Concurrency Using Abstract State Machines. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes Using Abstract State Machines at Microsoft: A Case Study. Search on Bibsonomy Abstract State Machines The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Egon Börger, Wolfram Schulte A Programmer Friendly Modular Definition of the Semantics of Java. Search on Bibsonomy Formal Syntax and Semantics of Java The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Egon Börger, Wolfram Schulte Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Klaus Achatz, Wolfram Schulte Formale objektorientierte Softwareentwicklung mit Fox. Search on Bibsonomy Inform., Forsch. Entwickl. The full citation details ... 1997 DBLP  BibTeX  RDF
1Klaus Achatz, Wolfram Schulte A Formal OO Method Inspired by Fusion and Object-Z. Search on Bibsonomy ZUM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte, Klaus Achatz Functional Object-Oriented Programming with Object-Gofer. Search on Bibsonomy GI Jahrestagung The full citation details ... 1997 DBLP  BibTeX  RDF
1Klaus Achatz, Wolfram Schulte Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ton Vullinghs, Wolfram Schulte, Thilo Schwinn The Design of a Functional GUI Library Using Constructor Classes. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte, Thilo Schwinn, Ton Vullinghs TkGofer: A Functional GUI Library. Search on Bibsonomy AMAST The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ton Vullinghs, Daniel Tuinman, Wolfram Schulte Lightweight GUIs for Functional Programming Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Klaus Achatz, Wolfram Schulte Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms. Search on Bibsonomy MPC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Wolfram Schulte Erfahrungen bei der Gestaltung eines Software-Grundpraktikums. Search on Bibsonomy SEUH The full citation details ... 1995 DBLP  BibTeX  RDF
1Wolfram Schulte Deriving Residual Reference Count Garbage Collectors. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF applicative languages, transformational program development, optimization, garbage collection, storage management, reference counts
1Wolfram Schulte, Wolfgang Grieskamp Generating Efficient Portable Code for a Strict Applicative Language. Search on Bibsonomy Declarative Programming The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #97 of 97 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.