I agree that this site is using cookies. You can find further informations here.
X
Herbstritt, Marc
21  results:
Search for persons X
?
1

Workflows zur Bereitstellung von Zeitschriftenartikeln auf ..:

Vierkant, Paul ; Siegert, Olaf ; Deinzer, Gernot...
o-bib: Das offene Bibliotheksjournal.  4 (2017)  1 - p. 151-169 , 2017
Link: https://doi.org/10.5282/..
 
?
2

Advanced Agent-Based Environmental Management Systems 

Whitestein Series in Software Agent Technologies and Autonomic Computing;SpringerLink, Bücher
Calisti, Monique ; Brantschen, Stefan ; Herbstritt, Marc... , 2009
Link: http://dx.doi.org/10.100..
 
?
3

Emerging Web Services Technology, Volume II 

Whitestein Series in Software Agent Technologies and Autonomic Computing;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Calisti, Monique ; Brantschen, Stefan ; Herbstritt, Marc... , 2008
Link: http://dx.doi.org/10.100..
 
?
4

CASCOM: Intelligent Service Coordination in the Semantic We 

Whitestein Series in Software Agent Technologies and Autonomic Computing;SpringerLink, Bücher
Calisti, Monique ; Brantschen, Stefan ; Helin, Helkki... , 2008
Link: http://dx.doi.org/10.100..
 
?
5

Bidding Strategies in Agent-Based Continuous Double Auction 

Whitestein Series in Software Agent Technologies and Autonomic Computing;SpringerLink, Bücher
Brantschen, Stefan ; Calisti, Monique ; Herbstritt, Marc.. , 2008
Link: http://dx.doi.org/10.100..
 
?
6

Optimization techniques for BDD-based bisimulation computat..:

, In: Proceedings of the 17th ACM Great Lakes symposium on VLSI,
Wimmer, Ralf ; Herbstritt, Marc ; Becker, Bernd - p. 405-410 , 2007
Link: https://dl.acm.org/doi/1..
 
?
7

Bounded Model Checking with Parametric Data Structures:

Ábrahám, Erika ; Herbstritt, Marc ; Becker, Bernd.
Electronic Notes in Theoretical Computer Science.  174 (2007)  3 - p. 3-16 , 2007
Link: https://doi.org/10.1016/..
 
?
8

Circuit partitioning for SAT-based combinational circuit ve.. 

a case study  Report / Albert-Ludwigs-University, Institute of Computer Science ; 206
Herbstritt, Marc ; Kmieciak, Thomas ; Becker, Bernd , 2004
Link: http://edok01.tib.uni-ha..
 
?
9

zChaff: modifications and extensions 

Technical report / Albert-Ludwigs-University, Institute of Computer Science ; 188
Herbstritt, Marc , 2003
Link: http://edok01.tib.uni-ha..
 
?
10

Exploiting don't cares to minimize *BMDs 

[Technical report / Universität Freiburg, Institut für Informatik ; 141]
Scholl, Christoph ; Herbstritt, Marc ; Becker, Bernd - [Elektronische Ressource] . , 2000
Link: http://edok01.tib.uni-ha..
 
?
11

Workflows zur Bereitstellung von Zeitschriftenartikeln auf ..:

Vierkant, Paul ; Siegert, Olaf ; Deinzer, Gernot...
info:eu-repo/semantics/altIdentifier/issn/2363-9814.  , 2017
Link: https://bib-pubdb1.desy...
 
?
12

Workflows zur Bereitstellung von Zeitschriftenartikeln auf ..:

Vierkant, Paul ; Siegert, Olaf ; Deinzer, Gernot...
https://www.o-bib.de/bib/article/view/2017H1S151-169/5731.  , 2017
Link: https://www.o-bib.de/bib..
 
?
13

Workflows zur Bereitstellung von Zeitschriftenartikeln auf ..:

Vierkant, Paul ; Siegert, Olaf ; Deinzer, Gernot...
info:eu-repo/semantics/altIdentifier/doi/10.5282/o-bib/2017H1S151-169.  , 2017
Link: https://publikationen.bi..
 
?
14

LIPIcs : an Open-Access Series for International Conference..:

Herbstritt, Marc ; Thomas, Wolfgang
info:eu-repo/semantics/altIdentifier/wos/WOS:000392518500006.  , 2016
Link: https://publications.rwt..
 
?
15

Publication Culture in Computing Research (Dagstuhl Perspec..:

Mehlhorn, Kurt ; Vardi, Moshe Y ; Herbstritt, Marc
doi:10.4230/DagRep.2.11.20.  , 2013
Link: https://doi.org/10.4230/..
 
1-15