Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | MyeongGyu Jeong, Toru Nakura, Makoto Ikeda, Kunihiro Asada |
Moebius circuit: dual-rail dynamic logic for logic gate level pipeline with error gate search feature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009, pp. 177-180, 2009, ACM, 978-1-60558-522-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dcvsl, high speed digital, pipeline, error detect, soft error |
57 | Robert W. Zoellner, John F. Krebs, David M. Browne |
Violently Twisted and Strained Organic Molecules: A Descriptor System for Simple Coronoid Aromatics with a Moebius Half-Twist and Semiempirical Calculations on the Moebius Analogs of Coronene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 34(2), pp. 252-258, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Lokshtanov, Jesper Nederlof |
Saving space by algebraization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 321-330, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
moebius, dynamic programming, space efficient, fourier |
34 | Felix Moebius, Tobias Pfandzelter, David Bermbach |
Are Unikernels Ready for Serverless on the Edge? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.00515, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
34 | Said el Bouhaddani, Matthias Höllerhage, Hae-Won Uh, Claudia Moebius, Marc Bickle, Günter U. Höglinger, Jeanine J. Houwing-Duistermaat |
Statistical integration of multi-omics and drug screening data from cell lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 20(1), January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
34 | Max Moebius, Maximilian Enderling, Sarah T. Bachinger |
Jean-Luc Picard at Touché 2023: Comparing Image Generation, Stance Detection and Feature Matching for Image Retrieval for Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.09172, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
34 | Max Moebius, Maximilian Enderling, Sarah T. Bachinger |
Jean-Luc Picard at Touché 2023: Comparing Image Generation, Stance Detection and Feature Matching for Image Retrieval for Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2023), Thessaloniki, Greece, September 18th to 21st, 2023., pp. 3111-3118, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
34 | Wilhelm Hasselbring, Sören Henning, Björn Latte, Armin Moebius, Thomas Richter, Stefani Schalk, Maik Wojcieszak |
Industrial DevOps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSA Companion ![In: IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, pp. 123-126, 2019, IEEE, 978-1-7281-1876-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Shai Sela, Harold Mathijs van Es, Bianca N. Moebius-Clune, Rebecca Marjerison, Greg Kneubuhler |
Dynamic model-based recommendations increase the precision and sustainability of N fertilization in midwestern US maize production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 153, pp. 256-265, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Armin Moebius, Sven Ulrich |
Improving Kieker′s Scalability by Employing Linked Read- Optimized and Write-Optimized NoSQL Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 36(4), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
34 | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
Formal verification of QVT transformations for code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 14(2), pp. 981-1002, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct Software in Web Applications and Web Services ![In: Correct Software in Web Applications and Web Services, pp. 45-81, 2015, Springer, 978-3-319-17111-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif |
Modeling test cases for security protocols with SecureMDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 58, pp. 99-111, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Security requirements formalized with OCL in a model-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE ![In: International Workshop on Model-Driven Requirements Engineering, MoDRE 2013, Rio de Janeiro, Brasil, July 15, 2013, pp. 65-73, 2013, IEEE Computer Society, 978-1-4799-0946-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Model Checking of Security-Critical Applications in a Model-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings, pp. 76-90, 2013, Springer, 978-3-642-40560-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Nina Moebius |
Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
34 | Wolfgang Menzel, Arnold Moebius |
Antenna Concepts for Millimeter-Wave Automotive Radar Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 100(7), pp. 2372-2379, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif |
Model-Driven Testing of Security Protocols with SecureMDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NTMS ![In: 5th International Conference on New Technologies, Mobility and Security, Istanbul, Turkey, NTMS 2012, May 7-10, 2012, pp. 1-5, 2012, IEEE, 978-1-4673-0229-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Model-Driven Development of Secure Service Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012, pp. 62-71, 2012, IEEE Computer Society, 978-1-4673-5574-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif |
Incremental development of large, secure smart card applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDsec@MoDELS ![In: Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS 2012, Innsbruck, Austria, October 1, 2012, pp. 9, 2012, ACM, 978-1-4503-1806-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif |
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DPM/SETOP ![In: Data Privacy Management and Autonomous Spontaneous Security, 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers, pp. 174-186, 2012, Springer, 978-3-642-35889-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
34 | Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert |
A cryptographically t-private auction system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 23(12), pp. 1399-1413, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
Mondex: Engineering a Provable Secure Electronic Purse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Informatics ![In: Int. J. Softw. Informatics 5(1-2), pp. 159-184, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
34 | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
Formal Verification of QVT Transformations for Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, pp. 533-547, 2011, Springer, 978-3-642-24484-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
34 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Pitfalls in Formal Reasoning about Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland, pp. 248-253, 2010, IEEE Computer Society, 978-0-7695-3965-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
formal verification, security protocols |
34 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSoS ![In: Engineering Secure Software and Systems, Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings, pp. 166-181, 2010, Springer, 978-3-642-11746-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
34 | Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif |
Model-Driven Code Generation for Secure Smart Card Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia, pp. 44-53, 2009, IEEE Computer Society, 978-0-7695-3599-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif |
SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 841-846, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius, Wolfgang Reif |
A Systematic Verification Approach for Mondex Electronic Purses Using ASMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rigorous Methods for Software Construction and Analysis ![In: Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, pp. 93-110, 2009, Springer, 978-3-642-11446-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert |
A Cryptographically t-Private Auction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSS ![In: Third International Conference on Network and System Security, NSS 2009, Gold Coast, Queensland, Australia, October 19-21, 2009, pp. 44-51, 2009, IEEE Computer Society, 978-0-7695-3838-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multiparty private computation, garbled circuits, private auctions |
34 | Nina Moebius, Kurt Stenzel, Wolfgang Reif |
Generating formal specifications for security-critical applications - A model-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS@ICSE ![In: ICSE Workshop on Software Engineering for Secure Systems, SESS 2009, Vancouver, BC, Canada, May 19, 2009, pp. 68-74, 2009, IEEE Computer Society, 978-1-4244-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Martin Steinebach, Christoph Moebius, Huajian Liu |
Bildforensische Verfahren zur Unterstützung von Wasserzeichendetektion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sicherheit ![In: Sicherheit 2008: Sicherheit, Schutz und Zuverlässigkeit. Konferenzband der 4. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 2.-4. April 2008 im Saarbrücker Schloss., pp. 205-217, 2008, GI, 978-3-88579-222-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
34 | Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn |
A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 8, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Jörg Moebius |
Ein Verfahren zur Erkennung des Straßenverlaufs im Fahrerdisplay durch Texturanalyse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM-Symposium ![In: Mustererkennung 1986, 8. DAGM-Symposium, Paderborn 30. September - 2. Oktober 1986, Proceedings, pp. 176-180, 1986, Springer, 3-540-16812-5. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
28 | Shir Rorberg, Amir Vaxman, Mirela Ben-Chen |
BPM: Blended Piecewise Moebius Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.12792, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Junyoung Jang 0001, Samuel Gélineau, Stefan Monnier, Brigitte Pientka |
Moebius: Metaprogramming using Contextual Types - The stage where System F can pattern match on itself (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.08099, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
28 | Olivier Ramaré |
Corrigendum to Explicit estimates on several summatory functions involving the Moebius function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 88(319), pp. 2383-2388, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Akhilesh P., Olivier Ramaré |
Tail Of A Moebius Sum With Coprimality Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 18, pp. A4, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Vladimir V. Kisil |
Lectures on Moebius-Lie Geometry and its Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.10499, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
28 | Leonardo Souto Ferreira, Leonardo Sacht, Luiz Velho 0001 |
Local Moebius transformations applied to omnidirectional images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. ![In: Comput. Graph. 68, pp. 77-83, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Alexander V. Evako |
Structure of a Parabolic Partial Differential Equation on Graphs and Digital spaces. Solution of PDE on Digital Spaces: a Klein Bottle, a Projective Plane, a 4D Sphere and a Moebius Band. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.05232, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Alexander V. Evako |
Graph Theoretical Models of Closed n-Dimensional Manifolds: Digital Models of a Moebius Strip, a Torus, a Projective Plane a Klein Bottle and n-Dimensional Spheres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.01532, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
28 | Alexander V. Evako |
Parabolic equations on digital spaces. Solutions on the digital Moebius strip and the digital projective plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.08109, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
28 | Olivier Ramaré |
Explicit estimates on several summatory functions involving the Moebius function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 84(293), pp. 1359-1387, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Ya. G. Sinai |
Statistical properties of the Moebius function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 74(10), pp. 1607-1613, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Tomás Kroupa |
MV-Algebraic Moebius Transform on the Vietoris Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACL ![In: TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013, pp. 129-132, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Fernando Auil |
An Algorithm to Generate Square-Free Numbers and to Compute the Moebius Function ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.4563, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
28 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Trimmed Moebius Inversion and Graphs of Bounded Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 47(3), pp. 637-654, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Anita Pasotti |
Constructions for cyclic Moebius ladder systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 310(22), pp. 3080-3087, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Trimmed Moebius Inversion and Graphs of Bounded Degree ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.2834, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
28 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Trimmed Moebius Inversion and Graphs of Bounded Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings, pp. 85-96, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Kai Lampka, S. Harwarth, Markus Siegle |
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 78, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Paavo Kukkurainen |
Level Sets as a Topological Base Applied to Subgroups of a Group of Moebius Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Adv. Comput. Intell. Intell. Informatics ![In: J. Adv. Comput. Intell. Intell. Informatics 9(5), pp. 511-513, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Petr Gajdos, Daniela Duráková |
Object order based on concept analysis and Moebius Inversion Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EJC ![In: Information Modelling and Knowledge Bases XVII, 15th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2005), Tallinn, Estonia, May 16-20, 2005, pp. 38-49, 2005, IOS Press, 978-1-58603-591-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Petr Gajdos, Václav Snásel |
Concepts Valuation by Conjugate Moebius Inverse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATESO ![In: Proceedings of the Dateso 2004 Annual International Workshop on DAtabases, TExts, Specifications and Objects, Desna, Czech Republic, April 14-16, 2004, pp. 74-83, 2004, CEUR-WS.org, 80-248-0457-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Paavo Kukkurainen |
Fuzzy subgroups applied to subgroups of the group of Moebius transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, Zittau, Germany, September 10-12, 2003, pp. 239-241, 2003, University of Applied Sciences at Zittau/Görlitz, Germany, 3-9808089-4-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
28 | Jan Cz. Dobrowolski |
On the Belt and Moebius Isomers of the Coronene Molecule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Comput. Sci. ![In: J. Chem. Inf. Comput. Sci. 42(3), pp. 490-499, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Marshall W. Bern, David Eppstein |
Moebius-Invariant Natural Neighbor Interpolation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CG/0207081, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
28 | Anthony J. Dyson, Claus Eikemeier, Serge Reichlin, Nicolas Lienert, Andy Liyanage, Hans Rudolf Fischer, Christoph Beglinger |
Das MOEBIUS-Projekt: Einsatz moderner Kommunikationstechnologien in der Medizin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HMD Prax. Wirtsch. ![In: HMD Prax. Wirtsch. 220, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Marshall W. Bern, David Eppstein |
Optimal Moebius Transformations for Information Visualization and Meshing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.CG/0101006, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Daniel D. Deavours |
Formal Specification of the Moebius Modeling Framework ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
28 | Victor Wong |
Moebius: the city of fire. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Electronic Art and Animation Catalog ![In: Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1999, Los Angeles, CA, USA, August 8-13, 1999, Electronic Art and Animation Catalog, pp. 164, 1999, ACM, 1-58113-104-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Fabio Cuzzolin |
Alternative Formulations of the Theory of Evidence Based on Basic Plausibility and Commonality Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 91-102, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Daniel Boissonnat, Pooran Memari |
Shape reconstruction from unorganized cross-sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Geometry Processing ![In: Proceedings of the Fifth Eurographics Symposium on Geometry Processing, Barcelona, Spain, July 4-6, 2007, pp. 89-98, 2007, Eurographics Association, 978-3-905673-46-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Boris Katz, Gary C. Borchardt, Sue Felshin, Federico Mora |
Harnessing Language in Mobile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), September 17-19, 2007, Irvine, California, USA, pp. 421-428, 2007, IEEE Computer Society, 0-7695-2997-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Hongdong Li, Richard I. Hartley, Hans Burkhardt |
Discrete Conformal Shape Representation and Reconstruction of 3D Mesh Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAP ![In: Image Analysis and Processing - ICIAP 2005, 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings, pp. 535-542, 2005, Springer, 3-540-28869-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | W. Kimmerle, E. Kouzoudi |
Doubly Transitive Automorphism Groups of Combinatorial Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 29(3), pp. 445-457, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Martin Göbel, Igor N. Nikitin, Stanislav V. Klimenko, Lialia Nikitina |
Topological Zoo: Mathematical Visualization in Virtual Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 27th EUROMICRO Conference 2001: A Net Odyssey, 4-6 September 2001, Warsaw, Poland, pp. 420-426, 2001, IEEE Computer Society, 0-7695-1236-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|