Search dblp for Publications

export results for "toc:db/conf/sofsem/sofsem2008srf.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sofsem/000208,
  author       = {Pavel Moravec},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Approximations of state spaces reduced by partial order reduction},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {78--90},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 12:12:56 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/000208.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/BartalosB08,
  author       = {Peter Bartalos and
                  M{\'{a}}ria Bielikov{\'{a}}},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {{(S)CRUD} pattern support for semantic web applications},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {10--21},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/BartalosB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/BerendKZ08,
  author       = {Daniel Berend and
                  Ephraim Korach and
                  Shira Zucker},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Tabu search for the {BWC} problem},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {22--33},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/BerendKZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/CilleroLBFP08,
  author       = {Yolanda Cillero and
                  Susana Ladra and
                  Nieves R. Brisaboa and
                  Antonio Fari{\~{n}}a and
                  Oscar Pedreira},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Implementing byte-oriented rank and select operations},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {34--45},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/CilleroLBFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/GulanF08,
  author       = {Stefan Gulan and
                  Henning Fernau},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Local elimination-strategies in automata for shorter regular expressions},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {46--57},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/GulanF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/Katreniakova08,
  author       = {Jana Katreniakov{\'{a}}},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Mental map preserving cluster expansion},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {58--69},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/Katreniakova08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/KatrenicS08,
  author       = {J{\'{a}}n Katrenic and
                  Gabriel Semanisin},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Complexity of ascent finding problem},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {70--77},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/KatrenicS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/Ramik08,
  author       = {Dominik Ram{\'{\i}}k},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Extensible modular neural network based system for human face recognition
                  with filtering of similar faces},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {91--100},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/Ramik08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/SmrzSKZ08,
  author       = {Pavel Smrz and
                  Jana Silhav{\'{a}} and
                  Jir{\'{\i}} Kl{\'{e}}ma and
                  Filip Zelezn{\'{y}}},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Gene expression data mining guided by genomic background knowledge},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {101--111},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/SmrzSKZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/SpanekRL08,
  author       = {Roman Spanek and
                  Martin Rimnac and
                  Zdenka Linkova},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {On creating a trusted and distributed data source environment},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {112--123},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/SpanekRL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/Suchal08,
  author       = {J{\'{a}}n Suchal},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {On finding power method in spreading activation search},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {124--130},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/Suchal08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/Wagner08,
  author       = {Fabian Wagner},
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {Hardness results for isomorphism and automorphism of bounded valence
                  graphs},
  booktitle    = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  pages        = {131--140},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/Wagner08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sofsem/2008-2,
  editor       = {Viliam Geffert and
                  Juhani Karhum{\"{a}}ki and
                  Alberto Bertoni and
                  Bart Preneel and
                  Pavol N{\'{a}}vrat and
                  M{\'{a}}ria Bielikov{\'{a}}},
  title        = {{SOFSEM} 2008: Theory and Practice of Computer Science, 34th Conference
                  on Current Trends in Theory and Practice of Computer Science, Nov{\'{y}}
                  Smokovec, Slovakia, January 19-25, 2008, Volume {II} - Student Research
                  Forum},
  publisher    = {Safarik University, Kosice, Slovakia},
  year         = {2008},
  isbn         = {978-80-7097-697-5},
  timestamp    = {Tue, 25 Nov 2008 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/2008-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.