Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/asm/asm2004.bht:"
download as .bib file
@inproceedings{DBLP:conf/asm/Bussche04,
author = {Jan Van den Bussche},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Finite Cursor Machines in Database Query Processing},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {61},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_5},
doi = {10.1007/978-3-540-24773-9\_5},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Bussche04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/CavarraK04,
author = {Alessandra Cavarra and
Juliana K{\"{u}}ster Filipe},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Formalizing Liveness-Enriched Sequence Diagrams Using ASMs},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {62--77},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_6},
doi = {10.1007/978-3-540-24773-9\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/CavarraK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FarahbodGV04,
author = {Roozbeh Farahbod and
Uwe Gl{\"{a}}sser and
Mona Vajihollahi},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Specification and Validation of the Business Process Execution Language
for Web Services},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {78--94},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_7},
doi = {10.1007/978-3-540-24773-9\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FarahbodGV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/FisherL04,
author = {Michael Fisher and
Alexei Lisitsa},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Monodic ASMs and Temporal Verification},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {95--110},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_8},
doi = {10.1007/978-3-540-24773-9\_8},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/FisherL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Fruja04,
author = {Nicu G. Fruja},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Specification and Implementation Problems for C{\#}},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {127--143},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_10},
doi = {10.1007/978-3-540-24773-9\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Fruja04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Glesner04,
author = {Sabine Glesner},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An {ASM} Semantics for {SSA} Intermediate Representations},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {144--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_11},
doi = {10.1007/978-3-540-24773-9\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Glesner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Gurevich04,
author = {Yuri Gurevich},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Intra-step Interaction},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {1--5},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_1},
doi = {10.1007/978-3-540-24773-9\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Gurevich04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichY04,
author = {Yuri Gurevich and
Rostislav Yavorskiy},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Observations on the Decidability of Transitions},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {161--168},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_12},
doi = {10.1007/978-3-540-24773-9\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/GurevichY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Hanisch04,
author = {Hans{-}Michael Hanisch},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Closed-Loop Modeling and Related Problems of Embedded Control Systems
in Engineering},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {6--19},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_2},
doi = {10.1007/978-3-540-24773-9\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Hanisch04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Langmaack04,
author = {Hans Langmaack},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An ALGOL-View on Turbo {ASM}},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {20--37},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_3},
doi = {10.1007/978-3-540-24773-9\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Langmaack04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/NanchenS04,
author = {Stanislas Nanchen and
Robert F. St{\"{a}}rk},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {A Security Logic for Abstract State Machines},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {169--185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_13},
doi = {10.1007/978-3-540-24773-9\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/NanchenS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Nowack04,
author = {Antje Nowack},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Slicing Abstract State Machines},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {186--201},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_14},
doi = {10.1007/978-3-540-24773-9\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Nowack04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RiccobeneS04,
author = {Elvinia Riccobene and
Patrizia Scandurra},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Towards an Interchange Language for ASMs},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {111--126},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_9},
doi = {10.1007/978-3-540-24773-9\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RiccobeneS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/RosenzweigR04,
author = {Dean Rosenzweig and
Davor Runje},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {The Cryptographic Abstract Machine},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {202--217},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_15},
doi = {10.1007/978-3-540-24773-9\_15},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/RosenzweigR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Rust04,
author = {Heinrich Rust},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard
Reals},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {218--233},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_16},
doi = {10.1007/978-3-540-24773-9\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/Rust04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/StarkB04,
author = {Robert F. St{\"{a}}rk and
Egon B{\"{o}}rger},
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {An {ASM} Specification of C{\#} Threads and the .NET Memory Model},
booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
pages = {38--60},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24773-9\_4},
doi = {10.1007/978-3-540-24773-9\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/StarkB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2004,
editor = {Wolf Zimmermann and
Bernhard Thalheim},
title = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
International Workshop, {ASM} 2004, Lutherstadt Wittenberg, Germany,
May 24-28, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3052},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b98118},
doi = {10.1007/B98118},
isbn = {3-540-22094-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-01 00:26 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
