Victor Vianu

Available identifiers

zbMath Open vianu.victorWikidataQ7926426 ScholiaQ7926426MaRDI QIDQ269322

List of research outcomes

Publication	Date of Publication	Type
Computing on structures	2019-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q5276189	2017-07-14	Paper
Finite state machines for strings over infinite alphabets	2017-07-12	Paper
Typechecking XML views of relational databases	2017-06-13	Paper
Process-Centric Views of Data-Driven Business Artifacts	2017-06-13	Paper
Process-centric views of data-driven business artifacts	2017-05-26	Paper
Highly expressive query languages for unordered data trees	2016-04-18	Paper
Specification and verification of data-driven Web applications	2007-04-26	Paper
Database Theory - ICDT 2005	2005-09-13	Paper
XML with data values: Typechecking revisited.	2003-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4418631	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414525	2003-07-25	Paper
Typechecking for XML transformers	2003-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4779173	2002-11-25	Paper
On the Unusual Effectiveness of Logic in Computer Science	2001-09-10	Paper
Relational transducers for electronic commerce	2001-06-21	Paper
Querying spatial databases via topological invariants	2000-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4508943	2000-10-10	Paper
Topological queries in spatial databases	2000-09-05	Paper
Queries and computation on the web	2000-08-21	Paper
Regular path queries with constraints	1999-11-09	Paper
Reflective relational machines	1999-08-23	Paper
Semantics and expressiveness issues in active databases	1999-08-08	Paper
A probabilistic view of Datalog parallelization	1998-06-30	Paper
Fixpoint logics, relational machines, and computational complexity	1998-01-22	Paper
Non-determinism in logic-based languages	1997-10-27	Paper
Rule-based languages	1997-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4353560	1997-09-10	Paper
Static and dynamic aspects of goal-oriented concurrency control	1997-05-13	Paper
Computing with infinitary logic	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4864249	1996-01-30	Paper
Computing with first-order logic	1995-12-17	Paper
Tractable query languages for complex object databases	1995-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4694686	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4035348	1993-05-18	Paper
Conceptual level concurrency control of relational update transactions	1992-06-28	Paper
Datalog extensions for database queries and updates	1992-06-25	Paper
Procedural languages for database queries and updates	1990-01-01	Paper
Parallel update transactions	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204028	1989-01-01	Paper
A transaction-based approach to relational database specification	1989-01-01	Paper
Database survivability under dynamic constraints	1988-01-01	Paper
Equivalence and optimization of relational transactions	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3793772	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3865480	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886909	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886910	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4151379	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Victor Vianu