Search results for "acta"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Panos K. Chrysanthis, Krithi Ramamritham	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
85	Panos K. Chrysanthis, Krithi Ramamritham	Synthesis of Extended Transaction Models Using ACTA.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	serializability theory, semantics, concurrency control, transaction models, correctness criteria
57	Mélanie Noyel	Contrôle intégré du pilotage d'atelier et de la qualité des produits. : Application à la société ACTA mobilier. . (Integrated control of workshop and product quality. / Integrated control of workshop and product quality. : Application to Acta-Mobilier company).		2015	RDF
56	John C. Mazziotta, H. K. Huang	THREAD (three-dimensional reconstruction and display) with biomedical applications in neuron ultrastructure and computerized tomography.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
49	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Fairness of Actions in System Computations.	Acta Informatica	2006	DBLP DOI BibTeX RDF
40	Stanislava Mildeová, Zdenek Smutný, Michal Dolezel 0001	Development of Acta Informatica Pragensia Journal and Acknowledgement to Reviewers.	Acta Informatica Pragensia	2018	DBLP DOI BibTeX RDF
40	Friedrich L. Bauer, Manfred Broy	Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.	Acta Informatica	2003	DBLP DOI BibTeX RDF
37	Jack Snoeyink, Vishal Verma	Fitting spheres to electron density.	SCG	2011	DBLP DOI BibTeX RDF
37	Basavaraj Shivappa Kademani, Vijai Kumar, Anil Sagar, Anil Kumar	World literature on thorium research: A scientometric study based on Science Citation Index.	Scientometrics	2006	DBLP DOI BibTeX RDF
37	Manfred Bonitz	Klaus Fuchs - the enduring contribution to physics from his British period.	Scientometrics	2005	DBLP DOI BibTeX RDF
31	Barbara Gallina, Nicolas Guelfi, Pierre Kelsen	Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.	SEW	2009	DBLP DOI BibTeX RDF	Relaxed ACID properties, ACTA framework, Alloy language, dependability, Software Product Line, reusability, formal semantics, ACID properties
31	Francis Gropengießer, Kai-Uwe Sattler	An extended cooperative transaction model for xml.	PIKM	2008	DBLP DOI BibTeX RDF	acta, dynamic action, tree operations, cooperation, transaction, xml, media production
31	Johan Fabry, Theo D'Hondt	KALA: Kernel Aspect language for advanced transactions.	SAC	2006	DBLP DOI BibTeX RDF	ACTA, advanced transaction management, domain-specific languages
30	Ryszard Janicki	Relational structures model of concurrency.	Acta Informatica	2008	DBLP DOI BibTeX RDF
30	Edward G. Coffman Jr., Jay Sethuraman, Vadim G. Timkovsky	Ideal preemptive schedules on two processors.	Acta Informatica	2003	DBLP DOI BibTeX RDF
29	Boyang Li 0006, Yurong Cheng, Ye Yuan 0001, Yi Yang 0032, Qianqian Jin, Guoren Wang	ACTA: Autonomy and Coordination Task Assignment in Spatial Crowdsourcing Platforms. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
29	King Yiu Suen, Victoria Yaneva, Le An Ha, Janet Mee, Yiyun Zhou, Polina Harik	ACTA: Short-Answer Grading in High-Stakes Medical Exams.	BEA@ACL	2023	DBLP DOI BibTeX RDF
29	Yulia A. Khristoforova, Lyudmila A. Bratchenko, Ivan A. Bratchenko	Combination of Raman spectroscopy and chemometrics: A review of recent studies published in the Spectrochimica Acta, Part A: Molecular and Biomolecular Spectroscopy Journal.	CoRR	2022	DBLP DOI BibTeX RDF
29	Benjamin Molinet, Santiago Marro, Elena Cabrio, Serena Villata, Tobias Mayer 0002	ACTA 2.0: A Modular Architecture for Multi-Layer Argumentative Analysis of Clinical Trials.	IJCAI	2022	DBLP DOI BibTeX RDF
29	Christoph Stanik, Tim Puhlfürß, Anne Mahler, Phillip Brenya Sasu, Wikhart Reip, Walid Maalej	Lessons Learned from Customizing and Applying ACTA to Design a Novel Device for Emergency Medical Care.	CoRR	2021	DBLP BibTeX RDF
29	Giulia Cisotto, Andrea Trentini, Italo Zoppis, Alessio Zanga, Sara Manzoni, Giada Pietrabissa, Anna Guerrini Usubini, Gianluca Castelnuovo	ACTA: A Mobile-Health Solution for Integrated Nudge-Neurofeedback Training for Senior Citizens.	CoRR	2021	DBLP BibTeX RDF
29	Christoph Stanik, Tim Puhlfürß, Anne Mahler, Phillip Brenya Sasu, Wikhart Reip, Walid Maalej	Lessons Learned from Customizing and Applying ACTA to Design a Novel Device for Emergency Medical Care.	RE	2021	DBLP DOI BibTeX RDF
29	Tobias Mayer 0002, Elena Cabrio, Serena Villata	ACTA A Tool for Argumentative Clinical Trial Analysis.	IJCAI	2019	DBLP DOI BibTeX RDF
29	Panos K. Chrysanthis, Krithi Ramamritham	Extended Transaction Models and the ACTA Framework.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
29	Emmanuel Zimmermann, Hind Bril El Haouzi, Philippe Thomas 0001, André Thomas 0001, Mélanie Noyel	A batching and scheduling optimisation for a cutting work-center: Acta-Mobilier case study.	CoRR	2017	DBLP BibTeX RDF
29	Vassiliki Cossiavelou	ACTA as Media Gatekeeping Factor: The EU Role as Global Negotiator.	Int. J. Interdiscip. Telecommun. Netw.	2017	DBLP DOI BibTeX RDF
29		Remembering ACTA Press's former EIC Professor Mohamed Kamel.	Int. J. Robotics Autom.	2016	DBLP DOI BibTeX RDF
29	Jakub Nowak	The Good, the Bad, and the Commons: A Critical Review of Popular Discourse on Piracy and Power During Anti-ACTA Protests.	J. Comput. Mediat. Commun.	2016	DBLP DOI BibTeX RDF
29	Irina Baraliuc, Sari Depreeuw, Serge Gutwirth	Copyright enforcement in the digital age: a post-ACTA view on the balancing of fundamental rights.	Int. J. Law Inf. Technol.	2013	DBLP DOI BibTeX RDF
29	Irena Lipowicz	Das Problem des Datenschutzes in Polen im Hinblick auf die ACTA-Debatte.	Datenschutz und Datensicherheit	2012	DBLP DOI BibTeX RDF
29	Panos K. Chrysanthis, Krithi Ramamritham	Extended Transaction Models and the ACTA Framework.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
29	Susanne M. Rafelski, Jonathan B. Alberts, Garrett M. Odell	An Experimental and Computational Study of the Effect of ActA Polarity on the Speed of Listeria monocytogenes Actin-based Motility.	PLoS Comput. Biol.	2009	DBLP DOI BibTeX RDF
29	Barbara Gallina, Nicolas Guelfi	SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties.	SEW	2008	DBLP DOI BibTeX RDF
29	Victoria Bellotti, Jim Thornton, Alvin Chin, Diane J. Schiano, Nathan Good	TV-ACTA: Embedding an Activity-Centered Interface for Task Management in Email.	CEAS	2007	DBLP BibTeX RDF
29	Yong-hong Wang, Lian-Kuan Chen, Kwok-Wai Cheung 0003	Performance Study of ACTA as an Efficient High Speed Multi-Channel Integrated Services Network.	ICC (3)	1997	DBLP DOI BibTeX RDF
29	Arthur Lifshin	Citation Analysis of Geochimica et Cosmochimica Acta, 1951-1960.	J. Am. Soc. Inf. Sci.	1993	DBLP DOI BibTeX RDF
29	Panos K. Chrysanthis, Krithi Ramamritham	Delegation in ACTA to Control Sharing in Extended Transactions.	IEEE Data Eng. Bull.	1993	DBLP BibTeX RDF
29	Panos K. Chrysanthis, Krithi Ramamritham	ACTA: The SAGA Continues	Database Transaction Models for Advanced Applications	1992	DBLP BibTeX RDF
29	Panos K. Chrysanthis, Krithi Ramamritham	ACTA: A Comprehensive TransAction Framework for Extended Transactions.	RIDE-TQP	1992	DBLP DOI BibTeX RDF
19	Yang Li, Jing Wang, Yaowen Yuan, Xiumei Fan, Qian He	Uncertainty Reasoning on Fuzziness and Randomness in Challenged Networks.	EUC	2010	DBLP DOI BibTeX RDF
19	Giorgio Donati, Nicola Durante	On the intersection of two subgeometries of PG ( n , q ).	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	05B25, AMS Classifications 51E20
19	Bui Trong Kien, Jen-Chih Yao, Nguyen Dong Yen	On the solution existence of pseudomonotone variational inequalities.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Generalized variational inequality, Pseudomonotone operator, Solution existence, Degree theory, Variational inequality
19	Mudassir Fayyaz, Adnan Mujahid, Asifullah Khan, Tae-Sun Choi, Nadeem Iqbal	G-protein Coupled Receptor Subfamilies Prediction Based on Nearest Neighbor Approach.	BIBE	2007	DBLP DOI BibTeX RDF
19	Eveleen Darby, Tezeswari Nettimi, Shilpa Kodali, Liwen Shih	Head and Neck Cancer Metastasis Prediction via Artificial Neural Networks.	CSB Workshops	2005	DBLP DOI BibTeX RDF	Cancer Metastasis Prediction, Back-Prop, Artificial Neural Networks, SOM, Data Visualization
19	Joonsoo Bae, Hyerim Bae, Suk-Ho Kang, Yeongho Kim	Automatic Control of Workflow Processes Using ECA Rules.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF
19	Michael A. Klug	Towards a Classification of Visibility Rules.	ACM SIGPLAN Notices	1996	DBLP DOI BibTeX RDF
19	Guillermo Arango	Once Upon A Time, There Was A Demo...	IEEE Softw.	1995	DBLP DOI BibTeX RDF
19	Gerardo Cisneros	Configurable REC.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C
19	Jiannong Cao 0001, K. C. Wang	An Abstract Model of Rollback Recovery Control in Distributed Systems.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
19	J. Rekers, Wilco Koorn	Substring Parsing for Arbitrary Context-Free Grammars.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
19	David Hemmendinger	Comments on "A Correct and Unrestrictive Implementation of General Semaphores".	ACM SIGOPS Oper. Syst. Rev.	1989	DBLP DOI BibTeX RDF
19	Moreshwar R. Bhujade	Visual Specification of Blocks in Programming Languages.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
19	Robert Gerardy	Experimental Comparison of Some Parsing Methods.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
19	Alfred Laut	An Algebraic Specification of Pascal's File Type.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
19	David M. Harland	Subtypes versus Cell Constancy With Subrange Constraints.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
19	Robert Cailliau	How to avoid getting schlonked by Pascal.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
19	Leonidas J. Guibas, Edward M. McCreight, Michael F. Plass, Janet R. Roberts	A New Representation for Linear Lists	STOC	1977	DBLP DOI BibTeX RDF
11	Tonatiuh Tapia-Flores, Ernesto López-Mellado	Discovering workflow nets of concurrent iterative processes.	Acta Informatica	2024	DBLP DOI BibTeX RDF
11	Haiyan Liu, Rongdong Cui, Tianjie Zhang	n-PS-codes, 2-infix-outfix codes and some related classes of codes.	Acta Informatica	2024	DBLP DOI BibTeX RDF
11	Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada 0001	Neighborhood mutual remainder: self-stabilizing distributed implementation and applications.	Acta Informatica	2024	DBLP DOI BibTeX RDF
11	Hao Wu, Yu-Fang Chen 0001, Zhilin Wu, Bican Xia, Naijun Zhan	A decision procedure for string constraints with string/integer conversion and flat regular constraints.	Acta Informatica	2024	DBLP DOI BibTeX RDF
11	Shuyang Gao, Leen Hatem, Hosam M. Mahmoud	Balancing m-ary search trees with compressions on the fringe.	Acta Informatica	2024	DBLP DOI BibTeX RDF
11	Andreas Rauh, Balázs Bánhelyi	Preface.	Acta Cybern.	2023	DBLP DOI BibTeX RDF
11	Reza Fuad Rachmadi, I Ketut Eddy Purnama, Supeno Mardi Susiki Nugroho, Yoyon Kusnendar Suprapto	Dual Convolutional Neural Network Classifier with Pyramid Attention Network for Image-Based Kinship Verification.	Acta Cybern.	2023	DBLP DOI BibTeX RDF
11	Auguste Bourgois, Amine Chaabouni, Andreas Rauh, Luc Jaulin	Proving the Stability of the Rolling Navigation.	Acta Cybern.	2023	DBLP DOI BibTeX RDF
11	Gábor Rácz, Attila Sali, Klaus-Dieter Schewe	Refined Fuzzy Profile Matching.	Acta Cybern.	2023	DBLP DOI BibTeX RDF
11	Nathalie Revol	Affine Iterations and Wrapping Effect: Various Approaches.	Acta Cybern.	2023	DBLP DOI BibTeX RDF
11	Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi	Decentralized runtime verification of message sequences in message-based systems.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Niklas Kochdumper, Matthias Althoff	Constrained polynomial zonotopes.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Shlomi Dolev, Yin Li 0001	Secret-shared RAM indefinite private and secure RAM execution of perfectly unrevealed programs.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Giovanni Pighizzini, Luca Prigioniero	Pushdown automata and constant height: decidability and bounds.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Farnaz Sheikhi, Behnam Zeraatkar, Sama Hanaie	Dot to dot, simple or sophisticated: a survey on shape reconstruction algorithms.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Asaf Levin, Tal Shusterman	Weighted throughput in a single machine preemptive scheduling with continuous controllable processing times.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Haiyan Guo, Bo Zhou 0007	Minimum status of trees with a given degree sequence.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Henning Fernau	Editorial 2023: changes and invariants.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Pál Dömösi, Géza Horváth, Norbert Tihanyi	Simple chain automaton random number generator for IoT devices.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Rob van Glabbeek	Reactive bisimulation semantics for a process algebra with timeouts.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Chunhua Cao, Jiao Xu, Lei Liao, Di Yang, Guichuan Jia, Qian Du 0013	The second step in characterizing a three-word code.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Ivano Lodato, Snehal M. Shekatkar, Tian An Wong	On partial information retrieval: the unconstrained 100 prisoner problem.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Dietrich Kuske, Christian Schwarz	Alternating complexity of counting first-order logic for the subword order.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Richard Lassaigne, Michel de Rougemont	Testing membership for timed automata.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Besma Khaireddine, Aleksandr Zakharchenko, Matias Martinez, Ali Mili 0001	Toward a theory of program repair.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Jingnan Xie, Harry B. Hunt	On the undecidability and descriptional complexity of synchronized regular expressions.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir	On first-order runtime enforcement of branching-time properties.	Acta Informatica	2023	DBLP DOI BibTeX RDF
11	Colin J. Cotter	Compatible finite element methods for geophysical fluid dynamics.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Volker Mehrmann, Benjamin Unger	Control of port-Hamiltonian differential-algebraic systems and applications.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Markus Bachmayr	Low-rank tensor methods for partial differential equations.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Sylvie Boldo, Claude-Pierre Jeannerod, Guillaume Melquiond, Jean-Michel Muller	Floating-point arithmetic.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Lourenço Beirão da Veiga, Franco Brezzi, L. Donatella Marini, Alessandro Russo 0002	The virtual element method.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Christof Schütte, Stefan Klus, Carsten Hartmann	Overcoming the timescale barrier in molecular dynamics: Transfer operators, variational principles and machine learning.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Levent Tunçel, Lieven Vandenberghe	Linear optimization over homogeneous matrix cones.	Acta Numer.	2023	DBLP DOI BibTeX RDF
11	Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao	On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Elena V. Chausova	The Inventory Control Problem for a Supply Chain With a Mixed Type of Demand Uncertainty.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Attila Klenik, András Pataricza	Adding Semantics to Measurements: Ontology-Guided, Systematic Performance Analysis.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Andreas Rauh, Rachid Malti	Quantification of Time-Domain Truncation Errors for the Reinitialization of Fractional Integrators.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Andreas Rauh, Auguste Bourgois, Luc Jaulin	Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Matyás Lorenc	B π R -Matrices, B-Matrices, and Doubly B-Matrices in the Interval Setting.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Tamás Dózsa	Inverses of Rational Functions.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Shajulin Benedict	EA-POT: An Explainable AI Assisted Blockchain Framework for HoneyPot IP Predictions.	Acta Cybern.	2022	DBLP DOI BibTeX RDF
11	Eric Allender, Archit Chauhan, Samir Datta	Depth-first search in directed planar graphs, revisited.	Acta Informatica	2022	DBLP DOI BibTeX RDF