Search results for "moebius"

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.	ACM Great Lakes Symposium on VLSI	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.	J. Chem. Inf. Comput. Sci.	1994	DBLP DOI BibTeX RDF
36	Daniel Lokshtanov, Jesper Nederlof	Saving space by algebraization.	STOC	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?	CoRR	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.	PLoS Comput. Biol.	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.	CoRR	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.	CLEF (Working Notes)	2023	DBLP BibTeX RDF
34	Wilhelm Hasselbring, Sören Henning, Björn Latte, Armin Moebius, Thomas Richter, Stefani Schalk, Maik Wojcieszak	Industrial DevOps.	ICSA Companion	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.	Comput. Electron. Agric.	2018	DBLP DOI BibTeX RDF
34	Armin Moebius, Sven Ulrich	Improving Kieker′s Scalability by Employing Linked Read- Optimized and Write-Optimized NoSQL Storage.	Softwaretechnik-Trends	2016	DBLP BibTeX RDF
34	Kurt Stenzel, Nina Moebius, Wolfgang Reif	Formal verification of QVT transformations for code generation.	Softw. Syst. Model.	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.	Correct Software in Web Applications and Web Services	2015	DBLP DOI BibTeX RDF
34	Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif	Modeling test cases for security protocols with SecureMDD.	Comput. Networks	2014	DBLP DOI BibTeX RDF
34	Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif	Security requirements formalized with OCL in a model-driven approach.	MoDRE	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.	SEFM	2013	DBLP DOI BibTeX RDF
34	Nina Moebius	Modellgetriebene Entwicklung sicherer Smart Card-Anwendungen.		2013	RDF
34	Wolfgang Menzel, Arnold Moebius	Antenna Concepts for Millimeter-Wave Automotive Radar Sensors.	Proc. IEEE	2012	DBLP DOI BibTeX RDF
34	Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif	Model-Driven Testing of Security Protocols with SecureMDD.	NTMS	2012	DBLP DOI BibTeX RDF
34	Marian Borek, Nina Moebius, Kurt Stenzel, Wolfgang Reif	Model-Driven Development of Secure Service Applications.	SEW	2012	DBLP DOI BibTeX RDF
34	Nina Moebius, Kurt Stenzel, Marian Borek, Wolfgang Reif	Incremental development of large, secure smart card applications.	MDsec@MoDELS	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.	DPM/SETOP	2012	DBLP DOI BibTeX RDF
34	Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert	A cryptographically t-private auction system.	Concurr. Comput. Pract. Exp.	2011	DBLP DOI BibTeX RDF
34	Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	Mondex: Engineering a Provable Secure Electronic Purse.	Int. J. Softw. Informatics	2011	DBLP BibTeX RDF
34	Kurt Stenzel, Nina Moebius, Wolfgang Reif	Formal Verification of QVT Transformations for Code Generation.	MoDELS	2011	DBLP DOI BibTeX RDF
34	Nina Moebius, Kurt Stenzel, Wolfgang Reif	Pitfalls in Formal Reasoning about Security Protocols.	ARES	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.	ESSoS	2010	DBLP DOI BibTeX RDF
34	Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif	Model-Driven Code Generation for Secure Smart Card Applications.	Australian Software Engineering Conference	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.	ARES	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.	Rigorous Methods for Software Construction and Analysis	2009	DBLP DOI BibTeX RDF
34	Markus Hinkelmann, Andreas Jakoby, Nina Moebius, Tiark Rompf, Peer Stechert	A Cryptographically t-Private Auction System.	NSS	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.	SESS@ICSE	2009	DBLP DOI BibTeX RDF
34	Martin Steinebach, Christoph Moebius, Huajian Liu	Bildforensische Verfahren zur Unterstützung von Wasserzeichendetektion.	Sicherheit	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.	ICSEA	2007	DBLP DOI BibTeX RDF
34	Jörg Moebius	Ein Verfahren zur Erkennung des Straßenverlaufs im Fahrerdisplay durch Texturanalyse.	DAGM-Symposium	1986	DBLP DOI BibTeX RDF
28	Shir Rorberg, Amir Vaxman, Mirela Ben-Chen	BPM: Blended Piecewise Moebius Maps.	CoRR	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).	CoRR	2021	DBLP BibTeX RDF
28	Olivier Ramaré	Corrigendum to Explicit estimates on several summatory functions involving the Moebius function.	Math. Comput.	2019	DBLP DOI BibTeX RDF
28	Akhilesh P., Olivier Ramaré	Tail Of A Moebius Sum With Coprimality Conditions.	Integers	2018	DBLP BibTeX RDF
28	Vladimir V. Kisil	Lectures on Moebius-Lie Geometry and its Extension.	CoRR	2018	DBLP BibTeX RDF
28	Leonardo Souto Ferreira, Leonardo Sacht, Luiz Velho 0001	Local Moebius transformations applied to omnidirectional images.	Comput. Graph.	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.	CoRR	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.	CoRR	2017	DBLP BibTeX RDF
28	Alexander V. Evako	Parabolic equations on digital spaces. Solutions on the digital Moebius strip and the digital projective plane.	CoRR	2015	DBLP BibTeX RDF
28	Olivier Ramaré	Explicit estimates on several summatory functions involving the Moebius function.	Math. Comput.	2015	DBLP DOI BibTeX RDF
28	Ya. G. Sinai	Statistical properties of the Moebius function.	Autom. Remote. Control.	2013	DBLP DOI BibTeX RDF
28	Tomás Kroupa	MV-Algebraic Moebius Transform on the Vietoris Space.	TACL	2013	DBLP DOI BibTeX RDF
28	Fernando Auil	An Algorithm to Generate Square-Free Numbers and to Compute the Moebius Function	CoRR	2011	DBLP BibTeX RDF
28	Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto	Trimmed Moebius Inversion and Graphs of Bounded Degree.	Theory Comput. Syst.	2010	DBLP DOI BibTeX RDF
28	Anita Pasotti	Constructions for cyclic Moebius ladder systems.	Discret. Math.	2010	DBLP DOI BibTeX RDF
28	Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto	Trimmed Moebius Inversion and Graphs of Bounded Degree	CoRR	2008	DBLP BibTeX RDF
28	Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto	Trimmed Moebius Inversion and Graphs of Bounded Degree.	STACS	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.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
28	Paavo Kukkurainen	Level Sets as a Topological Base Applied to Subgroups of a Group of Moebius Transformations.	J. Adv. Comput. Intell. Intell. Informatics	2005	DBLP DOI BibTeX RDF
28	Petr Gajdos, Daniela Duráková	Object order based on concept analysis and Moebius Inversion Function.	EJC	2005	DBLP BibTeX RDF
28	Petr Gajdos, Václav Snásel	Concepts Valuation by Conjugate Moebius Inverse.	DATESO	2004	DBLP BibTeX RDF
28	Paavo Kukkurainen	Fuzzy subgroups applied to subgroups of the group of Moebius transformations.	EUSFLAT Conf.	2003	DBLP BibTeX RDF
28	Jan Cz. Dobrowolski	On the Belt and Moebius Isomers of the Coronene Molecule.	J. Chem. Inf. Comput. Sci.	2002	DBLP DOI BibTeX RDF
28	Marshall W. Bern, David Eppstein	Moebius-Invariant Natural Neighbor Interpolation	CoRR	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.	HMD Prax. Wirtsch.	2001	DBLP BibTeX RDF
28	Marshall W. Bern, David Eppstein	Optimal Moebius Transformations for Information Visualization and Meshing	CoRR	2001	DBLP BibTeX RDF
28	Daniel D. Deavours	Formal Specification of the Moebius Modeling Framework		2001	RDF
28	Victor Wong	Moebius: the city of fire.	SIGGRAPH Electronic Art and Animation Catalog	1999	DBLP DOI BibTeX RDF
24	Fabio Cuzzolin	Alternative Formulations of the Theory of Evidence Based on Basic Plausibility and Commonality Assignments.	PRICAI	2008	DBLP DOI BibTeX RDF
24	Jean-Daniel Boissonnat, Pooran Memari	Shape reconstruction from unorganized cross-sections.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
24	Boris Katz, Gary C. Borchardt, Sue Felshin, Federico Mora	Harnessing Language in Mobile Environments.	ICSC	2007	DBLP DOI BibTeX RDF
24	Hongdong Li, Richard I. Hartley, Hans Burkhardt	Discrete Conformal Shape Representation and Reconstruction of 3D Mesh Objects.	ICIAP	2005	DBLP DOI BibTeX RDF
24	W. Kimmerle, E. Kouzoudi	Doubly Transitive Automorphism Groups of Combinatorial Surfaces.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
24	Martin Göbel, Igor N. Nikitin, Stanislav V. Klimenko, Lialia Nikitina	Topological Zoo: Mathematical Visualization in Virtual Environment.	EUROMICRO	2001	DBLP DOI BibTeX RDF