%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Juliane Dehnert", %%% version = "1.06", %%% date = "13 October 2017", %%% time = "15:51:22 MDT", %%% filename = "dehnert-juliane.bib", %%% address = "Technical University Berlin %%% Fachbereich 13, Informatik %%% Institute for Computation and Information Structures %%% Sekr. E-N 7 %%% Einsteinufer 17 %%% D-10587 Berlin %%% Germany", %%% telephone = "49-30-314 79463", %%% FAX = "+49-30-314 21 601", %%% URL = "http://www.cis.cs.tu-berlin.de/~dehnert/", %%% checksum = "09287 282 1103 11982", %%% email = "dehnert at cs.tu-berlin.de (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "bibliography, BibTeX", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% Juliane Dehnert. The companion LaTeX file %%% dehnert-juliane.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.06, the year coverage looked %%% like this: %%% %%% 2000 ( 3) 2002 ( 1) %%% 2001 ( 6) 2003 ( 1) %%% %%% Article: 1 %%% InCollection: 2 %%% InProceedings: 5 %%% Proceedings: 2 %%% TechReport: 1 %%% %%% Total entries: 11 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %%% ==================================================================== %%% Journal abbreviations: @String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-SV = "Springer-Verlag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} %%% ==================================================================== %%% Series abbreviations: @String{ser-LNCS = "Lecture Notes in Computer Science"} %%% ==================================================================== %%% Bibliography entries: @InProceedings{Dehnert:2000:MPE, author = "J. Dehnert and A. Freiheit and A. Zimmermann", booktitle = "Proc. 4th. World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Orlando, Florida", title = "Modeling and Performance Evaluation of Workflow Systems", volume = "VIII", pages = "632--637", year = "2000", bibdate = "Wed Sep 28 08:57:41 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", acknowledgement = ack-nhfb, } @InProceedings{Dehnert:2000:WMP, author = "J. Dehnert and A. Freiheit and A. Zimmermann", booktitle = "{Bringing Knowledge to Business Processes, Workshop in the American Association for Artificial Intelligence ({AAAI}) Spring Symposium Series 2000}", title = "Workflow Modeling and Performance Evaluation with Colored Stochastic {Petri} Nets", pages = "139--141", year = "2000", bibdate = "Wed Sep 28 08:57:41 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", acknowledgement = ack-nhfb, } @TechReport{Derks:2000:CAS, author = "Wijnand Derks and Juliane Dehnert and Paul Grefen and Willem Jonker", title = "Customized atomicity specification for transactional workflow", type = "CTIT Technical Report", number = "00-24", institution = "University of Twente", address = "Enschede, The Netherlands", year = "2000", bibdate = "Wed Sep 28 08:57:41 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", acknowledgement = ack-nhfb, } @Article{Dehnert:2001:ECB, author = "Juliane Dehnert", title = "Expressing the Controllability of Business Processes", journal = "Petri Net Newsletter", volume = "61", pages = "9--17", year = "2001", CODEN = "????", ISSN = "????", bibdate = "Wed Sep 28 08:57:41 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", note = "Column: Refereed Technical Contribution", acknowledgement = ack-nhfb, } @InProceedings{Dehnert:2001:FSS, author = "J. Dehnert", editor = "H. Weber and H. Ehrig and W. Reisig", booktitle = "2nd Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems", title = "Four Systematic Steps Towards Sound Business Process Models", publisher = "Fraunhofer Gesellschaft ISST", address = "????", pages = "55--64", month = sep, year = "2001", bibdate = "Wed Sep 28 08:57:41 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", acknowledgement = ack-nhfb, } @InProceedings{Dehnert:2001:RSB, author = "J. Dehnert and P. Rittgen", title = "Relaxed Soundness of Business Processes", crossref = "Dittrich:2001:AIS", pages = "157--170", year = "2001", bibdate = "Thu Mar 21 09:55:27 MST 2002", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2068/20680157.htm; http://link.springer-ny.com/link/service/series/0558/papers/2068/20680157.pdf", acknowledgement = ack-nhfb, } @InProceedings{Derks:2001:CAS, author = "Wijnand Derks and Juliane Dehnert and Paul Grefen and Willem Jonker", title = "Customized Atomicity Specification for Transactional Workflow", crossref = "Lu:2001:PTI", pages = "140--147", year = "2001", bibdate = "Wed Sep 28 08:57:41 2011", bibsource = "http://www.math.utah.edu/pub/tex/bib/lncs.bib; http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", acknowledgement = ack-nhfb, } @InCollection{Dehnert:2002:NCC, author = "Juliane Dehnert", booktitle = "Application and theory of {Petri} nets 2002", title = "Non-controllable choice robustness expressing the controllability of workflow processes", volume = "2360", publisher = pub-SV, address = pub-SV:adr, pages = "121--141", year = "2002", MRclass = "Database Expansion Item", MRnumber = "2051817", bibdate = "Wed Sep 28 08:55:55 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", series = j-LECT-NOTES-COMP-SCI, URL = "http://link.springer-ny.com/link/service/series/0558/bibs/2360/23600121.htm; http://link.springer-ny.com/link/service/series/0558/papers/2360/23600121.pdf", acknowledgement = ack-nhfb, } @InCollection{Eshuis:2003:RPN, author = "Rik Eshuis and Juliane Dehnert", booktitle = "Applications and theory of {Petri} nets 2003", title = "Reactive {Petri} nets for workflow modeling", volume = "2679", publisher = pub-SV, address = pub-SV:adr, pages = "296--315", year = "2003", DOI = "https://doi.org/10.1007/3-540-44919-1_20", MRclass = "Database Expansion Item", MRnumber = "2050777", bibdate = "Wed Sep 28 08:55:55 2011", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", series = j-LECT-NOTES-COMP-SCI, acknowledgement = ack-nhfb, } %%% ==================================================================== %%% Cross-referenced entries must come last: @Proceedings{Dittrich:2001:AIS, editor = "Klaus R. Dittrich and Andreas Geppert and Moira C. Norrie", booktitle = "Advanced information systems engineering: 13th international conference, {CAiSE} 2001, Interlaken, Switzerland, June 4--8, 2001: proceedings", title = "Advanced information systems engineering: 13th international conference, {CAiSE} 2001, Interlaken, Switzerland, June 4--8, 2001: proceedings", volume = "2068", publisher = pub-SV, address = pub-SV:adr, pages = "xii + 484", year = "2001", ISBN = "3-540-42215-3 (paperback)", ISBN-13 = "978-3-540-42215-0 (paperback)", LCCN = "QA76.758 .C33 2001", bibdate = "Thu Jan 17 11:49:19 MST 2002", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", series = ser-LNCS, URL = "http://link.springer-ny.com/link/service/series/0558/tocs/t2068.htm", acknowledgement = ack-nhfb, keywords = "computer-aided software engineering -- congresses; systems engineering -- congresses", } @Proceedings{Lu:2001:PTI, editor = "Hongjun Lu and others", booktitle = "The proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications: CODAS 2001, Beijing, China, April 23--24, 2001", title = "The proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications: {CODAS} 2001, Beijing, China, April 23--24, 2001", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "x + 200", year = "2001", ISBN = "0-7695-1128-7, 0-7695-1129-5 (case), 0-7695-1130-9 (microfiche)", ISBN-13 = "978-0-7695-1128-3, 978-0-7695-1129-0 (case), 978-0-7695-1130-6 (microfiche)", LCCN = "????", bibdate = "Thu Mar 21 09:59:26 2002", bibsource = "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib", acknowledgement = ack-nhfb, } %% Last MathSciNet database search: Wed Sep 28 08:58:44 2011 [years 1970--2012] .