Christoph Meinel

From MaRDI portal
Person:202501

Available identifiers

zbMath Open meinel.christophWikidataQ92706 ScholiaQ92706MaRDI QIDQ202501

List of research outcomes

PublicationDate of PublicationType
A reducibility concept for problems defined in terms of ordered binary decision diagrams2022-11-09Paper
Separating counting communication complexity classes2022-08-18Paper
On the complexity of constructing optimal ordered binary decision diagrams2022-08-18Paper
Lower bounds for the modular communication complexity of various graph accessibility problems2022-08-16Paper
The “log rank” conjecture for modular communication complexity2017-11-16Paper
Mathematische Grundlagen der Informatik2015-10-27Paper
Digitale Kommunikation2014-05-15Paper
Digital Communication2014-04-01Paper
IPv6 Stateless Address Autoconfiguration: Balancing between Security, Privacy and Usability2013-08-07Paper
https://portal.mardi4nfdi.de/entity/Q29955462011-04-26Paper
Remodeling Vulnerability Information2010-11-23Paper
Lower bounds for the majority communication complexity of various graph accessibility problems2010-06-17Paper
An Operator for Removal of Subsumed Clauses2009-05-20Paper
https://portal.mardi4nfdi.de/entity/Q54796562006-07-11Paper
https://portal.mardi4nfdi.de/entity/Q46736232005-05-06Paper
On relations between counting communication complexity classes2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q44733912004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44312252003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q44176762003-07-29Paper
https://portal.mardi4nfdi.de/entity/Q44176772003-07-29Paper
https://portal.mardi4nfdi.de/entity/Q45421782002-08-04Paper
The log rank conjecture for modular communication complexity2002-02-28Paper
Local encoding transformations for optimizing OBDD-representations of finite state machines2001-09-09Paper
https://portal.mardi4nfdi.de/entity/Q49381582000-02-22Paper
https://portal.mardi4nfdi.de/entity/Q46993172000-02-01Paper
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines1999-12-19Paper
https://portal.mardi4nfdi.de/entity/Q42684461999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q42684811999-10-28Paper
https://portal.mardi4nfdi.de/entity/Q42555601999-08-17Paper
https://portal.mardi4nfdi.de/entity/Q42195381998-11-10Paper
https://portal.mardi4nfdi.de/entity/Q43908721998-05-26Paper
https://portal.mardi4nfdi.de/entity/Q43888061998-05-10Paper
Ordered binary design graphs and their signification in computer aided design of high-integrated circuits1997-12-10Paper
A reducibility concept for problems defined in terms of ordered binary decision diagrams1997-08-24Paper
Lower bounds for the majority communication complexity of various graph accessibility problems1996-12-01Paper
https://portal.mardi4nfdi.de/entity/Q48589531996-05-27Paper
Separating complexity classes related to bounded alternating ?-branching programs1995-04-05Paper
https://portal.mardi4nfdi.de/entity/Q42815601994-09-26Paper
On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs1994-07-21Paper
https://portal.mardi4nfdi.de/entity/Q42815001994-05-29Paper
https://portal.mardi4nfdi.de/entity/Q42816541994-05-09Paper
Efficient Boolean manipulation with OBDD's can be extended to FBDD's1994-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40352561993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40356841993-05-18Paper
Separating complexity classes related to \(\Omega\)-decision trees1993-04-22Paper
https://portal.mardi4nfdi.de/entity/Q40238451993-01-23Paper
Separating complexity classes related to certain input oblivious logarithmic space-bounded Turing machines1993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q40051921992-09-27Paper
Structure and importance of logspace-MOD class1992-09-27Paper
Modified branching programs and their computational power1992-09-17Paper
https://portal.mardi4nfdi.de/entity/Q39943911992-09-17Paper
https://portal.mardi4nfdi.de/entity/Q39912121992-06-28Paper
Separating the eraser Turing machine classes \(L_ e\), \(NL_ e\), \(co- NL_ e\) and \(P_ e\)1992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39748601992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39751591992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39760281992-06-26Paper
Logic vs. complexity theoretic properties of the graph accessibility problem for directed graphs of bounded degree1990-01-01Paper
Polynomial size \(\Omega\)-branching programs and their computational power1990-01-01Paper
Branching programs provide lower bounds on the area of multilective deterministic and nondeterministic VLSI circuits1990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34763111990-01-01Paper
The power of nondeterminism in polynomial-size bounded-width branching programs1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37874931988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37906551988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38041931988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33575321987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37797371987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835681987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37515691986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37617011986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37715961986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37144641985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33340801984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36910621984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30431261982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33132611982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33181151982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33181161982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36679511982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39424041982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39601241982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39531781981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38703171980-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Christoph Meinel